c – 投掷静态类型的原理？

根据 the C++ FAQ,当一个抛出一个对象时,它会使用表达式的静态类型抛出.因此,如果你有：

catch ( some_exception const &e ) {
  // ...
  throw e; // throws static type,possibly causing "slicing"; should just "throw;" instead
}

而e实际上是对从some_exception派生的某个类的引用,上面的throw会导致对象被静默“切片”.是的,我知道正确的答案只是抛出;但事情似乎是不必要的混乱和错误来源.

这是什么理由？你为什么不希望它被对象的动态类型抛出？

解决方法

throw的“参数”是一个表达式,它是表达式的类型,用于确定抛出的异常对象的类型.抛出的表达式的类型不一定必须是多态类型,因此可能无法确定表达式是否实际引用更多派生类型的基类子对象.

更简单的“表达式类型”规则还意味着实现不必在运行时动态确定异常对象的大小和类型,这可能需要为异常处理生成更复杂和效率更低的代码.如果必须这样做,它将代表语言中唯一需要在调用点处未知类型的复制构造函数的位置.这可能会显着增加实施成本.