c++ - 为什么当 d == 0 时 'd/= d' 不抛出被零除异常？

Question

我不太明白为什么我没有得到被零除的异常:

int d = 0;
d /= d;

我原本希望得到除以零的异常，但结果却是 d == 1。

为什么当d == 0时d/= d不抛出被零除异常？

Answer 1

C++ 没有要捕获的“除零”异常。您观察到的行为是编译器优化的结果:

1. 编译器假定未定义行为不会发生
2. C++ 中的除零是未定义的行为
3. 因此，可能导致被零除的代码被认为不会这样做。
   • 并且，必须导致被零除的代码被假定永远不会发生
4. 因此，编译器推断，由于未定义行为不会发生，因此此代码中未定义行为的条件 (d == 0) 一定不会发生
5. 因此，d/d 必须始终等于 1。

但是...

我们可以通过对代码进行细微调整来强制编译器触发“真正的”除以零。

volatile int d = 0;
d /= d; //What happens?

所以现在的问题仍然是:现在我们基本上已经强制编译器允许这种情况发生，会发生什么？这是未定义的行为，但我们现在已经阻止编译器围绕这种未定义的行为进行优化。

大多数情况下，这取决于目标环境。这不会触发软件异常，但它可以(取决于 objective-c PU)触发硬件异常(整数除以零)，而软件无法以传统方式捕获该异常可以捕获异常。对于 x86 CPU 和大多数其他(但不是全部!)架构来说绝对是这种情况。

但是，有一些方法可以处理硬件异常(如果发生)，而不仅仅是让程序崩溃:请查看这篇文章以了解一些可能适用的方法:Catching exception: divide by zero 。请注意，它们因编译器而异。