VS2008 中“<<”和“++”的运算符优先级优化

我遇到了一个奇怪的 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”。

这与运算符优先级无关。
您正在使用

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

// Equivalent to:

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

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

解读一：

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

注意：限制是：

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

鉴于这些限制，我们可以按如下方式重新排序。

解读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);