C逻辑运算符的Subexpressions评价顺序

关于优先级和评估顺序的概念有很多问题,但我没有找到一个涉及我的特殊情况的问题.

请考虑以下声明：

if(f(0) && g(0)) {};

是否保证首先评估f(0)？请注意,操作符是&&.

我的困惑源于我在“C编程语言”(Stroustrup,4ed,2013)中所读到的内容.

在本书的第10.3.2节中,它说：

The order of evaluation of subexpressions within an expression is undefined. In particular, you cannot assume that the expression is evaluated left-to-right. For example:

int x = f(2)+g(3); // undefined whether f() or g() is called first

这似乎适用于所有操作符,包括&&操作符,但在以下段落中说：

The operators , (comma), && (logical and), and || (logical or) guarantee that their left-hand operand is evaluated before their right-hand operand.

第11.1.1节还提到了另一个问题：

The && and || operators evaluate their second argument only if necessary, so they can be used to control evaluation order (§10.3.2). For example:

while (p && !whitespace(p)) ++p;

Here, p is not dereferenced if it is the nullptr.

最后一句话暗示&&和||首先评估他们的第一个参数,所以它似乎强化了我的假设,即第二个引用中提到的运算符是第一个引用的例外,但我也无法从最后一个例子中得出明确的结论,因为表达式只包含一个子表达式而不是我的例子,其中包含两个.

解决方法:

&&,||和的特殊排序行为在C和C中已经很好地建立.您引用的第一个句子应该说“表达式中子表达式的评估顺序通常是未定义的”或“除了一些特定的例外情况,表达式中子表达式的评估顺序是未定义的”.

你询问了C,但C FAQ list中的this question是相关的.

标签：c,operator-precedence
来源： https://codeday.me/bug/20190824/1709513.html