对《Modern C》中十六进制常量赋值signed变量表述的澄清请求

首先明确结论：书中加粗的表述并非只针对非32位架构，即使在32位有符号整数架构下，也无法保证+4294967295（即0xFFFFFFFF）转换为-1，原因主要有两点：

1. C标准对无符号到有符号转换的规则定义 #

当把一个超出目标有符号类型可表示范围的无符号值赋值给有符号变量时，C标准规定这种转换的结果是实现定义的，而非强制统一。

具体来说，0xFFFFFFFF作为无后缀十六进制字面量，在32位系统中，由于它超出了signed int的最大值（2^31-1 = 2147483647），所以它的类型会被判定为unsigned int。将这个unsigned int类型的值赋值给signed int变量时，因为值4294967295超出了signed int的可表示范围，编译器可以按照自己的规则处理这个转换——虽然绝大多数现代编译器会按照补码规则将其转换为-1，但这不是C标准强制要求的行为。

2. 32位架构的有符号整数表示不一定是补码 #

C标准并没有强制要求有符号整数必须使用补码表示，它允许实现使用原码或反码。在采用原码或反码的32位架构中，0xFFFFFFFF的位模式对应的有符号值并不是-1：

• 原码中，最高位是符号位，0xFFFFFFFF的最高位是1（表示负数），其余位全1对应数值2^31-1，所以原码表示的是-(2^31-1) = -2147483647；
• 反码中，负数是对应正数按位取反，-1的反码是0xFFFFFFFE，而非0xFFFFFFFF。

虽然这类非补码的32位架构现在已经非常罕见，但C标准的规则是面向所有合法实现的，因此书中会强调“无法保证”。

内容的提问来源于stack exchange，提问作者Christopher Miller