相关疑难解决方法(0)

我的任务是表达一些看似奇怪的C代码行为(在x86上运行).我可以很容易地完成其他所有事情,但这个让我很困惑.

代码段1输出 -2147483648

int a = 0x80000000;
int b = a / -1;
printf("%d\n", b);

Run Code Online (Sandbox Code Playgroud)

代码片段2没有输出任何内容,并给出了一个 Floating point exception

int a = 0x80000000;
int b = -1;
int c = a / b;
printf("%d\n", c);

Run Code Online (Sandbox Code Playgroud)

我很清楚Code Snippet 1(1 + ~INT_MIN == INT_MIN)的结果的原因,但是我不太明白整数除以-1如何生成FPE,也不能在我的Android手机(AArch64,GCC 7.2.0)上重现它.代码2只输出与代码1相同,没有任何例外.它是x86处理器的隐藏bug功能吗？

该任务没有告诉任何其他内容(包括CPU架构),但由于整个课程基于桌面Linux发行版,您可以放心地认为它是一个现代的x86.

编辑:我联系了我的朋友,他在Ubuntu 16.04(Intel Kaby Lake,GCC 6.3.0)上测试了代码.结果与所指定的任何内容一致(代码1输出所述内容,代码2与FPE崩溃).

通过这个回答我才知道：

由于计算而导致的有符号溢出在 C++20 中仍然是未定义的行为，而由于转换而导致的有符号溢出在 C++20 中得到了明确定义（这是为 Pre-C++20定义的实现）。

由于转换导致的有符号溢出的变化是因为 C++20 编译器要求使用 2 的补码。

我的问题是：

如果编译器需要使用 C++20 中的 2 的补码，那么为什么由于计算而导致的有符号溢出不像由于转换而导致的有符号溢出那样被明确定义？

也就是说，计算溢出和转换溢出之间为什么（如何）存在差异。从本质上讲，为什么这两种溢出的处理方式不同。