Using assignment as a condition expression?

Question

Consider:

if (a=5) {
   /* do something */
}

How does the assignment work as a condition?

Is it based on non-zero value of l-value?

Answer 1

C++ — ISO/IEC 14882:2003(E)

[5.17/1] There are several assignment operators, all of which group right-to-left. All require a modifiable lvalue as their left operand, and the type of an assignment expression is that of its left operand. The result of the assignment operation is the value stored in the left operand after the assignment has taken place; the result is an lvalue.

The result of the expression a = 5 is 5.

[6.4/4] [..] The value of a condition that is an expression is the value of the expression, implicitly converted to bool for statements other than switch. [..]

A conversion to bool takes place.

[4.12/1] An rvalue of arithmetic, enumeration, pointer, or pointer to member type can be converted to an rvalue of type bool. A zero value, null pointer value, or null member pointer value is converted to false; any other value is converted to true.

5 converts to boolean true.

[6.4.1/1] If the condition (6.4) yields true the first substatement is executed. [..]

true is treated as an if statement success.

---

C — ISO/IEC 9899:1999(E)

[6.5.16/3] An assignment operator stores a value in the object designated by the left operand. An assignment expression has the value of the left operand after the assignment, but is not an lvalue. [..]

The result of the expression a = 5 is 5.

[6.8.4.1/2] In both forms, the first substatement is executed if the expression compares unequal to 0. [..]

5 is treated as an if statement success.

---

General

Code like this is almost always a mistake; the author likely intended if (a == 5) {}. However, sometimes it is deliberate. You may see code like this:

if (x = foo()) {
   cout << "I set x to the result of foo(), which is truthy";
   // ... stuff
}