默认构造函数的构造操作

最新推荐文章于 2022-03-16 15:39:01 发布

Nestler

最新推荐文章于 2022-03-16 15:39:01 发布

阅读量1.2k

点赞数

分类专栏： C++ C++ Object Model C++对象模型分析

本文链接：https://blog.csdn.net/nestler/article/details/26143515

版权

C++ 同时被 3 个专栏收录

38 篇文章 0 订阅

订阅专栏

C++ Object Model

7 篇文章 0 订阅

订阅专栏

C++对象模型分析

7 篇文章 0 订阅

订阅专栏

以下四种情况，编译器将会合成（即由编译器负责）一个nontrivial默认构造函数。

1、成员对象带有默认构造函数

如果一个class没有任何构造函数，但它内含一个对象成员，这个对象成员有默认构造函数，那么将为这个class合成一个默认构造函数。

例如：

#include <iostream>
 
using namespace std;
 
class Foo {
public:
    Foo() { cout << "Foo" << endl; }    // Foo类含有默认构造函数
};
 
class Bar {
public:
    Foo foo;
    int x;
};
 
int main()
{
    Bar bar;
    cout << bar.x;
    return 0;
}

运行结果：

带有默认构造函数的成员foo被初始化，内置类型x仍为垃圾值，对它的初始化需要由程序员来完成。注意，当x被显示初始化而foo未被显示初始化，编译器照样添加调用foo默认构造函数的代码对foo进行隐式初始化。编译器按照对象成员声明的顺序安插调用它们默认构造函数的代码，这些代码被安插在用户显示代码之前：

#include <iostream>
 
using namespace std;
 
class A {
public:
    A() { cout << "This is A" << endl; }
};
 
class B {
public:
    B() { cout << "This is B" << endl; }
};
 
class C {
public:
    C() { cout << "This is C" << endl; }
private:
    A a;
    B b;
};
 
int main(void)
{
    C c;
    return 0;
}

运行结果：

2、基类带有默认构造函数

如果一个类没有任何构造函数，但它的基类存在默认构造函数，那么编译器会合成nontrivial默认构造函数，调用基类的默认构造函数。

#include <iostream>
 
using namespace std;
 
class Base {
public:
    Base() { cout << "Base" << endl; }
};
 
class Foo {
public:
    Foo() { cout << "Foo" << endl; }    // Foo类含有默认构造函数
};
 
class Bar: public Base {
public:
    Foo foo;
    int x;
};
 
int main()
{
    Bar bar;
    cout << bar.x;
    return 0;
}

运行结果：

Bar存在一个Base基类和一个Foo成员，编译器合成一个默认构造函数，先调用基类的默认构造函数，再调用成员对象的默认构造函数，内置类型依旧没有初始化。和情况1相同，如果存在用户定义的构造函数（无论是不是默认构造函数），编译器都会安插调用基类默认构造函数的代码：

#include <iostream>
 
using namespace std;
 
class A {
public:
    A() { cout << "This is A" << endl; }
};
 
class B {
public:
    B() { cout << "This is B" << endl; }
};
 
class C : public A, public B {
public:
    C() { cout << "This is C" << endl; }
};
 
int main(void)
{
    C c;
    return 0;
}

运行结果：

3、类中存在虚函数

当类中定义了虚函数，编译器会进行以下扩充：

建立一个virtual function table（vtbl），放虚函数的地址
在对象中插入一个vptr指向上面的vtbl

这在另一篇文章“C++对象模型”中已经有所说明。这里需要注意的是，编译器会在类中的每一个显式构造函数中添加代码执行上述操作，如果没有定义构造函数，则编译器合成默认构造函数执行上述操作。

4、继承自虚基类的类

虚基类中的数据成员能够通过继承层次中的派生对象存取，但虚基类又只存在一个实例，所以各个派生类中必须要有能够记录虚基类地址的信息，这也是由编译器在构造函数中添加代码来完成的。特别的，当用户未定义任何构造函数，编译器会合成一个默认构造函数添加上述信息。

测试例程：

#include <iostream>
 
using namespace std;
 
class A {
public:
    int x;
};
 
class B: virtual public A {};
 
class C: virtual public A {};
 
class D: virtual public B, virtual public C {};
 
int main()
{
    D d;
    B b;
    C c;
 
    cout << &(b.x) << endl;
    cout << &(c.x) << endl;
    cout << &(d.x) << endl;
    cout << &(d.B::x) << endl;
    cout << &(d.C::x) << endl;
 
    return 0;
}

运行结果：