三元运算符中的赋值

Question

对于三元运算符，为什么以下编译：

a > b ? a=4 : ' ';

但是这个没有：

a > b ? ' ' : b=4;

左值需要作为赋值的左操作数

也就是说，是什么让true案例与分配的false案例不同？

Answer 1

它与条件运算符的正式定义有关。 从C 标准的第 6.5.15 节：

 conditional-expression: logical-OR-expression logical-OR-expression? expression: conditional-expression

条件的第二个子句可以是任何表达式，而第三个子句只能是一个条件表达式（其中 as assignment 不是）。 换句话说，条件运算符?:的优先级高于赋值运算符= 。

所以这：

a > b ? a=4 : ' '

与此相同：

(a > b) ? (a=4) : (' ')

但是这个：

a > b ? ' ' : b=4;

与此相同：

((a > b) ? (' ') : b)=4;

并且不能将条件运算符的结果分配给（即它不是左值），因此会出现错误。

如果添加括号，您可以获得编译的内容：

a > b ? ' ' : (b=4);

当然，这些语句看起来不是条件的最佳用例，可能应该重写为：

if (a>b) a=4;

和：

if (a<=b) b=4;

Answer 2

:? 运算符的优先级高于赋值运算符。 所以后者相当于：

(a > b ? ' ' : b)=4;

这显然是非法的。

Answer 3

您应该知道 C 和 C++ 之间存在本质区别的情况。:)

在 C 中，条件（三元）运算符定义如下

conditional-expression:
    logical-OR-expression
    logical-OR-expression ? expression : conditional-expression

而在 C++ 中

conditional-expression:
    logical-or-expression
    logical-or-expression ? expression : assignment-expression

所以在 C 这个语句

a > b ? ' ' : b=4;

相当于

( a > b ? ' ' : b ) = 4;

因此编译器会发出错误，因为您可能不会将值分配给其他值。

来自 C 标准（6.5.15 条件运算符）

4 评估第一个操作数； 在它的求值和第二个或第三个操作数的求值之间有一个序列点（以求值者为准）。 仅当第一个比较不等于 0 时才计算第二个操作数； 仅当第一个比较等于 0 时才评估第三个操作数； 结果是第二个或第三个操作数的值（以评估的为准） ，转换为下面描述的类型

在 C++ 中，此语句等效于

a > b ? ' ' : ( b=4 );

并且是一个有效的陈述。

这是一个演示程序

#include <iostream>

int main() 
{
    int a = 0, b = 1;
    
    a > b ? ' ' : b=4;
    
    std::cout << "b = " << b << '\n';
    
    return 0;
}

它的 output 是

b = 4