Question

每个C ++ 17是否为uint8_t，uint16_t，uint32_t，uint64_t定义了算术溢出？如果是，定义的行为是什么（高度赞赏C ++标准的摘录）
每个C ++ 17是否为int8_t，int16_t，int32_t，int64_t定义了算术溢出？（高度赞赏C ++标准的摘录）
如果以上任何一项或全部是特定于实现的，那么g ++和clang的定义是什么？
如果它是特定于体系结构的（如Havenard所指出的），那么我的问题仅针对x86（-64）。
如果我执行较小的unsigned int-较大的unsigned int，它定义明确了怎么办？

我看到这个post的第一个答案提到我的问题＃1，它是用C标准定义的，尽管他没有引用它，而且我也找不到关于C ++标准的任何东西。

=================

更新1：

消除了每个ach的“下溢”，因为它是错误的术语（感谢@ach）。添加了＃5，以表达我真正的意思是“下溢”（不正确）

Answer 1

为了创建规范，下面是一些规范性规范（引自最新的C ++草案）：

无符号整数应服从2n模算术定律，其中n 是该特定值的值表示形式中的位数整数的大小。（44）这意味着无符号算术不溢出，因为结果无法用结果表示无符号整数类型以大一的形式取模比可以由结果表示的最大值无符号整数类型。

如果在对表达式求值时，结果不是数学定义的或不在可表示的值范围内它的类型，行为是不确定的。

顺便说一句，它们都不是特定于实现的，编译器会积极利用上溢/下溢进行优化。例如，如以下代码段所示：

void a();
void b();

void foo(int k) {
    int z = k+1;
    if (z < k) {
        a();
    } else {
        b();
    }
}

https://gcc.godbolt.org/z/0re-nM-消除了分支，即使在实际平台上由于模2表示，z实际上可能比k小。