是否必须使逻辑运算符短路？和评估顺序？

if( functionA() && functionB() && functionC() ) cout<<"Hello world";

#1 楼

是的，在C和C ++标准中，运算符||和&&都需要短路和评估顺序。

C ++标准说（在C标准中应该有一个等效子句）：


1.9.18

在对以下表达式的求值中

a && b
a || b
a ? b : c
a , b

使用内置的含义这些表达式中的运算符，在第一个表达式（12）的求值之后有一个序列点。


在C ++中有一个额外的陷阱：短路不适用于类型脚注12：如第5节所述，本段中所示的运算符是内置运算符。当这些运算符之一被过载时（子句） 13）在有效上下文中，从而指定一个用户定义的运算符函数，该表达式指定一个函数调用，并且操作数形成一个参数列表，而没有隐含的序列点在它们之间。


除非您有非常具体的要求，否则通常不建议在C ++中重载这些运算符。您可以执行此操作，但是它可能会破坏其他人代码中的预期行为，尤其是如果通过实例化模板以使这些操作符类型重载的方式间接使用这些操作符时。

#2 楼

短路评估和评估顺序是C和C ++中强制性的语义标准。

如果不是这样，则这样的代码将不是常见的习惯用法

   char* pChar = 0;
   // some actions which may or may not set pChar to something
   if ((pChar != 0) && (*pChar != 'q4312078q')) {
      // do something useful

   }

6.5.13节C99规范的逻辑AND运算符（PDF链接）说


（4）。与按位二进制＆运算符不同，&&运算符保证
从左到右的求值；在第一个操作数的求值之后有一个
序列点。如果第一个操作数比较等于0，则不计算第二个操作数。



同样，第6.5.14节逻辑OR运算符表示


（4）与按位|运算符，||
运算符保证从左到右
求值；在第一个
操作数的求值之后有一个序列点
。如果第一个操作数比较
不等于0，则第二个操作数不求值。


类似的措辞可以在C ++标准中找到，请参阅第5.14节。该草稿副本。正如检查人员在另一个答案中指出的那样，如果您覆盖&&或||，则必须对两个操作数求值，因为它会成为常规函数调用。

#3 楼

是的，它要求这样做（评估顺序和短路）。在您的示例中，如果所有函数都返回true，则调用顺序严格是从functionA开始，然后是functionB，然后是functionC。用于此

if(ptr && ptr->value) { 
    ...
}

与逗号运算符相同：

// calls a, then b and evaluates to the value returned by b
// which is used to initialize c
int c = (a(), b()); 

在左边和左边之间说一个&&，||，,的右操作数以及?:的第一和第二/第三操作数之间（条件运算符）是一个“序列点”。在此之前，将完全评估任何副作用。因此，这是安全的：

int a = 0;
int b = (a++, a); // b initialized with 1, and a is 1

请注意，不要将逗号运算符与用于分隔事物的句法逗号混淆：

// order of calls to a and b is unspecified!
function(a(), b());

C43标准在5.14/1中说：


&&运算符组从左到右。操作数都隐式转换为bool类型（第4节）。
如果两个操作数均为true，则结果为true，否则为false。与＆不同，&&保证从左到右的求值
：如果第一个操作数为假，则不对第二个操作数求值。


并且在5.15/1中：


||操作员组从左到右。操作数都隐式转换为布尔值（第4节）。如果两个操作数中的任何一个为true，则返回true，否则返回false。与|，||不同保证从左到右的评估；此外，如果第一个操作数的计算结果为true，则不计算第二个操作数。


对以下两个条件均表示：


结果是个布尔。除临时变量（12.2）破坏外，第一个表达式的所有副作用都在第二个表达式求值之前发生。


此外，1.9/18说


在每个表达式的求值中


a && b
a || b
a ? b : C
a , b

使用这些表达式（5.14、5.15、5.16、5.18）中运算符的内在含义，在第一个表达式求值后会有一个序列点。

#4 楼

直接从良好的旧K＆R：


C保证&&和||从左到右进行求值-我们很快就会发现这很重要的情况。

#5 楼

请非常小心。

对于基本类型，它们是快捷方式运算符。

但是，如果您为自己的类或枚举类型定义这些运算符，则它们不是快捷方式。由于在不同情况下它们的用法在语义上存在差异，建议您不要定义这些运算符。

对于基本类型的operator &&和operator ||，评估顺序为从左到右（否则为捷径会很困难:-)但是对于您定义的重载运算符，这些基本上是定义方法的语法糖，因此参数的求值顺序是不确定的。

#6 楼

您的问题归结为C ++运算符的优先级和关联性。基本上，在具有多个运算符且没有括号的表达式中，编译器将遵循以下规则来构造表达式树。

对于优先级，当您使用A op1 B op2 C之类的东西时，可以将其分组为(A op1 B) op2 C或A op1 (B op2 C)。如果op1的优先级高于op2，则将获得第一个表达式。否则，您将获得第二个。

对于关联性，当您使用类似A op B op C的东西时，可以再次将薄层分组为(A op B) op C或A op (B op C)。如果op离开了关联性，我们将得出第一个表达式。如果它具有正确的关联性，我们将得出第二个结论。这同样适用于相同优先级的运算符。在这种情况下，&&的优先级高于||，因此表达式将被评估为(a != "" && it == seqMap.end()) || isEven。

顺序本身在表达式树形式上是“从左到右”的。因此，我们首先评估a != "" && it == seqMap.end()。如果为真，则整个表达式为真，否则转到isEven。该过程在课程的左子表达式内递归地重复。


有趣的花絮，但是优先权的概念源于数学符号。在a*b + c中发生了相同的事情，其中​​*的优先级高于+。

对于一个无括号的表达式A1 op1 A2 op2 ... opn-1 An，所有运算符具有相同的优先级，二进制表达式树的数目可能的形式由所谓的加泰罗尼亚语数字给出。对于较大的n，这些增长非常快。

#7 楼

如果您信任维基百科：


[&&和||]在语义上不同于按位运算符＆和| |。因为如果只能从左边确定结果，它们将永远不会评估右边的操作数