c++ - 捕获异常 : divide by zero

Question

当我尝试除以 0 时，以下代码没有捕获异常。我需要抛出异常，还是计算机会在运行时自动抛出异常？

int i = 0;

cin >> i;  // what if someone enters zero?

try {
    i = 5/i;
}
catch (std::logic_error e) {

    cerr << e.what();
}

Answer 1

需要自己检查，抛出异常。整数除以零在标准 C++ 中也不异常(exception)。

float 除以零但至少有特定的处理方法。

ISO 标准中列出的异常(exception)情况是:

namespace std {
    class logic_error;
        class domain_error;
        class invalid_argument;
        class length_error;
        class out_of_range;
    class runtime_error;
        class range_error;
        class overflow_error;
        class underflow_error;
}

并且您可以非常有说服力地争论 overflow_error(IEEE754 float 生成的无穷大可以被认为是溢出)或 domain_error(它是 输入值有问题)非常适合指示除以零。

但是，5.6 部分(属于 C++11，尽管我认为这与之前的迭代相比没有变化)明确指出:

If the second operand of / or % is zero, the behavior is undefined.

因此，它可以抛出那些(或任何其他)异常。它还可以格式化你的硬盘并 mock :-)

---

如果你想实现这样的野兽，你可以在下面的程序中使用类似 intDivEx 的东西(使用溢出变体):

#include <iostream>
#include <stdexcept>

// Integer division/remainder, catching divide by zero.

inline int intDivEx (int numerator, int denominator) {
    if (denominator == 0)
        throw std::overflow_error("Divide by zero exception");
    return numerator / denominator;
}

inline int intModEx (int numerator, int denominator) {
    if (denominator == 0)
        throw std::overflow_error("Divide by zero exception");
    return numerator % denominator;
}

int main (void) {
    int i = 42;

    try { i = intDivEx (10, 0); }
    catch (std::overflow_error &e) {
        std::cout << e.what() << " -> ";
    }
    std::cout << i << std::endl;

    try { i = intDivEx (10, 2); }
    catch (std::overflow_error &e) {
        std::cout << e.what() << " -> ";
    }
    std::cout << i << std::endl;

    return 0;
}

这个输出:

Divide by zero exception -> 42
5

您可以看到它抛出并捕获除以零情况下的异常(保持返回变量不变)。

---

% 等价物几乎完全相同: