C：8x8->整数提升保证 16 位乘法精度？

Question

我试图弄清楚 C 标准（C90，尽管我正在研究 Derek Jones 的带注释的 C99 书）是否保证我在将两个无符号 8 位值相乘并存储为 16 位结果时不会丢失精度。示例语句如下：

unsigned char foo;
unsigned int foo_u16 = foo * 10;

我们的 Keil 8051 编译器（目前为 v7.50）将生成一条 MUL AB 指令，该指令将 MSB 存储在 B 寄存器中，将 LSB 存储在累加器中。如果我首先将 foo 转换为 unsigned int：

unsigned int foo_u16 = (unsigned int)foo * 10;

那么编译器会正确地决定我想要一个 unsigned int，并生成对 16x16 位整数乘法例程的昂贵调用。我想毫无疑问地证明这种防御措施是没有必要的。当我阅读 6.3.1.1 中描述的整数提升时，第一行的效果应该是 foo 和 10 被提升为 unsigned int，执行乘法，并将结果存储为 foo_u16 中的 unsigned int。如果编译器知道一条指令可以执行 8x8->16 位乘法而不损失精度，那就更好了；但精度有保证。我读得正确吗？

此致， 克雷格·布洛姆

Answer 1

提升是有保证的，但如果 unsigned char 的范围符合 signed int 的范围，则提升为 signed int 类型。因此（假设它适合）从语言的角度来看，您

unsigned int foo_u16 = foo * 10; 

相当于，

unsigned int foo_u16 = (signed) foo * 10; 

而您显然想要的是

unsigned int foo_u16 = (unsigned) foo * 10; 

如果乘法（结果）不适合signed int 范围。

如果您的编译器对它的解释不同，则可能是编译器中的错误（同样，假设 unsigned char 的范围适合 signed int 的范围）。