在条件中使用三元运算符会产生意外的输出

Question

我试图了解三元运算正在做什么来给我这个输出。我希望条件会在 true == false 评估为 false 但 return_value 的结果在此代码中为 true 时短路。

#include <iostream>

int main()
{
    bool return_value = true == false &&
                        true == false &&
                        false ? (true == false) : true; // add parens to see expected output (false ? (true == false) : true);

    std::cout << std::boolalpha << return_value << std::endl;

    // expected output: false                                                                                                  
    // actual output  : true
}                                                                                       }

如果我在最后一个条件 (false ? (true == false) : true) 周围加上括号，那么我会得到我期望的输出。

是否存在我误解的操作顺序？

Answer 1

声明的初始化

bool return_value = true == false &&
                    true == false &&
                    false ? (true == false) : true;

可以等效地改写为

bool return_value = ( true == false && true == false && false ) ? (true == false) 
                                                                : true;

由于逻辑表达式的结果为 false，则返回第三个 (assignmeny-expression)，即 true。

根据 C++ 语法，条件运算符的定义如下

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

还有这个表达

true == false && true == false && false

是一个逻辑或表达式，反过来又在 C++ 语法中定义，如

logical-or-expression:
    logical-and-expression
    logical-or-expression || logical-and-expression

Answer 2

似乎隐含的操作顺序是

bool return_value = (true == false && true == false && false)
                  ? (true == false)
                  : true;

而不是

bool return_value = true == false &&
                    true == false &&
                    (false ? (true == false) : true);