无符号数的减法与溢出疑惑

[taculee]

最近发现了一个有意思的问题。如下：
uint8_t a;
uint8_t b;
a = 1;
b = 2;
if(a-b==-1) a = 3;
那么最后a是为多少呢？

[king191923157]

看能是1吧 if应该是false

[king191923157]

引用 1 楼 king191923157 的回复:

看能是1吧 if应该是false

oh god,为什么输出是3啊，难道是if里面转型了？，我也不知道，呜呜。。。。

[日立奔腾浪潮微软松下联想]

无符号数加减不存在溢出（overflow）的问题，只有进位/借位（carry）。 if(a-b==-1) a = 3;这实际上等于 if(255==BYTE(-1)) a = 3; 某些编译器在编译时求值，直接优化为a=3;

[赵4老师]

理解和讨论之前请先学会如何观察！ 计算机组成原理→DOS命令→汇编语言→C语言（不包括C++）、代码书写规范→数据结构、编译原理、操作系统→计算机网络、数据库原理、正则表达式→其它语言（包括C++）、架构…… 对学习编程者的忠告： 多用小脑和手，少用大脑、眼睛和嘴，会更快地学会编程！ 眼过千遍不如手过一遍！ 书看千行不如手敲一行！ 手敲千行不如单步一行！ 单步源代码千行不如单步Debug版对应汇编一行！ 单步Debug版对应汇编千行不如单步Release版对应汇编一行！ VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。 对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。 （Turbo C或Borland C用Turbo Debugger调试,Linux或Unix下用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。） 电脑内存或文件内容只是一个一维二进制字节数组及其对应的二进制地址； 人脑才将电脑内存或文件内容中的这个一维二进制字节数组及其对应的二进制地址的某些部分看成是整数、有符号数/无符号数、浮点数、复数、英文字母、阿拉伯数字、中文/韩文/法文……字符/字符串、汇编指令、函数、函数参数、堆、栈、数组、指针、数组指针、指针数组、数组的数组、指针的指针、二维数组、字符点阵、字符笔画的坐标、黑白二值图片、灰度图片、彩色图片、录音、视频、指纹信息、身份证信息…… 推荐使用WinHex软件查看硬盘或文件或内存中的原始字节内容。

[sandshaw]

unsigned int 是4字节大小的数据类型 unsigned int b = -1; // b = 4294967295； 既然是无符号数，就得按无符号数理解，实际就是无符号减溢出问题。 a - b = 1 - 2= 4294967295。

[hao955199]

都是补码存储，1在内存的补码里是00000001 ，2是00000010，-2是11111110，那么1-2的补码就是1+（-2）为11111111刚好是-1的补码。