假设我们在对有符号值使用二进制补码云端的32位机器上运行代码。对于有符号值使用的是算术右移，而对于无符号值使用的是逻辑右移。变量的声明和初始化如下：
int x=foo();//arbitrary value
int y=bar();//arbitrary value
unsigned ux = x;
unsigned uy = y;
对于下面表达式，或者证明对于所有的x和y值，它都为真，或者给出使得它为假的x和y值。
A. (x>=0)||((2*x)<0)
正确答案是A为假。
我一直以为有符号的x声明为unsigned ux后一定会>=0的。。
哪里理解错了？求解释 谢谢
x 还是有符号的，ux 才是无符号的。
x和ux没有什么关系啊，只不过是两个变量目前的值可能是相等的。但完全是两个变量，互相不影响。
变量ux是无符号的，变量x还是有符号的
32位机器中int和unsigned都占4字节，二进制表示都是32个0或1.
两个数据类型的差别就在于第一位是用来表示符号还是数值。
假设变量x的二进制存储是最大值1111 1111 1111 1111 1111 1111 1111 1111,
如果是int类型，就表示-1 (因为是补码机制)
如果是unsigned类型，就表示4294967295
我去 我自己没看清楚···