C++ 可以消除异常对象类型的歧义吗？

Question

带有空异常对象，例如，

class E1
{
};

class E2
{
};

C++（的编译器或生成的可执行文件）能否在 catch 语句中安全地消除此类异常对象之间的歧义？如果是这样，是否意味着应该在内部存储和跟踪每个异常对象的类型代码？

Answer 1

简短的回答是肯定的。 E1 和 E2 是不同的且分开的类。它们包含的内容无关紧要。

Answer 2

是的，C++ 运行时会根据抛出的异常类型选择合适的 catch 块。您可以使用多个 catch 块来处理不同类型的异常

try 
{
    throw E2();
}
catch (E1)
{
    std::cout << "Caught E1";
}
catch (E2)
{
    std::cout << "Caught E2";
}

// Output: "Caught E2"

Can C++ disambiguate the type of an exception object?