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

这与运算符优先级无关.
你正在使用<<这是函数调用的语法糖:

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)