条件运算符的结果是左值还是右值？

Question

我们知道条件运算符返回一个左值，如果它的Expr2 和Expr3 是相同类型的左值，否则它返回一个右值：

int main(){
   int a = 0, b = 0;
   (a == 1 ? a : b) = 1; // C++ OK. C: error. lvalue needed

   return 0;
}

• 上面的代码在 C++ 上编译罚款，而在 C 上编译失败。

这是 C 上的输出：

main.c: In function ‘main’:
main.c:8:20: error: lvalue required as left operand of assignment
(a == 1 ? a : b) = 1;
                ^

Answer 1

在 C 中，条件运算符的结果¹ 是一个右值（C 标准术语中的“值”），因为 C 2018 6.3.2.1 2 说：

除非它是 sizeof 运算符、unary & 运算符、++ 运算符、-- 运算符或 . 运算符或赋值运算符的左操作数，否则不具有数组类型的左值转换为存储在指定对象中的值（不再是左值）；…

因此，虽然条件运算符的结果是它的第二个或第三个操作数，但该操作数已被转换为一个值，不再是左值。

正如M.M 所说，您可以通过选择操作数的地址然后应用* 来获得与选择左值相同的效果：

*(a == 1 ? &a : &b) = 1;

脚注

¹条件运算符的结果不是返回值，因为不涉及函数调用，所以没有call-and-return，只是表达式求值。

Answer 2

在this C11 Draft Standard 中，有一个脚注清楚地表明条件运算符的结果不是左值：

6.5.15 条件运算符

…

语义

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

---

¹¹⁰⁾ 条件表达式不会产生左值。

此外，in this later draft Standard（日期为 2019 年 3 月），措辞没有显着变化（除了脚注编号为 116，而不是 110）。

Answer 3

这是 C++ 和 C 不同的情况之一。在 C 中，条件运算符产生一个右值，因此它不能是赋值的左侧。

Answer 4

表达式1？表达式2：表达式3 如果表达式 1 具有真（非零）值，则整个条件表达式采用与表达式 2 相同的值。如果表达式 1 的值为假（null），则整个条件表达式的值与表达式 3 相同。

P r i m e r s
(5 > 3) ? 1 : 2 gets the value 1.
(3 > 5) ? 1 ; 2 gets the value 2.
(a > b) ? a : b gets a larger value among a or b. 
   The conditional operation itself is not a function that 
  returns a value.