三元条件和赋值运算符优先级

Question

我对直接赋值和三元条件运算符优先级感到困惑:

#include<stdio.h>
int main(void)
{
    int j, k;

    j = k = 0;
    (1 ? j : k) = 1; // first
    printf("%d %d\n", j, k);

    j = k = 0;
    1 ? j : k = 1; // second
    printf("%d %d\n", j, k);
    return 0;
}

我希望输出为:

1 0
1 0

但它碰巧是:

1 0
0 0

另外我得到这个警告:

main.cpp:20:warning:语句无效

这是我评论的第二行.

由于直接赋值运算符的优先级低于三元条件运算符,因此我期望将第一行和第二行注释为等效的行.但实际情况并非如此.

我用g ++ --version(Ubuntu 4.4.3-4ubuntu5)4.4.3尝试了这个

Answer 1

C/C++语言中的运算符优先级未由表或数字定义,而是由语法定义.这是条件运算符的语法,来自C++ 0x草案章节5.16条件运算符[expr.cond]:

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

因此,当您在doublecolon的左侧使用赋值时,像这样的优先表是正确的,但在右侧使用时则不是.我不知道这种不对称的原因是什么.这可能是一个历史原因:在C中,条件结果不是左值,因此为它分配一些东西是没有意义的,并且允许在没有括号的情况下接受赋值可能看起来很聪明.

Answer 2

第二行相当于:

1 ? (j) : (k = 1);

这与以下相同:

j;

这与以下相同:

;

关键是三元条件运算符的两个操作数可以是表达式,因此运算符优先级在这里不相关.只是第二个操作数是赋值表达式k = 1.

Answer 3

(1 ? j : k) = 1;

相当于,

if(true) j = 1;
else k = 1;

和,

1 ? j : k = 1;

相当于,

if(true) j;  // warning: statement has no effect
else k = 1;