仍然不确定 C++ 中的有符号整数溢出

Question

在下面的代码中，我测试了哪种形式的溢出会导致 UB 并因此导致constexpr上下文中的硬错误：

#include <cstdint>
#include <limits>

using T = int8_t;
int main() {    
    constexpr bool b = []{
        T x = std::numeric_limits<T>::max();
        ++x; // GCC: UB, Clang: no UB
//        x += 1;
//        x = x + 1;
        return (x > std::numeric_limits<T>::max());
    }();

    return b;    
}

预增量为 gcc 提供了一个错误（如我所料），但对 clang 没有。

更奇怪的是，标准说++x与x += 1相同，但是使用它不会再在 gcc 上产生错误（和以前一样的 clang）。

并且进一步x += 1应该与x = x + 1相同，因此 rhs 被提升为int并且结果被隐式转换。 所以，这应该是更新的UB。

所以，问题是，这三个语句中的哪一个真的应该是 UB （我认为只有++x ），哪个编译器是正确的？

Answer 1

[expr.pre.incr]/1

表达式 ++x 等价于 x+=1。

[expr.ass]/6

形式为 E1 op= E2 的表达式的行为等价于 E1 = E1 op E2 ，只是 E1 只计算一次。

但是x = x + 1不是 UB（整数提升和窄整数转换），所以原来是良构的。 因此，GCC 是错误的。