今天我遇到了一些在 clang++ (3.7-git)、g++ (4.9.2) 和 Visual Studio 2013 上表现出不同行为的代码。经过一些简化后,我想出了这个突出问题的片段:
#include <iostream>
using namespace std;
int len_ = -1;
char *buffer(int size_)
{
cout << "len_: " << len_ << endl;
return new char[size_];
}
int main(int argc, char *argv[])
{
int len = 10;
buffer(len+1)[len_ = len] = '\0';
cout << "len_: " << len_ << endl;
}
g++ (4.9.2) 给出了这个输出:
len_: -1
len_: 10
因此,g++ 将参数评估为缓冲区,然后是 buffer(..) 本身,然后将索引参数评估为数组运算符。直觉上,这对我来说很有意义。
clang (3.7-git) 和 Visual Studio 2013 都给出:
len_: 10
len_: 10
我想clang和VS2013会在它下降到缓冲区(..)之前评估所有可能的事情。这对我来说不太直观。
我想我的问题的要点是这是否是未定义行为的明显案例。
编辑:感谢您清除此问题,未指明的行为是我应该使用的术语。