关于位精确整数转换秩定义的两处技术疑问

原文定义与提案翻译 #

C23 §6.3.1.1中对有符号整数类型和位精确有符号整数类型的转换秩定义如下：

• 有符号整数类型的秩应大于任何精度更低的有符号整数类型的秩。
  [...]
• 位精确有符号整数类型的秩应大于任何宽度更小的标准整数类型或位精确整数类型的秩。

早期提案草案N2646原文及翻译：

A _BitInt type has a greater rank than any integer type with less precision [...]
翻译：_BitInt类型的秩大于任何精度更低的整数类型[...]

更新草案N2709原文及翻译：

A _BitInt type has a greater rank than any standard integer type with less width. [...]
翻译：_BitInt类型的秩大于任何宽度更小的标准整数类型[...]

技术问题解答 #

1. 为何有符号整数用“精度”表述，位精确整数用“宽度”？ #

• 标准有符号整数的“精度”是C标准长期沿用的概念，指用于表示数值的二进制位数（不含符号位），比如32位int的精度通常为31位，这一表述精准区分了不同标准有符号类型的数值表示能力差异。
• 位精确整数（_BitInt(N)）的核心特性是总位数由用户显式指定，其精度（有符号时为N-1，无符号时为N）完全由宽度推导而来。用“宽度”表述更直接体现这类类型的设计本质——用户对总位数的精确控制，避免和标准类型的“精度”概念产生混淆。
• 从提案演变来看，N2646最初沿用标准整数的“精度”表述，但N2709改为“宽度”是为了突出位精确类型的位宽确定性，适配其与标准类型不同的定义逻辑。

2. 为何位精确有符号整数的秩定义覆盖所有标准/位精确整数类型，而非仅限定有符号？ #

• 转换秩的核心作用是为所有隐式类型转换场景提供优先级规则，必须覆盖整数类型体系的全部组合，包括位精确有符号类型与无符号标准类型、无符号位精确类型之间的转换。
• 位精确类型的宽度是其核心标识，无论有符号或无符号，宽度更大的类型能表示的数值范围（正负或非负）更广，因此秩更高的设计符合类型转换的逻辑——优先保留更丰富的数值信息。
• 如果仅限定与有符号类型比较，会导致无符号整数与位精确有符号整数之间的转换规则出现空白，破坏C标准类型转换体系的完整性。

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