catch 语句中可以发生复制省略吗？

Question

考虑一个带有带有副作用的复制构造函数的异常类。

编译器可以跳过在这里调用复制构造函数吗：

try {
    throw ugly_exception();
}
catch(ugly_exception) // ignoring the exception, so I'm not naming it
{ }

这个怎么样：（

try {
    something_that_throws_ugly_exception();
}
catch(ugly_exception) // ignoring the exception, so I'm not naming it
{ }

是的，我知道这一切都非常丑陋，这是受到 另一个问题)

Answer 1

我认为这是特别允许的。对于 C++03，15.1/3 说：

抛出表达式初始化一个临时对象，称为
异常对象，

12/15 说：

当尚未绑定到引用的临时类对象时
(12.2) 将被复制到具有相同 cv-unqualified 的类对象
类型，可以通过构造 tempo- 来省略复制操作
rary对象直接进入省略复制的目标

秘密隐藏位置由标准定义为临时的，因此对于复制省略是有效的。

编辑：哎呀，我现在已经进一步阅读了。 15.1/5：

如果临时对象的使用可以消除而不改变
除了构造函数的执行之外的程序的含义
和与临时对象的使用相关的析构函数
(12.2),那么handler中的异常可以直接初始化
与 throw 表达式的参数一起。

并没有变得更清楚。

无论它实际上是否会...如果 catch 子句要重新引发异常（包括它调用可能这样做的不可见代码），那么实现需要“称为异常对象的临时对象”仍然存在。因此，何时可以进行复制省略可能会受到一些限制。显然，空的 catch 子句不能重新引发它。

Answer 2

是的。如果catch通过引用捕获异常，那么就不会存在复制（嗯，这是根据定义）。

但我认为这不是你的问题，而且我相信你编写的代码是故意编写的，没有提及引用。如果是这样的话，那么是的，即使在这种情况下，副本也可以被省略。实际上，catch 中变量的初始化理论上是直接初始化。如果可能的话，编译器可以省略直接初始化中的复制。

C++03 §8.5/14 读取，

[...]在某些情况下，允许实现通过将中间结果直接构造到正在初始化的对象中来消除直接初始化中固有的复制；

Answer 3

是的，在投掷和接球过程中都可以忽略它。对于捕获，只有当 catch 子句中指定的类型与异常对象的类型相同（除了 cv 限定）时，才可以忽略它。有关更正式和详细的描述，请参阅 C++11 12.8/31。

...这种复制/移动操作的省略称为复制省略，在以下情况下是允许的（可以组合起来消除多个副本）：

...

• 在 throw 表达式中，当操作数是非易失性自动对象（函数或 catch 子句参数除外）的名称时，其范围不会超出最内层封闭 try 块的末尾（如果有一个），通过将自动对象直接构造到异常对象中，可以省略从操作数到异常对象（15.1）的复制/移动操作

...

• 当异常处理程序的异常声明（第 15 条）声明与异常对象（15.1）相同类型（cv 限定除外）的对象时，可以通过处理异常来省略复制/移动操作- 声明作为异常对象的别名，如果除了执行由异常声明声明的对象的构造函数和析构函数之外，程序的含义将保持不变。