C++11 复制 elison 和异常（catch 参数）

Question

在对代码进行审查后，我们在 try/catch 块中遇到了复制 elison 的问题。 阅读此页面后： cpp reference guide 尤其是这一段：

处理异常时，如果catch子句的参数与抛出的异常对象属于同一类型（忽略顶级cv-qualification），则省略副本，catch子句的主体访问异常对象直接，好像被引用抓住了

我认为 catch 中参数的复制省略会自动执行，但其中一位审阅者运行了一个简单的测试，表明编译器没有执行复制省略：

#include <iostream>

class A
{
public:
   A(){}
   A(const A&){
    std::cout<<"COPY CONSTRUCTOR\n";
   }
};

int main()
{
    try {
       throw A{};
    } catch(A a) {
       throw a;
    }
    return 0;
 }

编译时：

g++ a.cpp -std=c++11 -O3

我得到以下输出

COPY CONSTRUCTOR
COPY CONSTRUCTOR
terminate called after throwing an instance of 'A'
Aborted (core dumped)

我期待一个类似于（抛出异常时只调用一次复制构造函数）的输出：

COPY CONSTRUCTOR
terminate called after throwing an instance of 'A'
Aborted (core dumped)

测试已经在Linux Ubuntu 16.04 g++版本下运行：

 g++ (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609

是测试用例无效还是我对复制省略的理解有误？ 非常感谢您的帮助

Answer 1

处理异常时，如果catch子句的参数与抛出的异常对象属于同一类型（忽略顶级cv-qualification），则省略复制...

关于 cppreference 的措辞过于强烈。这是允许复制省略的情况列表。那应该是：“副本可以被省略”。

编译器似乎没有执行复制省略，即使它被允许这样做。

---

标准（草案）中的相关引述：

[class.copy.elision] / 1

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

[class.copy.elision] / 1.3

当异常处理程序的异常声明（子句 [except]）声明与异常对象具有相同类型（cv-qualification 除外）的对象时，可以通过将异常声明视为省略复制操作异常对象的别名，如果程序的含义将保持不变，除了为异常声明声明的对象执行构造函数和析构函数。 [ 注意：异常对象不能移动，因为它始终是左值。 — 尾注 ]