每次调用默认构造函数时都会调用复制构造函数？

Question

当我碰到这个时，我正在处理一些关于构造函数初始化列表的问题。

考虑一下：

class Student {
    public:
        Student() {
            id = 0;
        }
        Student(int i) {
            id = i;
        }
    private:
        int id;
};

现在，看看这个：

当你进入构造函数的主体时，所有的字段都已经构造好了；如果他们有默认构造函数，那些已经被调用了。现在，如果你在构造函数的主体中为它们赋值，你就是在调用复制构造函数。这是低效的，因为最终调用了两个构造函数而不是一个。

来源：What does a colon following a C++ constructor name do?

那么，是不是说当我调用无参数构造函数的时候，拷贝构造函数也被调用了呢？

请解释一下。这真是令人困惑。

特别是第一行的意思：

当你进入构造函数的主体时，所有的字段都已经构造好了

Answer 1

这意味着在到达id = 0 之前，int id 已经被初始化。因为没有指定显式初始化器，所以它已被默认初始化。另外，因为它是一个int，初始化规则告诉用户它会有一些不确定的值。

实际上，对于 int 或任何初始化成本极低的类型，这并不重要。

如果我们不使用 int 成员，而是使用类，我们可以更清楚地看到幕后实际发生的事情：

#include <iostream>

class Verbose {
    public:
        Verbose() {
            std::cout << __PRETTY_FUNCTION__ << "\n";
        }

        Verbose(int) {
            std::cout << __PRETTY_FUNCTION__ << "\n";
        }

        Verbose(Verbose const &) {
            std::cout << __PRETTY_FUNCTION__ << "\n";
        }

        Verbose & operator=(Verbose const &) {
            std::cout << __PRETTY_FUNCTION__ << "\n";
            return *this;
        }

        ~Verbose() {
            std::cout << __PRETTY_FUNCTION__ << "\n";
        }
};

class Object {
    public:
        Verbose v;

        Object() {
            v = Verbose(3);
        }
};

int main() {
    Object o;
}

这段代码将输出：

Verbose::Verbose()
Verbose::Verbose(int)
Verbose &Verbose::operator=(const Verbose &)
Verbose::~Verbose()
Verbose::~Verbose()

请注意，我们：

1. 我们使用默认构造函数来创建v。
2. 我们创建一个临时的Verbose(3)
3. 然后我们使用赋值运算符将临时值分配给成员变量。
4. 然后我们销毁临时文件。
5. 当Object o 超出范围时，我们会销毁成员变量。

请注意，我们基本上构造了两次Verbose v！我们首先使用了默认构造函数，然后我们基本上使用operator= 调用对其进行了重建。如果我们使用initializer list，我们可以将其减少到对Verbose(int) 的一次调用。

Answer 2

他们是这个意思

Student() {
    id = 0;
}

效率低于

Student() : id(0) {}

在这个特定的示例中，id 将在一个步骤中初始化，因为该成员只是一个 int。

相比之下，如果Student 有更复杂的成员，比如Backpack 和Books，后一种方法会有所不同。如果这些类不是 POD，第一种方法需要两步来初始化成员，而第二种方法只需要一步来初始化。