C语言中isdigit()等函数为何返回任意非零真值而非固定1？

《C程序设计语言（第二版）》明确说明：isdigit 这类字符判定函数在判定结果为真时，可能返回任意非零值。

对应的两个核心疑问：

• 为什么这类函数返回真值时，不像C语言原生逻辑表达式那样返回标准化固定值1，而是允许返回任意非零值？
• 在GCC 12.1.0环境下测试发现isdigit判定为真时返回值始终为2048，这个值是随机产生的、和特定实现绑定，还是所有环境下都统一返回2048？

为什么不固定返回1 #

• 本质是早期C语言追求极致性能的设计选择。从C标准库最早的实现开始，isdigit、isalpha这类字符分类函数，普遍采用预生成字符属性位掩码表的方案：提前为所有支持的字符预存一个整数值，每个二进制位对应一种字符属性——比如某一位标记是否为数字、某一位标记是否为大写字母、某一位标记是否为控制字符等等。
• 函数运行时不需要做复杂判断，只需要直接查表取出对应字符的属性值，和目标属性对应的位做一次按位与运算，直接把结果返回即可。如果要固定返回1，就需要额外加一条分支判断或者逻辑运算指令，把非零结果规整成1。这套设计诞生的年代硬件算力极其有限，少一条指令在高频文本处理场景下的性能收益非常明显，完全没必要为了返回值格式统一平白增加开销。
• C标准本身对“真值”的定义就是所有非零值都为真，仅强制要求逻辑运算符（&&/||/!）、比较运算符的运算结果必须返回固定的1（真）或0（假），从来没有对库函数的真值返回值做统一要求。只要代码按照规范写if (isdigit(c))，而不是错误地写if (isdigit(c) == 1)，这种设计完全不会影响代码的可移植性。

返回值2048的本质 #

• 这个值既不是随机产生的，也不是所有环境的统一返回值，完全和具体的标准库实现绑定。
• 你测试得到的2048，是GNU C库（glibc）里数字属性对应的位掩码：2^11 = 2048，这个二进制位在glibc的字符属性定义中专门用来标记数字字符，isdigit做完按位与运算后的结果自然就是固定的2048。
• 换用不同的标准库实现，这个返回值就可能变化：部分BSD系C库可能把数字属性的标记位设在其他位置，返回值可能是1、2、128、512等任意非零值，甚至部分嵌入式场景的精简C库会直接做范围判断后返回1，所有这些实现都是完全符合C标准要求的。
• 写代码时永远不要依赖这类函数的具体非零返回值做逻辑判断，否则换编译环境、换标准库版本时很容易出现无征兆的逻辑错误。

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