构造函数初始值设定项列表未调用复制构造函数 [重复]

Question

所以我正在学习构造函数初始值设定项列表，我写了以下代码：

class Mango
{
  public:

  Mango(){cout<<"Mango::ctor()";}
  Mango(const Mango& other){cout<<"Mango::copy_ctor()";}
};

class Box
{
    public:

    Box() : mango(Mango()) //**doesn't call copy constructor**
    {
    }

    Mango mango;
};

int main()
{
  Box box; 

   return 0;
}

为此我使用了g编译器。它调用的是构造函数而不是复制构造函数。它应该调用复制构造函数，因为我正在创建一个对象来创建另一个对象？这里的问题是什么，标准对此怎么说？

Answer 1

正如宋元瑶在他出色的回答中已经解释得非常好，编译器可以在很多情况下优化复制构造函数的调用。

不过，我想解决您问题的另一部分，以防万一存在一些误解：

为此我使用了g编译器。它调用的是构造函数而不是复制构造函数。它应该调用复制构造函数，因为我正在创建一个对象来创建另一个对象？这里的问题是什么，标准对此怎么说？

您的复制构造函数需要提供一个（const Mango

Answer 2

由于复制省略，此处省略了复制构造。此行为从 C 17 开始保证。在C 17之前，它不是强制性的;编译器是允许的，但不是执行复制省略^{1 所必需的}。

在以下情况下，编译器需要省略类对象的复制和移动构造，即使复制/移动构造函数和析构函数具有可观察的副作用。它们不需要存在或可访问，因为语言规则确保不会发生复制/移动操作，即使在概念上：

> < li>

在初始化中，如果初始值设定项表达式是prvalue，并且源类型的cv非限定版本与目标的类是同一类，则初始值设定项表达式用于初始化目标对象:

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

这意味着，mango将直接由默认构造函数初始化。

^[1]事实上，大多数实现也会在C 17之前执行复制省略。使用Gcc，您可以尝试在pre-C 17模式下使用-fno-elide-构造函数选项来禁用复制省略。