c语言中存在unsigned int等无符号类型,在这些类型给我们在按位运算等操作带来便利的同时,也带了了一些不必要的麻烦,如下:
1. 强制类型转换后不一定是我们需要的结果
2.会造成x<y与x-y<0结果不一致
示例代码如下:
#include <stdio.h>
void main()
{
int x,y;
unsigned int ux,uy;
x = -1;
ux = x;
printf("Judge ux == x is %d \n",ux == x);
printf("x = %x \n", x);
printf("ux = %x \n", ux);
printf("\nx<y may not be x-y<0!!\n\n");
printf("int x = 4; \nint y = 5;\n");
x = 4;
y = 5;
printf("if we use x < y then we get :");
if(x < y) printf("x < y \n");
else printf("x >= y\n");
printf("if we use x - y < 0 then we get :");
if(x-y<0) printf("x < y \n");
else printf("x >= y\n");
ux = 4;
uy = 5;
printf("unsigned int ux = 4; \nunsigned int uy = 5;\n");
printf("if we use ux < uy then we get :");
if(ux < uy) printf("ux < uy \n");
else printf("ux >= uy\n");
printf("if we use ux - uy < 0 then we get :");
if(ux-uy<0) printf("ux < uy \n");
else printf("ux >= uy\n");
}
运行结果如下:
可以看出:
1.当把int类型的x赋值给unsigned int类型的ux时,在二进制上并没有变化,即ux = 2^32 -1,因而ux == x为真也理所当然
2.对于比较表达式,在汇编中的表示是 cmp x,y , 具体的实现是x-y,两个值进行减法运算,但是不返回值,而是改变标志寄存器的值,通过判断标志寄存器的位标志来获取比较的结果。在X<Y的比较中,我们可以直接根据(x-y)产生的标志寄存器的标志位来判断大小,但是在x-y<0中,是先做的x-y,然后再进行cmp比较,即判断的是(x-y)-0产生的标志位,在做x-y时,由于可能会产生溢出,导致符号位的错误,但是当再次与0比较时会重置标志位,忽略溢出标志位,导致比较结果与事实的不符。即无符号数x-y后依然是无符号的,永远不会小于0。