unsigned long 0 <-1？

Question

我不明白这个！

#include <stdio.h> 

int main() 
{ 
    unsigned short t1 = 0, t2 = 0; 

    if(t1 < t2-1) 
     printf(" t1 < t2-1\n"); 

    unsigned long s1 = 0, s2 = 0; 

    if(s1 < s2-1) 
     printf(" s1 < s2-1\n"); 
} 

这导致：

s1 < s2-1 

要么两者都应该失败或两者没有。我试过这与海湾合作委员会4 & 4.2

Answer 1

C语言进行了许多运营商的“通常的算术转换” - 的转换在C99标准的6.3.1.8中概述。对于整数操作数，首先进行促销活动，这是造成您的问题的原因。促销在6.3.1.1（算术操作数/布尔，字符和整数）中概述，其中包括：

如果int可以表示原始类型的所有值，则该值将转换为INT;否则，它被转换为一个unsigned int。这些被称为整数促销。所有其他类型均不受整数升级的影响。

的优惠仅应用于物体或表达与整数类型与秩小于int和unsigned int（或位域）。

所以在你exression：

t1 < t2-1 

即使变量unsigned short他们晋级到int，因为你的平台上int可以代表unsigned short所有的值。因此，使用int类型评估表达式，并且不发生下溢 - 表达式的t2-1部分最终为负1。

在表达式：

s1 < s2-1 

的unsigned long类型不促进，因为它们具有比int/unsigned int较高“秩”，所以表达式是使用无符号算术运算（从底流评价减法），并且s2-1子表达式的计算结果为一个非常大的数量，而不是负1.

作为litb在评论所指出的，如果该平台已int实现为一个16位的类型（这是允许的 - MS-DOS为例如），亲因为int将不能代表unsigned short（unsigned short必须至少为16位）的所有值，所以unsigned short的运动将是unsigned int而不是int。在这种情况下，两个if语句将评估为true。

Answer 2

Iam不知道，但我怀疑t2-1表达式自动扩展为一个int值。 这里我没有c标准确切的转换规则，但我相信小于int的类型会自动加宽。

Answer 3

正如你所发现的，C强制并不总是显而易见的，只要你在不同类型之间进行操作。 t2是u16,1是int（大概是32位），所以t2-1就是这样一种“不同类型之间的操作”，并导致整体强制为int（因为它比u16更“长”）。后来，因为s2和1都是32位（尽管签名不同），所以整体强制为无符号长整型。因此，所涉及类型的大小有助于确定整体强制的签名。我建议避免混合签名（并且理想情况下也是混合大小！）操作（通过铸造或文字的特殊文字符号（如1），否则将会有int类型，并使您的生活变得复杂，并且您的代码可能无法移植; - ）。

Answer 4

-1表示为全1。因此，当解释为无符号时，其值为2^32-1，明显大于0.我猜想第一个比较正在扩展为执行32位有符号算术（可能是因为“1”是一个签署int）。

注意，以下将要抵达的printf，因为比较是再16位无符号空间现在做：

u32 temp = t2 - 1; 
if(t1 < temp) 
    printf(" t1 < t2-1\n");