使用赋值作为条件表达式？

Question

考虑一下：

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

任务作为条件如何发挥作用？

它是基于左值的非零值吗？

Answer 1

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

[5.17/1] 有几个赋值运算符，它们全部分组
从右到左。全部都需要一个可修改的左值作为其左操作数，
赋值表达式的类型是其左操作数的类型。
赋值运算的结果是左边存储的值
赋值后的操作数；结果是一个左值。

表达式a = 5的结果是5。

[6.4/4] [..] 作为表达式的条件的值是
表达式，对于除以下以外的语句隐式转换为bool
切换。 [..]

发生到 bool 的转换。

[4.12/1] 算术、枚举、指针或指向成员的指针的右值
type 可以转换为 bool 类型的右值。零值，null
指针值，或者空成员指针值被转换为false； 任意
其他值转换为 true。

5 转换为布尔值 true。

[6.4.1/1] 如果条件 (6.4) 为 true，则第一个
子语句被执行。 [..]

true 被视为 if 语句成功。

---

C — ISO/IEC 9899:1999(E)

[6.5.16/3] 赋值运算符在对象中存储值
由左操作数指定。 赋值表达式具有值
赋值后的左操作数，但不是左值。 [..]

表达式a = 5的结果是5。

[6.8.4.1/2] 在这两种形式中，如果
表达式与 0 比较不等于。 [..]

5 被视为 if 语句成功。

---

像这样的一般

代码几乎总是一个错误；作者的意图很可能是 if (a == 5) {}。然而，有时它是故意的。你可能会看到这样的代码：

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

Answer 2

每个非零值都将被视为true。

所以有些人会建议你这样写，

5 == a

以避免你犯==由=的错误。

Answer 3

if(a=x) 相当于 if(x)，此外还相当于用 x 指定的 a。因此，如果表达式 x 的计算结果为非零值，则 if(x) 就变成了 if(true)。否则，它变成if(false)。

在您的情况下，由于 x = 5，这意味着 f(a=5) 除了 之外还相当于 if(true) >a 分配有 5。

Answer 4

是的，它基于分配给 a 的零/非零值。对于某些人（包括我自己）来说，在代码中使用带有副作用的表达式也被认为是不好的做法，因此提到的代码片段最好写成类似

a = 5;
...
if (a != 0) {
    ...
}

Answer 5

在更现代的用法中，您有时可能会看到此模式用于处理可选的：

std::optional x = ...;
if (auto v = x) {
  // Block only executes if x contained a value, accessible as *v
}