如果表达式里既有有符号又有无符号类型,当有符号类型取值为负时会出现异常结果,这是因为有符号数会自动地转换成无符号数
unsigned u = 10; //unsigned单独使用代表:unsigned int
int i = -42, j = -1;
std::cout << i + j << std::endl; // ① 输出-43
std::cout << u + j << std::endl; // ② 输出9
std::cout << u + i << std::endl; // ③ 输出4294967264
std::cout << u * i << std::endl; // ④ 输出4294966876
尽管我们不会故意给无符号对象赋一个负数,却可能(特别容易)写出这么做的代码。
表达式①,两个有符号负整数相加并得到了期望的结果
表达式②,有符号数+无符号数结果为正数时,这也是得到了期望的结果
表达式③,当结果为负数时,有符号数会自动转换成无符号数,结果=负数+无符号数的模
无符号数的模指的是无符号数的计量范围,例如在32位的编译器上,unsigned int 的最大值为4294967295,再加上0,一共4294967296个整数,即32位无符号数的模4294967296,这个数加上计算的的负数即为输出结果。(-32 + 4294967296 = 4294967264)
表达式④,(-420 + 4294967296 = 4294966876)
无符号数不会小于0这一事实同样关系到循环的写法。
例如:控制变量递减的方式把从10 到 0 的数字降序输出:
for (int i = 10; i >= 0; --i)
std::cout << i << std::endl;
可能会觉得反正也不打算输出负数,可以用无符号数来重新这个循环。然而,这个不经意的改变却意味着死循环:
//错误:变量u永远也不会小于0,循环条件一直成立
for (unsigned u = 10; u >= 0; --u)
std::cout << u << std::endl;
因为当u等于0时,--u的结果将会是4294967295,循环条件一直成立