我知道整数下溢和溢出是未定义的.
但是,鉴于C最终编译成汇编,实际上是不是定义了行为？
按位表示保持不变,整数格式保持不变0111..11将始终翻转到1000..00,对于下溢相同,那么为什么不将其视为已定义的行为？
关于汇编汇编,我是从我们在学校教授的基本程序集中得出的,但是代码块给出了
int x = INT_MAX; int y = x+1;
编译成
00401326 movl $0x7fffffff,0x8(%esp) 0040132E mov 0x8(%esp),%eax 00401332 inc %eax 00401333 mov %eax,0xc(%esp)
现在,无论x的值如何,总是会有inc或add指令？那么,未定义的行为出现在哪里？
解决方法
C标准中未定义有符号整数的溢出,正是因为不同的编译器,汇编器和平台可能会对它们进行不同的解释.
当您知道要运行的平台时,您可以推断出程序的行为,但如果没有这些知识,就无法预测它的行为方式.
The bitwise representation stays the same,the integer format remains the same
这根本不是真的.
