c - unsigned char 总是提升为 int 吗？

Question

假设如下:

unsigned char foo = 3;
unsigned char bar = 5;

unsigned int shmoo = foo + bar;

foo 和 bar 值是否保证提升为 int 值以评估表达式 foo + bar——或者是否允许实现将它们提升为 unsigned int？

在第 6.2.5 节第 8 段中:

For any two integer types with the same signedness and different integer conversion rank (see 6.3.1.1), the range of values of the type with smaller integer conversion rank is a subrange of the values of the other type.

在第 6.2.5 节第 9 段中:

If an int can represent all values of the original type, the value is converted to an int; otherwise, it is converted to an unsigned int.

保证具有较小整数转换等级的整数类型的值范围是另一种类型值的子范围似乎取决于整数类型的符号。

• signed char对应signed int
• unsigned char对应unsigned int

这是否意味着 unsigned char 的值只能保证在 unsigned int 的子范围内而不一定是 int？如果是这样，这是否意味着一个实现理论上可以有一个不在 int 子范围内的 unsigned char 值？

Answer 1

are implementations allowed to promote them to unsigned int?

如果不是所有的 unsigned char 值都可以用 int 表示(根据 C99 中的 6.2.5p9 规定)，实现将提升为 unsigned int ).请参阅下面的实现示例。

If so, does that imply that an implementation could theoretically have an unsigned char value which is not in the subrange of an int?

是的，示例:CHAR_BIT 16 或 32 的 DSP cpu。

例如，用于 TMS320C55x 的 TI C 编译器:CHAR_BIT 为 16 和 UCHAR_MAX 65535，UINT_MAX 65535 但 INT_MAX 32767.

http://focus.ti.com/lit/ug/spru281f/spru281f.pdf