C语言中获取全1位模式的严格合规方法及可移植性疑问

一、是否存在严格符合标准且无实现定义行为的方法？ #

答案分两种场景：

• 无符号整数：存在。<limits.h>或<stdint.h>中定义的UINT_MAX（对应unsigned int）、ULONG_MAX（对应unsigned long）、UINT64_MAX（对应uint64_t）等宏，是完全符合C标准的方案。C标准明确规定无符号整数必须采用纯二进制表示，这些宏的值就是对应无符号类型的最大值——即所有位均为1的位模式，完全不依赖实现定义行为。
• 有符号整数：不存在。C标准允许有符号整数采用原码、反码或补码三种表示方式，未强制限定格式。全1位的有符号整数仅在补码体系中对应-1，在原码/反码体系中不成立；同时将无符号全1值转换为有符号类型的结果属于实现定义行为，因此没有严格符合标准的方法能获取有符号整数的全1位模式。

二、-1和UINT_MAX系列的可移植性 #

• UINT_MAX系列宏：完全可移植。无论目标架构字长是16位、32位还是64位，只要是符合C标准的实现，这些宏都会准确返回对应无符号类型的全1位模式值，不存在兼容性问题。
• -1作为全1位模式：仅在使用补码表示有符号整数的实现中有效。虽然当前几乎所有主流架构（x86、ARM、RISC-V等）都采用补码，但C标准并未强制要求这一点，因此从严格标准角度，这属于依赖实现定义行为的做法，不具备完全可移植性。不过在现代实际工程场景中，该假设的兼容性极高。

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