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并且去agean A 并打印 A+ 而我不明白为什么 B(B) ？在此 B(B) 之后我什么都不懂.. 我尝试调试它但它对我没有多大帮助，也许有人可以解释为什么会这样？

Answer 1

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

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

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

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

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

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

---

C 构造函数真的等同于这个（添加了 cmets）：

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

希望这会让我们更容易看到发生了什么。

Answer 2

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

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-