如果一个变量被分配了一个函数返回的对象，它是被复制还是就地创建？

问题描述

我的 CPP 文件中有类似的内容来初始化任何类之外的对象。我已经简化了它，但关键是有一些复杂的初始化正在进行，但我想要创建一个实例：

static MyBigObject o = []()
{
  MyBigObject ret;
  ret.Init();
  return ret; 
}();

我的问题是，由于编译器的聪明，这个对象是从 ret 复制到 o 还是就地创建？ “就地创建”可能有一个合适的术语 - 就地？

如果相关（即答案取决于语言版本），我正在使用 C++17。是否有明确的答案，或者这可能是特定于编译器的优化？

解决方法

在这种情况下：这取决于您的编译器。这是 named return value optimization，可以选择省略。即使对象在其复制/移动构造函数（及其析构函数）中具有可观察到的副作用，C++17 也允许但不要求删除副本。