使用copy-list-initialization从函数返回，不需要复制/移动构造函数-C ++ 11标准在哪里声明？

如何解决使用copy-list-initialization从函数返回，不需要复制/移动构造函数-C ++ 11标准在哪里声明？

ALTER TABLE nurse ADD FOREIGN KEY (position) REFERENCES position(ID);

struct A { A() {} A(const A&) = delete; }; A foo() { return {}; // Calls A() } struct B { B(const B&) = delete; }; B bar() { return {}; // Aggregate initialization. } 和foo在C ++ 11中都可以很好地编译，因为它们使用了复制列表初始化。无需复制省略。

在C ++标准中哪里提到在这种情况下不需要复制/移动构造函数？

我可以在[stmt.return]中看到带有括号初始化列表的return语句通过从指定副本列表初始化（8.5.4）初始化要从函数返回的对象或引用初始化程序列表。

我找不到提及在这种情况下不需要复制/移动构造函数的部分。

解决方法

这是一个C ++ 11（以及14和17）问题，允许 aggregate-initialization 绕过复制构造函数检查。

• B是一个聚合类（在C ++ 11/14/17中）
  • 您可以在C ++ 17中使用std::is_aggregate类型特征来验证这一点
• 您正在使用list-initialization
  • 这将执行聚合初始化，与常规构造函数的处理方式稍有不同
• 每@NicolBolas' nice answer关于[stmt.return]，return {}就像直接对返回的对象执行复制列表初始化（汇总初始化）（相对于构造然后返回）

如果您写的是return B()，则编译器将拒绝此代码。

由于B不再是聚合类型（C ++ 20表示具有P1008中C ++ 20中绕过了固定（编译器将拒绝您的代码） >任何用户声明的构造函数都不是聚合的。

,

在C ++标准中哪里提到在这种情况下不需要复制/移动构造函数？

不是。无需提及这种事情，因为未指定copy-list-initialization进行任何复制或移动。

return {...}; is defined as follows的行为：

带有括号初始列表的return语句通过复制列表初始化来初始化要从函数返回的对象或引用

因此，此语法调用了copy-list-initialization，其中braced-init-list是初始化程序，函数的返回值对象是要初始化的对象。因此，它在功能上等效于T return_value_object = {...};。

[dcl.init.list]/3 explains是列表初始化的整个过程，但没有任何地方说要初始化的对象是从某些T复制或移动的（其中T是对象类型初始化）。没有创建类型T的临时对象或任何类似类型的对象。括号初始化列表只是初始化对象。

因此，T上不需要复制或移动构造函数，除非括号初始列表的成员本身需要一个副本（如果您提供的对象类型为{ {1}}作为列表的成员。

请注意，这不是省略。 Elision表示将进行复制/移动，但已对其进行了优化。列表初始化没有任何复制或移动来进行优化。