在条件三元运算符中使用逗号时我们发现了什么？

Question

好吧，我有一个关于三元运算符中逗号的问题。 废话少说，代码如下：

void test_comma_in_condition(void)
{
    int ia, ib, ic;

    ia = ib = ic = 0;
    bool condition=true;

    cout<<"Original:"<<endl;
    cout<<"ia: "<<ia<<endl;
    cout<<"ib: "<<ib<<endl;
    condition?(ia=1, ib=2):(ia=11, ib=12);
    cout<<"After:"<<endl;
    cout<<"ia: "<<ia<<endl;
    cout<<"ib: "<<ib<<endl;

    ia = ib = ic = 0;
    condition?ia=1, ib=2, ic=3:ib=22,ia=21, ic=23;
    cout<<"The operation must be bracketed, or you'll see..."<<endl;
    cout<<"ia: "<<ia<<endl;
    cout<<"ib: "<<ib<<endl;
    cout<<"ic: "<<ic<<endl;

    condition?ia=1, ib=2, ic=3:ia=21, ib=22, ic=23;
    cout<<"The operation must be bracketed, or you'll see..."<<endl;
    cout<<"ia: "<<ia<<endl;
    cout<<"ib: "<<ib<<endl;
    cout<<"ic: "<<ic<<endl; 

    return;
}

输出将是这样的：

Original:
ia: 0
ib: 0
After:
ia: 1
ib: 2
The operation must be bracketed, or you'll see...
ia: 21
ib: 2
ic: 23
The operation must be bracketed, or you'll see...
ia: 1
ib: 22
ic: 23

这合法吗？

Answer 1

这是一个运算符优先级的问题。您的表达式：

condition?ia=1, ib=2, ic=3:ib=22,ia=21, ic=23;

被编译器理解为：

(condition?(ia=1, ib=2, ic=3):(ib=22)),ia=21, ic=23;

此时您应该能够明白为什么会得到程序输出。

Answer 2

是的，条件表达式的相关语法是：

logical-or-expression ? expression : assignment-expression

对于赋值表达式（也可以是条件表达式或抛出表达式）：

logical-or-expression assignment-operator assignment-expression

以及对于带有逗号运算符（赋值表达式也可以是表达式）：

expression , assignment-expression

这意味着构造a ? b : c, d 无法解析为与 a 等效吗？ b : (c, d) 因为 c, d 不是赋值表达式，但必须解析为等价于 (a ? b : c)、d。

condition 中没有未定义的行为？ ia=1,ib=2,ic=3 : ia=21, ib=22, ic=23; 因为条件的求值在第二个或第三个条件的求值之前排序?: 的操作数以及在每个包含逗号运算符的子表达式中，逗号运算符的第一个操作数的计算顺序在第二个操作数的计算之前进行。

Answer 3

这是合法的，但是编写这样的代码stupid并不是很有用。

该代码

condition?ia=1, ib=2, ic=3:ia=21, ib=22, ic=23;

相当于

condition?(ia=1, ib=2, ic=3):ia=21;
ib=22;
ic=23;

只是更难阅读。

Answer 4

问题是逗号运算符的优先级是最低的。因此，条件运算符的 else 部分只是第一个赋值，之后逗号运算符开始起作用，其他两个语句也将被执行。