Copy elision

• 在 throw 表达式 中，当操作数是具有自动存储期的非易失对象 obj （非函数参数或处理程序参数）的名称，且该对象所属的 作用域 不包含最内层封闭的 try 块 （如果存在）时，可以通过将 obj 直接构造到异常对象中来省略异常对象的复制初始化。
• 在 处理程序 中，如果程序的语义在处理程序参数的构造函数和析构函数执行之外保持不变，则可以通过将处理程序参数视为异常对象的别名来省略处理程序参数的复制初始化。

• 在 协程 中，可以省略协程参数的副本。在这种情况下，如果程序的语义在参数副本对象的构造函数和析构函数执行之外保持不变，则对该副本的引用将被替换为对相应参数的引用。

若所选构造函数的首个参数是该对象类型的右值引用，则该对象的析构发生在目标对象原本会被销毁的时刻。否则，析构发生在两个对象原本会被销毁的时间中较晚的时刻。

纯右值语义（"保证的拷贝消除"）

自 C++17 起，纯右值在需要时才被具体化，并直接在其最终目标的存储空间中构造。这意味着即使语言语法在视觉上暗示了拷贝/移动（例如 拷贝初始化 ），也不会执行拷贝/移动操作——这意味着该类型完全不需要具有可访问的拷贝/移动构造函数。示例包括：

• 在 返回语句 中初始化返回对象时，当操作数是与函数返回类型相同类类型（忽略 cv限定 ）的 纯右值 时：

T f()
{
    return U(); // constructs a temporary of type U,
                // then initializes the returned T from the temporary
}
T g()
{
    return T(); // constructs the returned T directly; no move
}

返回类型的析构函数在返回语句处必须是可访问且未删除的，即使没有 T 对象被销毁。

• 在对象初始化时，当初始化表达式是与变量类型相同类类型（忽略 cv限定 ）的 纯右值 时：

T x = T(T(f())); // x is initialized by the result of f() directly; no move

这仅适用于被初始化的对象已知不是潜在重叠子对象的情况：

struct C { /* ... */ };
C f();
struct D;
D g();
struct D : C
{
    D() : C(f()) {}    // no elision when initializing a base class subobject
    D(int) : D(g()) {} // no elision because the D object being initialized might
                       // be a base-class subobject of some other class
};

注意：此规则并非指定一种优化，标准也未正式将其描述为"拷贝消除"（因为没有内容被消除）。相反，C++17 核心语言对 纯右值 和 临时对象 的规范与早期 C++ 版本有根本区别：不再存在用于拷贝/移动的临时对象。描述 C++17 机制的另一种方式是"非具体化值传递"或"延迟临时对象具体化"：纯右值在从未具体化临时对象的情况下被返回和使用。

在 return 语句或 throw 表达式中，若编译器无法执行复制消除但满足复制消除的条件，或除源对象为函数形参外本应满足条件时， 编译器将尝试使用移动构造函数，即使源操作数由左值指定 (C++23 前) 源操作数将被视为右值 (C++23 起) ；详见 return 语句 。

在 常量表达式 和 常量初始化 中，从不执行复制消除。

struct A
{
    void* p;
    constexpr A() : p(this) {}
    A(const A&); // Disable trivial copyability
};
constexpr A a;  // OK: a.p points to a
constexpr A f()
{
    A x;
    return x;
}
constexpr A b = f(); // error: b.p would be dangling and point to the x inside f
constexpr A c = A(); // (until C++17) error: c.p would be dangling and point to a temporary
                     // (since C++17) OK: c.p points to c; no temporary is involved