unsigned int x = 4;
int y = -2;
int z = x > y;
在实现这个操作时，变量Z的值为0，但为什么是0而不是1呢？
【问题讨论】：
> 比较unsigned和int --> (i < 0 || u > i)
标签： c unsigned signed comparison-operators
信不信由你，如果一个 C 表达式由两个参数组成，一个是 int 类型，另一个是 unsigned 类型，那么 int 值是提升在进行比较之前转换为 unsigned 类型。
因此，在您的情况下，y 被提升为 unsigned 类型。因为它是负数，所以它会通过添加UINT_MAX + 1 来转换，它会假定一个值UINT_MAX - 1。
因此x > y 将为 0。
是的，这是很多错误的原因。即使是专业程序员也不时会为此而堕落。一些编译器会警告你：例如，使用 gcc，如果你使用-Wextra 编译，你会得到一个警告。
【讨论】：
(unsigned char)128 > (signed char)-1。简单，不足为奇，有用。问题是，CPU 没有提供这样的比较，编译器不能使用 CPU 不提供的东西。 C 被设计为在当时的 CPU 上运行得很快，因此它并没有做自然、简单、合乎逻辑的事情，而是针对 CPU 实际提供的功能，并专门添加了规则以避免混合符号比较 i>.
<< 和>> 之外的所有双操作数整数运算符的行为指定为将两个操作数转换为通用类型，并产生以下结果该类型或始终为int 类型的结果。 CPU行为与它无关。如果标准规定< 应该比较数字操作数而不考虑类型，而不平衡提升，那么编译器通常不会特别难以合理有效地处理。不需要处理一个操作数为...的两种情况的代码...
int 的典型系统上，生成高效的逻辑正确代码机器为int1 > uint1 生成同样高效的机器代码为(long)int1 > (long)uint1 更容易。
称为整数提升。
int z = x > y;
在此示例中，comparison(>) 运算符 对signed int 和unsigned int 进行操作。根据转换规则，y 被转换为无符号整数。因为-2 不能表示为无符号整数值，所以-2 被转换为-2 + UINT_MAX+1。
C11 6.3.1.3，第 2 段：
否则，如果新类型是无符号的，则值转换为 反复加或减一大于最大值 可以用新类型表示，直到值在 新类型。
所以，程序打印0，因为UINT_MAX 不小于4。
或者
如果要打印 1，则执行显式类型大小写。喜欢：
int z = (int)x >y;
【讨论】：
这是算术转换的结果。
在表达式x > y 中，有一个int 操作数和一个unsigned int 操作数。 y 提升为unsigned int，将y 的值加上unsigned int 的最大值加1 转换的值。
C standard 涉及算术转换的第 6.3.1.8 节规定如下：
许多期望算术类型的操作数的运算符导致 转换和产生结果类型以类似的方式。目的是为了 确定操作数和结果的通用实数类型。为了 指定操作数，每个操作数都被转换，不改变类型 域，对应的实数类型是共同实数的类型 type. 除非另有明确说明，否则常见的实数类型也是 结果的对应实类型，其类型域为 操作数的类型域（如果它们相同且复杂） 否则。这种模式称为通常的算术转换
...
否则，如果无符号整数类型的操作数有秩 大于或等于另一个操作数的类型的等级，则 带符号整数类型的操作数转换为 无符号整数类型的操作数。
所以现在y 是一个非常大的值，与x（4）进行比较。由于x 小于此值，x > y 的计算结果为 false，其值为 0。
【讨论】：