C++ 复制构造函数和默认构造函数

Question

我正在学习 C++ 并发现了一个我不太理解的输出。

#include <iostream>
using namespace std;

class A{
    public:
        A(){ cout << "A+" << endl;}
        A(const A&){ cout << "A(A)" << endl;}
        ~A(){cout << "A-" << endl;}
};

class B{
    public:
        B(){ cout << "B+" << endl;}
        B(const B&){cout << "B(B)" << endl;}
        ~B(){cout << "B-" << endl;}
    private:
        A a;
};

class C : public A{
    public:
        C(const B& b) : b1(b) { cout << "C+" << endl;}
        ~C(){ cout << "C-" << endl;}
    private:
        B b1,b2;
};

void test(A a){
    A m(a);
}

int main(){
    B b;
    C c(b);
    test(c);
    return 0;

}

输出是

A+
B+
A+
A+
B(B)
A+
B+
C+
A(A)
A(A)
A-
A-
C-
B-
A-
B-
A-
A-
B-
A-

我的意思是第一个，B 进入默认状态，看到我们从类型 A 中获得了一个成员，然后转到 A，即A+ ，然后返回到 B 并打印B+ 。 B b; 比C c(b)它转到 C，看到它的公共 A 转到 A 并打印 A+ 然后返回看到我们有一个成员 B b1,b2 转到 B 并且 B 有一个成员 A，然后转到 A 并打印A+然后我不明白为什么是 B(B) ？ 在这个 B(B) 之后我什么都不明白..我尝试调试但它对我没有太大帮助，也许有人可以解释为什么会这样？

Answer 1

如果我正确理解了您的问题，那么您正在尝试理解输出

A+
A+
B(B)
A+
B+
C+

对应于这个声明

C c(b);

C类有基类A

class C : public A{

所以A类的构造函数被调用

A+

然后创建数据成员 b1

C(const B& b) : b1(b) { cout << "C+" << endl;}

类 B 又具有数据成员 A

class B{
    public:
        B(){ cout << "B+" << endl;}
        B(const B&){cout << "B(B)" << endl;}
        ~B(){cout << "B-" << endl;}
    private:
        A a;
};

所以当类 B 的拷贝构造函数被调用时，数据成员a被创建

A+
B(B)

类 C 具有类 B 的另一个数据成员。它是数据成员 b2。 所以这些构造函数被称为

A+
B+

最后，构造函数 C 的主体获得了控制权

C+

析构函数以与创建对象的顺序相反的顺序获得控制权。

所以对象c的析构函数输出如下所示

C-
B-
A-
B-
A-
A-

您可以通过对程序的微小更改使程序输出更加清晰。

例如

#include <iostream>
using namespace std;

class A{
    public:
        A(){ cout << "A+" << endl;}
        A(const A&){ cout << "A(A)" << endl;}
        ~A(){cout << "A-" << endl;}
};

class B{
    public:
        B() : i( n++ ) { cout << "B+" << ' ' << i << endl;}
        B(const B&) : i( n++ ) {cout << "B(B)" << ' ' << i << endl;}
        ~B(){cout << "B-" << ' ' << i << endl;}
    private:
        size_t i;
        static size_t n;
        A a;
};

size_t B::n;

class C : public A{
    public:
        C(const B& b) : b1(b) { cout << "C+" << endl;}
        ~C(){ cout << "C-" << endl;}
    private:
        B b1,b2;
};

void test(A a){
    A m(a);
}

int main(){
    B b;

    std::cout << '\n';

    C c(b);

    std::cout << '\n';

    test(c);

    std::cout << '\n';
}

这个更新程序的程序输出是

A+
B+ 0

A+
A+
B(B) 1
A+
B+ 2
C+

A(A)
A(A)
A-
A-

C-
B- 2
A-
B- 1
A-
A-
B- 0
A-

Answer 2

让我们仔细看看C构造函数（稍微重新格式化）：

C(const B& b)
    :
    b1(b)
{
    cout << "C+" << endl;
}

首先将调用A构造函数，因为它是C的基类。 这将打印A+ 。

然后b1成员将被复制构造，由于B::a成员，它将首先打印A+ ，然后是B复制构造函数体中的B B(B) 。

然后b2成员将被默认构造，它将打印A+ （再次因为B::a成员），然后是B+ 。

然后C构造函数体将运行，它将打印C+ 。

---

C构造函数实际上与此等效（添加了注释）：

C(const B& b)
    : A(),      // Prints A+
      b1(b),    // Prints A+ and B(B)
      b2()      // Prints A+ and B+
{
    cout << "C+" << endl;    // Prints C+
}

希望这将使您更容易了解正在发生的事情。