微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

为什么C下溢/溢出行为被认为是未定义的?

我知道整数下溢和溢出是未定义的.

但是,鉴于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

这根本不是真的.

原文地址:https://www.jb51.cc/c/118864.html

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐