有符号字符到无符号整数转换的标准C行为

Question

我快速浏览了C 03标准，但仍然无法判断这种行为是否有保证：

signed char cNegOne=-1; //char is 8bits
unsigned int a=cNegOne; //int is 32 bits in my Windows system
printf("0x%x\n",a);

结果是：

0xffffffff

VC在32位窗口中给出＜code＞0xffffffff。但我的假设是，转换可以通过两种方式进行：

1） 8位有符号字符-1首先直接转换为8位无符号值，该值为二进制11111111或十进制255，然后扩展为32位无符号整数，给出255（0xff）。

2）8位有符号字符-1被有符号扩展到32位有符号int，给出0xffffffff，然后重新解释为32位无符号int。

显然这里使用了第二种方式。但是为什么会这样呢？在标准中，我找不到任何关于这个的东西。它是实现特定的吗？

编辑：C 03第4章的原文

标准转换是为内置类型定义的隐式转换。第 4 条列举了此类转换的全部集合。标准转换序列是按以下顺序排列的标准转换序列：

-以下集合的零或一个转换：左值到右值转换、数组到指针转换和函数到指针转换。

-以下集合中的零或一个转换：整数提升、浮点提升、整数转换、浮点转换、浮点积分转换、指针转换、指针到成员转换和布尔转换。

— 零次或一次资格转换。

请注意，保证顺序是l到右值转换（etc）发生在集合积分提升/转换之前，但这并不意味着积分提升必须发生在转换之前——它们只是在同一个集合中。或者我的解释是正确的？

Answer 1

当在C和C中执行整数算术时，第一步是整数提升。签名的字符和短裤成为签名的ints;无符号字符和短整型成为无符号整数。即使您将两个短路相加，也是如此：操作本身是在整数上执行的，而不是在短路上执行的。

因此，当您考虑整数转换时，请考虑提升以及随后的符号变化。在C标准中，这两个步骤被描述为一个步骤。也就是说，单独的整数提升在技术上不会发生，但是如果目标类型比源类型宽，则改变有符号性的效果与在有符号性改变之前进行显式提升的效果是相同的。基本规则是，结果必须是输入模2^n，其中n是输出类型的位数。对于-1的输入和32位输出类型，这意味着2^32 - 1的输出。