c++ - 为什么异常捕获是基于顺序的而不是基于最接近的继承？

Question

在 More Effective C++ 的第 12 条中，Meyers 解释说，虽然虚拟调用是根据动态类型解析的，但使用最适合算法，异常捕获是基于 catch 子句的顺序。

class A {};
class B : public A {};

void main()
{
try {throw B();}
catch(A &a) {}
catch{B &b} {} // never entered
}

20 年后，这是现在的标准行为吗？这种与虚函数的区别背后的逻辑是什么？

Answer 1

是的，这是标准行为。它也是许多流行编程语言(如 Java 或 C#)的标准。

这使捕获异常的代码能够完全控制异常处理。

考虑具有多重继承的异常层次结构。