我有以下 catch 子句：
catch(Widget w);
catch(Widget& w);
void passAndThrowWidget() {
Widget localWidget;
throw localWidget;
}
如果我们按值捕获 Widget 对象，编译器将进行复制，因此当我们抛出异常时，localWidget 超出范围，我们看不到任何问题。
如果我们通过引用捕获widget对象，根据引用概念，“w”指向同一个本地Widget而不是副本。但是我已经看到大多数异常都被 C++ 中的引用捕获。我的问题是，当抛出异常并通过引用指向被破坏的对象时，当“localWidget”超出范围时，它是如何工作的。
谢谢！
【问题讨论】：
标签： c++
throw expr; 与return expr; 相似之处在于它使用复制初始化（列表初始化也可以使用C++0x）。但那是（大部分）语法。
在语义方面，就像从返回非引用类型的函数返回值一样，抛出也可以：
T f()
{
// t is local but this is clearly fine
T t;
return t;
// and so is this
throw t;
}
此外，未指定返回或抛出的是 return 或 throw 语句的表达式的结果，还是该表达式的副本（或移动）。
通过引用捕获的通常动机与生命周期无关——被抛出对象的生命周期保证至少与 catch 子句一样长。它是首选，因为它允许以多态方式设计和使用异常。
【讨论】：
C++ 运行时使用独立于堆栈的内存位置来存储异常对象：
2.4.2 分配异常对象
异常需要存储 抛出。此存储必须持久 在展开堆栈时，因为它 将由处理程序使用，并且必须 是线程安全的。异常对象 因此，存储通常是 在堆中分配，虽然 实现可以提供一个 支持投掷的紧急缓冲器
bad_alloc内存不足异常 条件（见Section 3.3.1）。
（来自C++ ABI for Itanium: Exception Handling）
因此，当您“按引用捕获”时获得的引用是对该内存位置的引用，而不是对已释放堆栈帧的引用。这意味着异常对象可以保证有足够长的时间供您的异常处理程序使用，即使通过引用获取也是如此。 （不过，一旦您离开 catch 范围，它们可能会被释放，所以不要持有异常引用。）
【讨论】：
例外是本地范围规则的例外：
try
{
Widget w;
throw w;
}
catch (const Widget& exc)
{
// exc is a valid reference to the Widget
}
即使本地范围已结束，异常也会以特殊方式处理，因此仍然可以访问抛出的内容。
【讨论】：
return w; 也是例外吗？
在这一行中，您正在创建本地对象的副本，
throw localWidget;
所以，它不是指您本地的“localWidget”对象，而是该对象的副本（称为异常对象），它保证在异常被 catch 子句完全处理之前一直存在.
【讨论】：
抛出的实例在抛出时被复制。所以无论如何你总会得到一份副本。
最好通过引用来捕获，因为抛出的对象可能是多态的，并且您不想依赖多态类的副本产生的“错误代码”。 “错误代码”不会特定于在抛出点抛出的派生类。
【讨论】：