问题关于?和 : 在 c++

Question

为什么这个说法 :

int a = 7, b = 8, c = 0;
c = b>a?a>b?a++:b++:a++?b++:a--;
cout << c;

不等于 :

int a = 7, b = 8, c = 0;
c = (b>a?(a>b?a++:b++):a++)?b++:a--;
cout << c;

且等于 :

int a = 7, b = 8, c = 0;
c = b>a?(a>b?a++:b++):(a++?b++:a--);
cout << c;

请给我一些理由。为什么 ？

Answer 1

因为<代码>？ : 是从右到左关联。它在语言中是这样定义的。

Answer 2

我相信@sth 提供了正确的答案，但是，我认为@Skilldrick 的评论是正确的——你到底为什么要写这样的东西。

除了优先级问题之外，在单个语句中递增相同变量时，您确实需要小心。语句中可能有也可能没有序列点，因此可能无法保证增量的求值顺序。使用不同的编译器，甚至在同一编译器上使用不同的优化设置，最终可能会得到不同的结果。

Answer 3

运算符 &&、|| 和 ?: 在表达式内执行流控制。 ?: 的行为类似于 if-else 语句。

c = b>a?a>b?a++:b++:a++?b++:a--;

if ( b>a )
    if ( a>b )
        a ++;
    else
        b ++;
else if ( a ++ )
    b ++;
else
    a --;

b>a? (
    a>b ?
        a ++
    :
        b ++
) : ( a ++ ?
    b ++
:
    a --
)

关联性对于具有像 if ... else if ... else 这样的行为是必要的。

有时我使用与您类似的表达式进行词典顺序比较：

operator< ()( arr &l, arr &r ) {
    return l[0] < r[0]? true
         : r[0] < l[0]? false
         : l[1] < r[1]? true
         : r[1] < l[1]? false
         : l[2] < r[2];
}