“如果”论证评估顺序？

Question

if(a && b)
{
  do something;
}

是否有可能从右到左评估参数（b -> a）？

如果“是”，什么影响评估顺序？

（我用的是VS2008）

Answer 1

对于 C++，只有少数运算符可以保证计算顺序

• operator && 首先计算左操作数，如果该值在逻辑上为 false，则它会避免计算正确的操作数。典型的用法是例如 if (x > 0 && k/x < limit) ... ，它可以避免被零除的问题。

• operator || 首先评估左操作数，如果该值在逻辑上为 true，则它会避免评估右操作数。例如，if (overwrite_files ||确认("文件已存在，覆盖？")) ... 当设置 overwrite_files 标志时，不会询问确认。

• operator , 首先计算左操作数，然后计算右操作数，返回右操作数的值。该运算符不经常使用。请注意，函数调用中参数之间的逗号是非逗号运算符，并且不保证计算的顺序。

• 三元运算符x?y:z首先计算x，然后根据结果的逻辑值仅计算y或仅z。

对于所有其他运算符，未指定求值顺序。

情况实际上更糟，因为不是没有指定顺序，而是表达式根本没有“顺序”，例如，

std::cout << f() << g() << x(k(), h());

函数可能会按 hgkxf< 的顺序调用/code> （这有点令人不安，因为 << 运算符的心智模型以某种方式传达了顺序性的概念，但实际上仅按照结果放入流中的顺序尊重顺序，而不是按照顺序按结果顺序计算*）。

显然表达式中的值依赖可能会引入一些顺序保证；例如，在上面的表达式中，保证 k() 和 h() 都将在 x(...) 之前调用，因为调用 x 需要两者的返回值（C++ 不是 lazy ）。

另请注意，&&、|| 和 , 的保证仅对预定义运算符有效。如果您为您的类型重载这些运算符，那么在这种情况下它们将像正常的函数调用一样，并且操作数的求值顺序将是未指定的。

(*)自 C++17 以来的更改

C++17 引入了一些关于计算顺序的额外临时特定保证（例如在左移运算符 << 中）。有关所有详细信息，请参阅https://stackoverflow.com/a/38501596/320726

Answer 2

评估顺序由标准指定，为从左到右。最左边的表达式始终首先使用 && 子句进行计算。

如果您希望首先对 b 进行求值：

if(b && a)
{
  //do something
}

如果两个参数都是方法，并且您希望对它们进行求值，而不管其结果如何：

bool rb = b();
bool ra = a();

if ( ra && rb )
{
  //do something
}

Answer 3

在这种情况下，由于您使用的是 &&，因此 a 将始终首先被求值，因为结果用于确定是否短路表达式。

如果 a 返回 false，则根本不允许 b 进行计算。

Answer 4

内置逻辑 AND 运算符 && 的第一个（左）参数的每个值计算和副作用；以及内置逻辑 OR 运算符 ||在第二个（右）参数的每个值计算和副作用之前排序。

请阅读此处，了解规则集的更详尽解释：
订单评估

Answer 5

它将从左到右进行评估，并在可能的情况下短路评估（例如，如果 a 评估为 false，则不会评估 b）。

如果您关心它们的评估顺序，则只需在 if 语句中按照所需的评估顺序指定它们即可。

Answer 6

内置 && 运算符始终首先计算其左操作数。例如：

if (a && b)
{
   //block of code
}

如果 a 为 false，则不会评估 b。

如果您希望首先计算 b，并且仅在 b 为 true 时才计算 a，只需以相反的方式编写表达式即可：

if (b && a)
{
   //block of code
}