C语言负整数加法机制解析：为何未触发未定义行为？

问题1：int8_t类型的加法为何未触发未定义行为？ #

代码片段 #

#include <stdio.h>
#include <stdint.h>

int main() {
    int8_t a = -1;
    printf("Dec: %d, Hex: %hhx\n", a, a);
    int8_t b = a + 1;
    printf("Dec: %d, Hex: %hhx\n", b, b);
    return 0;
}

运行结果 #

Dec: -1, Hex: ff
Dec: 0, Hex: 0

解答 #

• 核心原因是整数提升（integer promotion）：C语言规定，所有宽度小于int的整数类型（比如int8_t）在参与算术运算前，都会被自动提升为int类型（只要int能容纳该类型的全部取值，这在绝大多数系统中都成立）。
• 具体执行流程：
  1. int8_t类型的a值为-1，先被提升为int类型的-1（二进制为全1，位数等于当前系统int的宽度，比如32位或64位）。
  2. 执行a + 1时，实际是int类型的-1加1，结果为int类型的0，这个运算完全在int的取值范围内，没有溢出，属于定义行为。
  3. 最后将结果赋值给int8_t类型的b，此时会发生截断操作：把int类型的0截断为8位，结果仍为0，这一步是标准明确规定的合法行为（只要目标类型能容纳该值，显然0符合要求）。
• 你之前的误解在于：实际运算并非直接对8位的0xff操作，而是先提升为更大的int类型后再计算，根本没有触发有符号整数溢出的未定义行为。

问题2：intmax_t类型的加法为何也未出现溢出问题？ #

代码片段 #

int main() {
    intmax_t a = -1;
    printf("Dec: %ld, Hex: %lx\n", a, a);
    intmax_t b = a + 1;
    printf("Dec: %ld, Hex: %lx\n", b, b);
    return 0;
}

运行结果 #

Dec: -1, Hex: ffffffffffffffff
Dec: 0, Hex: 0

解答 #

• 首先明确：intmax_t是当前系统中最大的有符号整数类型，确实没有更高类型可以提升，但这里的-1 + 1运算本身并没有溢出。
• 你混淆了“二进制补码的位运算”和“有符号整数的算术语义”：
  1. 在补码规则下，intmax_t的-1二进制表示为全1，但从有符号整数的算术逻辑来看，-1 + 1的结果就是0，这个值完全在intmax_t的取值范围内，属于合法的定义行为。
  2. 所谓“有符号整数溢出”是指运算结果超出了该类型的取值边界，比如INTMAX_MAX + 1才会触发溢出（结果大于类型能表示的最大值），而-1 + 1 = 0显然不在此列。
• 底层运作：计算机硬件的加法器是按照补码规则执行运算的，全1的补码加1会产生进位，最终得到全0的二进制结果，而这个全0在补码规则下刚好对应数值0，和算术语义完全匹配，所以结果正确。这是正常的补码运算，并非溢出。

内容的提问来源于stack exchange，提问作者Der Fänger im Roggen