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

ANSI标准是否要求在C或C ++中使逻辑运算符短路？

我很困惑，因为我回想起K＆R的书，说您的代码不应该依赖这些操作的短路，因为它们可能不是。有人可以指出标准中逻辑运算总是短路的地方吗？我对C ++最为感兴趣，对于C的回答也很好。

我还记得读（不记得在哪里）未严格定义评估顺序，因此您的代码不应依赖或假定表达式中的函数将按特定顺序执行：在语句末尾，所有引用的函数会被调用，但是编译器可以自由选择最有效的顺序。

标准是否指示此表达式的评估顺序？

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

是的，操作员||以及&&C和C ++标准都要求短路和评估顺序。

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

1.9.18

在评估以下表达式时

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

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

在C ++中有一个多余的陷阱：短路确实不适用类型的超负荷运营商||和&&。

脚注12：本节中指出的运算符是内置运算符，如第5节所述。当这些运算符之一在有效上下文中被重载（第13节），从而指定了用户定义的运算符功能时，该表达式将指定函数调用，并且操作数形成一个参数列表，在它们之间没有隐含的序列点。

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

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

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

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

   }

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

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

同样，第6.5.14节“ 逻辑或”运算符表示

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

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

是的，它要求这样做（评估顺序和短路）。在您的示例中，如果所有函数都返回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());

C ++标准在5.14/1：

&&运算符组从左到右。操作数都隐式转换为bool类型（第4节）。如果两个操作数均为true，则结果为true，否则为false。与＆不同，&&保证从左到右求值：如果第一个操作数为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）中运算符的内在含义，在计算第一个表达式之后会有一个序列点。

直接来自良好的旧K＆R：

C保证&&并且||从左到右进行评估-我们很快将看到在这方面很重要的情况。

要非常非常小心。

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

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

对于operator &&和operator ||类型，评估顺序从左到右（否则，捷径将很难：-），但是对于您定义的重载运算符，它们基本上是定义方法的语法糖，因此参数的评估顺序为未定义。

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

作为优先事项，当您具有时A op1 B op2 C，可以将(A op1 B) op2 C或分组A op1 (B op2 C)。如果op1优先级高于op2，则将获得第一个表达式。否则，您将获得第二个。

为了具有关联性，当您有类似对象时A op B op C，可以再次将Thins分组为(A op B) op C或A op (B op C)。如果op已离开关联性，我们将得到第一个表达式。如果它具有正确的关联性，我们将得出第二个结果。这也适用于相同优先级的操作员。

在这种情况下，&&优先级比更高||，因此该表达式将被评估为(a != "" && it == seqMap.end()) || isEven。

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

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

对于A1 op1 A2 op2 ... opn-1 An所有运算符具有相同优先级的无括号表达式，更有趣/晦涩的是，我们可以形成的二进制表达式树的数量由所谓的加泰罗尼亚数给出。总体而言n，这些增长非常快。d

如果您信任维基百科：

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

C（编程语言）