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

Question

C++17标准通过stating, to the effect规则修改了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 在分配之后。

但是，这也是不应该编写的糟糕代码，因此虽然警告的具体措辞是错误的，但警告的实际精神对我来说似乎很好。至少，我不打算提交有关它的错误报告，而且它似乎不值得开发人员花时间修复。 YMMV。

Answer 2

[我在下面留下我的答案以供参考，但further discussion 表明我在下面的答案不完整，其结论最终不正确。]

C++17 标准（草案here），[expr.ass]，确实是这样写的：

[赋值运算符的]右操作数排在左操作数之前。

这对我来说和对你一样都是错误的。 @Barry 不喜欢您的示例代码，因此，为了避免分散问题的注意力，我测试了替代代码：

#include <iostream>

namespace {
    int a {3};

    int& left()
    {
        std::cout << "in left () ...\n";
        return ++a;
    }

    int right()
    {
        std::cout << "in right() ...\n";
        return a *= 2;
    }
}

int main()
{
    left() = right();
    std::cout << a << "\n";
    return 0;
}

输出（使用 GCC 6.3）：

in left () ...
in right() ...
8

无论您是考虑打印的消息还是考虑计算的值 8，看起来好像 left 操作数在 right 操作数之前排序 - 这是有道理的，就目前而言作为高效的机器码

• 通常应该更愿意决定将计算结果存储在哪里
• 在实际计算结果之前。

我不同意@Barry。您可能已经发现了该标准的一个重要问题。有时间就举报吧。

更新

@SombreroChicken 补充道：

那只是因为 GCC 6.3 还没有正确实现 C++17。从 7.1 起，它首先评估正确，如 here.

输出：

in right() ...
in left () ...
6