C++ 17排序:赋值左侧的后增量

Question

C++ 17标准通过一条规则来修改C++语言的操作顺序的定义,结果如下:

在每个简单赋值表达式E1 = E2和每个复合赋值表达式E1 @ = E2中,E2的每个值计算和副作用在E1的每个值计算和副作用之前被排序.

然而,在编译GCC 8.1下面的代码时,-std=c++17和-Wall

int v[] { 0,1,2,3,4,5,6,7 };
int *p0 = &v[0];
*p0++ = *p0 + 1;
cout << "v[0]: " << v[0] << endl;

我收到以下警告:

main.cpp:266:8: warning: operation on 'p0' may be undefined [-Wsequence-point]
     *p0++ = *p0 + 1;
      ~~^~

输出是:

v[0]: 1

问题是:警告是错误的吗？

Answer 1

问题是:警告是错误的吗？

这取决于.

从技术上讲,有问题的代码是明确定义的.右侧在C++ 17的左侧之前排序,而在它之前是不确定的顺序.并且gcc在v[0] == 1完成任务后正确编译代码.

然而,它也是不应该写的可怕代码,所以虽然警告的具体措辞是错误的,但警告的实际精神对我来说似乎很好.至少,我不打算提交有关它的错误报告,这似乎不值得开发人员有时间修复.因人而异.