整数除以零异常未被捕获

Question

我一直在阅读Teach Yourself C++ In 21 Days , by Jesse Liberty一书，遇到了Exceptions and Errors一章。作者使用了这个例子：

int top = 10;
int bottom = 0;
try
{
    cout << "top divided by bottom = ";
    cout << (top / bottom) << endl;
}
catch(...)
{
    cout << "something has gone wrong!" << endl;
}

这对他来说很好用。异常被捕获，输出为：

top divided by bottom = something has gone wrong!

我自己试了一下，收到如下错误：

Unhandled exception at 0x0124152d in stuff.exe: 0xC0000094: Integer division by zero.

根据this thread，“整数除以零在标准 C++ 中也不例外。”但是 Visual Studio 显然在这里抛出了一个异常，虽然没有捕捉到它。

我尝试将top 和bottom 定义为double，我收到以下输出：

top divided by bottom = 1.#INF

那么为什么try catch 块没有捕获integer division by zero 异常？

Answer 1

Use /EHa to switch the exception-handling model，所以非C++异常可以被try-catch捕获。

请注意，如果您这样做，所有异步异常都将转换为同步异常，而您真的不想捕获大多数。
因此，不推荐用于一般代码。

顺便说一句，盲目地捕捉所有你能做到的东西是一种已知的反模式，只捕捉你真正期望和能够处理的东西。

查看这里__try-__except，它总是可以捕获异步异常：http://msdn.microsoft.com/en-us/library/s58ftw19.aspx

Answer 2

这本书可能忽略了告诉你必须使用 /EHa 进行编译。默认是/EHsc，它不会导致这些SEH异常被catch(...)捕获。

有 catch (...) catch everything 不是很漂亮。你不希望这种情况发生：

int* p = 0;
try {
    int result = *p / 0;
    std::cout << result << std::endl;
}
catch (...) {
    std::cout << "Division by zero" << std::endl;
}

实际上不是零故障除法，当然不好。更好的鼠标陷阱是将 SEH 异常转换为 C++ 异常。您可以通过安装一个在发生 SEH 异常时运行的回调来做到这一点，如下所示：

#include <exception>
#include <eh.h>
#include <iostream>

class divisionbyzero_exception : public std::runtime_error {
public:
    divisionbyzero_exception() : std::runtime_error("Division by zero") {}
};

void translate_seh_exception(unsigned int exceptioncode, struct _EXCEPTION_POINTERS* pExp) {
    if (exceptioncode == 0xc0000094) throw divisionbyzero_exception();
}

int main(int argc, char* argv[])
{
    _set_se_translator(translate_seh_exception);
    try {
        int result = argc / 0;
        std::cout << result << std::endl;
    }
    catch (divisionbyzero_exception& ex) {
        std::cout << ex.what() << std::endl;
    }
    return 0;
}

请记住，这是完全不可移植的。