无符号整型与有符号整型的比较

喵哥最近遇到一个问题，比较两个数的时候经常会出现很严重的bug，比如：

unsigned int a = 0;
int b = -2;
if (a < b)
	b = 1;
cout << b << endl;

乍一看这段代码输出的应该是-2，0肯定不会小于-2嘛，但是事实上，“b = 1;”这行代码是会被执行的。如果大家对算术转换比较熟悉的话，应该会想到这应该是发生了“整型提升”——int提升为unsigned int。其实大家感到困惑的一个重要原因是：书本给的例子大多数都是加减乘除时整型提升，让人很惯性地认为只有进行算术运算的时候才会发生转换。事实上，这些类型的转变发生在所有双目运算符执行的时候（双目运算符的两个运算对象类型不一样）。那么自然而然地，在“<”等这类运算符执行时会对运算对象进行类型转换。

为了直观地表示这种转换，喵哥把代码的汇编贴出来：

在汇编中，b的值临时放在eax中，在执行到（a<b）的时候，b的值（即eax）变为了4294967294（unsigned int），这个数显然是大于0的，故而条件为真，执行b = 1;。

如果把a的值改为4294967295，即unsigned int的最大值，则条件会为false。

再如：

string str = "hello";
int pos = str.find('a');
string::size_type n = string::npos;
if (pos == n)
	cout << "no";

string::npos的值是unsigned long long的最大值18446744073709551615，即long long的-1，在比较pos与n时，pos的类型会自动提升为unsigned long long。

通常，认为string::npos等于-1就好了。