Using the assignment operator in conditional expressions frequently indicates programmer error and can result in unexpected behavior. The assignment operator should not be used in the following contexts:
if
(controlling expression)while
(controlling expression)do ... while
(controlling expression)for
(second operand)switch
(controlling expression)?:
(first operand)&&
(either operand)||
(either operand)?:
(second or third operands) where the ternary expression is used in any of these contexts
In this noncompliant code example, the controlling expression in the if
statement is an assignment expression.:
Code Block |
---|
|
public void f(boolean a, boolean b) {
if (a = b) {
/* ... */
}
}
|
Although the programmer's intent could have been to assign b
to a
and test the value of the result, this usage frequently occurs when the programmer mistakenly used the assignment operator =
rather than the equality operator ==
.
The conditional block shown in this compliant solution executes only executes when a
is equal to b
.:
Code Block |
---|
|
public void f(boolean a, boolean b) {
if (a == b) {
/* ... */
}
}
|
Unintended assignment of b
to a
cannot occur.
When the assignment is intended, this compliant solution clarifies the programmer's intent.:
Code Block |
---|
|
public void f(boolean a, boolean b) {
if ((a = b) == true) {
/* ... */
}
}
|
It may be clearer to express the logic as an explicit assignment followed by the if
condition.:
Code Block |
---|
|
public void f(boolean a, boolean b) {
a = b;
if (a) {
/* ... */
}
}
|
In this noncompliant code example, an assignment expression appears in the controlling expression as an operand of the &&
operator. :
Code Block |
---|
|
public void f(boolean a, boolean b, boolean flag) {
while ( (a = b) && flag ) {
/* ... */
}
}
|
Because &&
is not a comparison operator, assignment is an illegal operand. Again, this is frequently a case of the programmer mistakenly using the assignment operator =
instead of the equals operator ==
.
When the assignment of b
to a
is unintended, this conditional block is now executed only when a
is equal to b
and flag
is true
.:
Code Block |
---|
|
public void f(boolean a, boolean b, boolean flag) {
while ( (a == b) && flag ) {
/* ... */
}
} |
The use of the assignment operator in controlling conditional expressions frequently indicates programmer error and can result in unexpected behavior.
ExceptionallyAs an exception to this guideline, it is permitted to use the assignment operator in conditional expressions when the assignment is not the controlling expression (that is, the assignment is a sub-expressionsubexpression), as shown in the following compliant solution.:
Code Block |
---|
|
public void assignNocontrol(BufferedReader reader)
throws throws IOException{
String line;
while ((line = reader.readLine()) != null) {
// ... workWork with line
}
} |
Automated Detection
Bibliography
...
...
Image Modified Image Modified Image Modified