C++ Primer (5th)

_{无符号类型的运算对象 P142}

1.　如果一个运算对象是无符号类型、另一个运算对象是带符号类型，而且其中的无符号类型不小于带符号类型，那么带符号类型的运算对象转换成无符号的。例如，假设两个类型分别为unsigned int 和 int ,则int类型的运算对象转换成unsigned int类型。                   

    unsigned u = 9;
    int i = -2;
    cout << u + i << endl; //7

当我们赋给无符号类型一个超出它表示范围的值时，结果是初始值对无符号类型表示数值总数（范围）取模后的余数。

　　无符号类型数9 >= 有符号类型数-2，有符号类型数变为无符号类型数，则-2变成无符号数4294967294，和9做加法后得到4294967303，超出了32位无符号的最大值4294967295,则得到的值为4294967303 % 4294967296 = 7；

 

2.带符号类型大于无符号类型，此时转换的结果依赖于机器。如果无符号类型的所有值都能存在带符号类型中（带符号类型数据范围比无符号类型数据范围大），则无符号类型的运算对象转成带符号类型。3）如果不能，那么带符号类型的运算对象转换成无符号类型。

　　long long u = -9;
    unsigned i = 3;
    cout << u + i << endl; //-6

　　无符号类型数3 < 有符号类型数-9，且unsigned int类型的数都能在long long里面找到对应的数，因此无符号类型的数转化为有符号类型的数，结果为-9+3=-6；

 

3.

    int u = -9;
    unsigned i = 3;
    cout << u + i << endl; //4294967290        

无符号类型数3 < 有符号类型的数-9，但是unsigned int类型里面有一半的数在int类型里面找不到对应的数，因此有符号类型的数转化为无符号类型的数，-9转化为4294967287，加上3之后，结果就变为4294967290.

  因此，得出结论，书中p142页所讲的无符号类型的大小比较，其实是两个数的绝对值比较。