为什么匿名临时例外可以绑定到捕获站点的参考？

Question

考虑

#include <iostream>

struct Foo{};

int main(){
    try {
        throw Foo();
    } catch (Foo& e){
        std::cout << "Caught";
    }
}

输出 ，但是为什么呢？我以为catch应该是const foo＆amp;。我忘记了什么？

Answer 1

我本来以为捕获物应该是const foo＆amp;。

它不需要。

我怀疑您期望的是，将LVALUE引用到非const的情况下会存在问题。

[异常]

从异常对象（类型e）初始化的CV T或CV T＆amp;的变量，如下：

：

。

• 如果T是E ...

的基类

• 否则，该变量是从 lvalue e Excect对象的 lvalue copy-initialized（[dcl.init]）。

当处理程序退出时，变量的寿命是在处理程序中初始化自动存储持续时间的任何对象后的终止。

请注意突出显示的“ LVALUE”。将非符合级别的引用绑定到LVALUE是没有问题的。

---

Sidenotes：

如果

• 处理程序是CV T型或CV T＆amp; E和T是相同的类型（忽略顶级CV-Qualifier）或

忽略了顶级CV预选赛，并且不需要在抛出的对象和处理程序类型之间匹配。

...当处理程序声明对对象的引用时，引用对象的任何更改都是对异常对象的更改，如果重新启用该对象。

捕获参考可以修改异常对象。

Answer 2

这是因为在lvalue中考虑了抛出的对象。 [except.handle]/14 state：

按异常删除声明的变量cv t或cv t＆amp;是从异常对象初始化的，类型e ，如下：

• 如果t是e的基类，则该变量是从类型的lvalue中复制initialized（[dcl.init]） t指定异常对象的相应基类子对象;

• 否则，该变量是从类型e指定异常对象的lvalue的复制initialized（[dcl.init]）。

当处理程序退出时，变量的寿命是在处理程序中初始化自动存储持续时间的任何对象后的终止。