为什么人们把 virtual 关键字放在 std::exception::what() 前面？

Question

我最近开始使用std::exception 作为我所有异常的基类。如果不将virtual 关键字放在它前面，我就无法正确覆盖what()。如果没有 virtual 关键字，它似乎总是调用基类 std::exception 的 what() 函数。

这让我有点困惑，因为我认为在覆盖函数时永远不需要将 virtual 放在函数前面（here is a post 似乎证实了这一点）。但我决定放手继续前进。

然后今天在阅读 O'Reilly 的“Safe C++”时，我发现作者还用 virtual 关键字覆盖了what()。他写...

virtual const char* what() const throw () { /* stuff */ }

他为什么要覆盖一个函数并使用virtual 关键字？只是我在上面引用的帖子中建议的“文档”吗？

Answer 1

您确实不必须将 virtual 关键字放在覆盖 what() 的前面才能调用子类实现。也许当您发现它正在调用基类实现时，您引用的异常对象已通过异常的不适当传递而被切片？例如，我总是通过引用来捕获（根据 Scott Meyers 的建议），但是如果我通过异常值捕获并将捕获声明为可能被抛出的子类的超类，那么当我捕获它时对象将被切片。换句话说，如果我声明了这个异常子类：

class my_exception : public std::exception
...

我像这样抓到了它的一个实例：

try
{
    ...
    throw my_exception("Some message");
}
catch (std::exception e)
{
    ...
}

e 在 catch 块中将是一个切片对象。您应该捕获这样的异常：

try
{
    ...
    throw my_exception("Some message");
}
catch (std::exception& e)
{
    ...
}