有符号数无符号数比较（学习笔记）

最近在CSAPP看到一个有趣的小例子 -1== 4294967295？

先上代码

#include<iostream>
#include<bitset>
#include<stdlib.h>
#include<bits/stdc++.h>
using namespace std;
int main()
{
	int x=-8;
	int y=7;
	unsigned ux=x;
	unsigned uy=y;
	std::cout<<x+y<<std::endl;
	std::cout<<ux+uy<<std::endl;
}

结果是
-1
4294967295

然后此时我们比较

bool judge=((x+y)==(ux+uy)?true:false);
std::cout<<judge<<std::endl;

-1==4294967295? 这肯定不相等啊

结果是

True

查看一下两个数的二进制

std::cout<<"二进制 "<<bitset<32>(x+y)<<std::endl;
std::cout<<"二进制 "<<bitset<32>(ux+uy)<<std::endl;

结果是
11111111111111111111111111111111
11111111111111111111111111111111

二进制表示完全相等，难道 == 符号比较两个数是否相等是比较他们的二进制表示是否完全相等？

不止是 == 符号 如果一个运算数是有符号的而另一个又是无符号的，C语言会隐式地将有符号参数强制类型转换为无符号数

＞符号

#include<iostream>
#include<bitset>
#include<stdlib.h>
#include<bits/stdc++.h>
using namespace std;
int main()
{
	int x=-1;
	unsigned u=2;
	bool judge=((x>u)?true:false);
	std::cout<<judge; 
 } 

结果为True,x处理为无符号数远大于2

结：补码和无符号加法有相同的位级行为，而且是可交换的