“＆lt;＆lt;”的运算符优先级和VS2008中的“++”进行优化

Question

我遇到了一个奇怪的VS2008 C ++问题，看起来不尊重运算符优先级。

我的问题是这个的输出是什么：

int i = 0;  
std::cout << ((i != 0) ? "Not zero " : "zero ") << ++i << std::endl;  

通常++优先于<<，对吧？或者<<被认为是一个函数调用，它的优先级高于++？什么是100％正确的标准答案？

要检查，我创建了一个新的空项目（VS2008控制台应用程序），只在主要粘贴此代码，结果如下：

Debug|Win32: “zero 1”  
Release|Win32: “zero 1”  
Debug|x64: “zero 1”  
Release|x64: “Not zero 1”

顺便说一句，以下示例产生完全相同的结果：

i = 0;  
printf("%s %d\n", ((i != 0) ? "Not zero" : "zero"), ++i);  

并且在发布中更改优化类型也没有效果，但禁用优化会像其他配置一样输出“零1”。

Answer 1

这与运营商优先权无关 您正在使用＆lt;＆lt;这是函数调用的语法糖：

std::cout << ((i != 0) ? "Not zero " : "zero ") << ++i << std::endl; 

// Equivalent too:

operator<<(operator<<(operator<<(std::cout, ((i != 0) ? "Not zero " : "zero ")), ++i), std::endl);

这里唯一的规则是在调用函数之前必须完全评估参数。对参数的评估顺序没有限制，或者即使它们的评估与调用交错（甚至部分评估）也没有限制。

解释1：

1) ((i != 0) ? "Not zero " : "zero "))
2) ++i
3) operator<<(std::cout, (1));
4) operator<<((3), (2));
5) operator<<((4), std::endl);

解释2：

1) ++i
2) ((i != 0) ? "Not zero " : "zero "))
3) operator<<(std::cout, (2));
4) operator<<((3), (1));
5) operator<<((4), std::endl);

解释3：

1) ((i != 0) ? "Not zero " : "zero "))
2) operator<<(std::cout, (1));
3) ++i
4) operator<<((2), (3));
5) operator<<((4), std::endl);

将解释1作为参考：
必须适用的规则：

 A) (1) happens before (3)
 B) (2) happens before (4)
 C) (3) happens before (4)
 D) (4) happens before (5)