无符号数带来的一些麻烦

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。