问题描述
对于函数参数，可以将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的复制初始化）。