为什么会这样
unsigned char k=-1
if(k==-1)
是假的
unsigned int k=-1
if(k==-1)
是真的
【问题讨论】：
unsigned 代表>=0
[Warning] comparison is always false due to limited range of data type
标签： c
为了演示的目的，我们假设 8 位 chars 和 32 位 ints。
unsigned char k=-1;
k 被赋值为 255。
if(k==-1)
== 运算符的左侧是unsigned char。右侧是int。由于unsigned char 的所有可能值都可以放入int，因此左侧将转换为int（这是由于整数提升而执行的，引用如下）。这导致比较 (255 == -1)，这是错误的。
unsigned int k=-1
k 被赋值为 4294967295
if(k==-1)
这一次，左侧（无符号整数）不能放入整数。标准规定，在这种情况下，两个值都转换为无符号整数。所以这导致比较(4294967295 == 4294967295)，这是真的。
标准中的相关引用：
整数提升：(C99, 6.3.1.1p2)
如果一个int可以表示原始类型的所有值，则将该值转换为一个int；否则，将其转换为无符号整数。
通常的算术转换：(6.3.1.8)。
[对于整数操作数，] 整数提升在两个操作数上执行。然后将以下规则应用于提升的操作数：
- 如果两个操作数的类型相同，则无需进一步转换。
...
- 否则，如果具有无符号整数类型的操作数的秩大于或 等于另一个操作数的类型的等级，然后操作数与 有符号整数类型转换为无符号操作数的类型 整数类型。
...
【讨论】：
C11 标准草案 (n1570.pdf) §6.3.1.1p2：
如果一个 int 可以表示原始类型的所有值（受限制 通过宽度，对于一个位域），该值被转换为一个 int； 否则，将其转换为无符号整数。这些被称为 整数促销.58) 所有其他类型都不会被整数改变 促销活动。
在第二种情况下，int 不能代表unsigned int k，因为它超出了范围。两个操作数最终都被转换为 unsigned int 并比较相等。
【讨论】：
由于未签名促销中没有符号扩展，因此结果不同。
unsigned char k 从 unsigned char (value=255) 提升为 int (value=255)。
在unsigned int k 的情况下，-1 从 int (value=-1) 提升为 unsigned int (value=2^32-1)。
【讨论】：
unsigned int 永远不会提升为 int。在这种情况下，int 被转换为 unsigned int。
unsigned char k = -1;
-1 是int 类型的整数文字，相当于signed int。当您将一个大的有符号整数分配给一个较小的无符号类型时，结果将以未定义的方式被截断，C 标准不保证会发生什么。
在 C 标准之外的现实世界中，这是最有可能的（假设 32 位 CPU，二进制补码）：
-1 是 0xFFFFFFFF。 0xFFFFFFFF 的最低有效字节将分配给k。 k == 255。尝试使用printf("%u") 打印它并亲自查看。
在unsigned int k=-1 的情况下，-1 仍然是有符号整数。但是当它存储在k 中时，它会被隐式（无声地）提升为无符号整数。当您稍后比较k == -1 时，右侧的-1 将再次提升为无符号类型，并将与存储在k 中的数据进行比较。
【讨论】：