为什么在特殊成员函数中将r值绑定到const l值引用是非法的？

如何解决为什么在特殊成员函数中将r值绑定到const l值引用是非法的？

对于函数参数，可以将r值绑定到l值const引用。 但是，这似乎不适用于特殊成员函数，例如C ++ 11和C ++ 14中的copy-constructor和copy-assignment运算符。有动机吗？

使用C ++ 17时，可以从r值复制构造，但不能复制分配。 为什么只有复制构造函数的行为在这里改变了？

所有这些都在以下示例中得到演示：

struct B {
 B() = default;
 B(B const&) = default;
 B(B&&) = delete;
 B& operator=(B const&) = default;
 B& operator=(B&&) = delete;
};

void bar(B const &) {}

int main() {
    bar(B{}); // does work
    B(B{}); // only works in C++17

    B b{};
    b = B{}; // doesn't work
}

解决方法

B(B{});自C ++ 17起因mandatory copy elision而起作用，移动构造被完全省略；临时对象由默认构造函数直接初始化。

（重点是我的）

在以下情况下，即使复制/移动构造函数和析构函数具有明显的副作用，要求编译器省略类对象的复制和移动构造。这些对象直接构造到存储中，否则会将它们复制/移动到其中。 复制/移动构造函数不需要存在或不可访问：

• ...

• 在对象的初始化中，当初始化表达式为与prvalue相同的类类型（忽略cv-qualification）时， 变量类型：

    T x = T(T(f())); // only one call to default constructor of T,to initialize x
  

注意：上面的规则未指定优化：prvalues和temporaries的C ++ 17核心语言规范与早期的C ++修订版根本不同：不再存在临时性复制/移动。描述C ++ 17机制的另一种方式是“未实现的值传递”：prvalue的返回和使用无需实现任何临时值。

在C ++ 17之前，这是一种优化，B(B{});的格式不正确。

这是一种优化：即使发生并且未调用copy /move (since C++11)构造函数，它仍然必须存在并且可以访问（好像根本没有优化发生），否则程序格式错误。

bar(B{});之所以有效，是因为bar仅有一个覆盖层，该覆盖层将const的左值引用绑定到右值；自C ++ 11起，这不会改变。

b = B{};不起作用，因为选择了重载的移动分配运算符；即使它被明确标记为delete，它仍然参与重载解析 ^[1] 。对于bar，如果您添加一个重载，将rvalue-reference作为

void bar(B&&)=delete;

它将被选中并导致程序格式错误。

---

^[1] 请注意，deleted implicitly declared move constructors并非如此，过载解析会忽略它们。 （自C ++ 14起）

overload resolution将忽略删除的隐式声明的move构造函数（否则它将阻止rvalue的复制初始化）。