算术运算期间的数据类型提升：-1 < (unsinged int) 1 == false

Question

main()  {   
  if ( -1 < (unsigned char) 1 )
    printf("less than");
  else        
    printf("NOT less than");
} 

打印小于。因为，(unsigned char) 1 被转换为 (signed char) 1，然后： (signed) -1 （有符号）1，因此输出小于。

但是，如果我将上面的代码更改为 if ( (-1 < (unsigned int) 1 ) ，

则输出不小于。

因此，很明显，当我将 unsigned char 更改为 unsigned int 时：

• (signed) -1 转换为 unsigned int [发生的情况正好相反]，
• 因为 -1 存储为 2 的补码 1；位模式被评估为 255（可能） )
• 因此 255 < 1 将计算为 false，
• 即使您用 int a = -1; 代替 '-1' 也会执行相同的结果

问题：

1. 在有符号和无符号期间。算术...如何确定有符号是否会转换为无符号，反之亦然。

2. 。 unsigned char 和 char 之间的算术转换是否不同：显然 unsigned 转换为有符号，unsigned int 和 int ：显然有符号转换为无符号

PS：我知道这不依赖于编译器..所以不要说它是。

Answer 1

规则如下：

6.3.1.8 常用算术转换

...

否则，将对两个操作数执行整数提升。然后
以下规则适用于提升的操作数：

1. 如果两个操作数具有相同的类型，则不需要进一步转换。
2. 否则，如果两个操作数都具有有符号整数类型或都具有无符号整数类型，则具有较小整数转换等级的类型的操作数将转换为具有较大等级的操作数的类型。
3. 否则，如果无符号整数类型的操作数的等级大于或等于另一个操作数类型的等级，则有符号整数类型的操作数将转换为无符号整数类型的操作数的类型。< /里>
4. 否则，如果有符号整型操作数的类型可以表示无符号整型操作数类型的所有值，则将无符号整型操作数转换为有符号整型操作数的类型类型。
5. 否则，两个操作数都会转换为与有符号整数类型操作数的类型相对应的无符号整数类型。

规则如下：

• -1 -1 -1 -1 -1 -1 -1 (unsigned char) 1

首先，两个操作数都转换为 int（因为 int 可以表示 unsigned char 的所有值）。然后对这些有符号类型进行比较。然后使用规则 1。比较成功。

• <代码>-1 < (unsigned int) 1

int 不能表示 unsigned int 的所有值，因此使用规则 3，并将有符号整数转换为无符号整数 (UINT_MAX - 1)。现在比较失败了。

Answer 2

这是由于整数促销。两个参数都可以表示为 int，因此它们都会转换为 int。

ISO C 6.3.1.1，第 2 段：

如果int可以表示原始类型的所有值，则将该值转换为int；
否则，它被转换为无符号整型。这些被称为整数
促销。48) 所有其他类型都不会因整数促销而改变。