编译器自动生成的构造函数

s.feng

已于 2023-09-25 14:27:58 修改

阅读量146

点赞数

分类专栏： C++ 基础文章标签： c++

于 2023-09-25 14:01:14 首次发布

本文链接：https://blog.csdn.net/feng__shuai/article/details/133269019

版权

49 篇文章 0 订阅

订阅专栏

作为一个C++小白，最近在看深度解析对象模型的时候，发现一个很久以来的认知错误：编译器会为没有定义构造函数的class生成一个默认构造函数。其实这个观点是错误的，编译器只会在四种情况下生成。

当成员变量中有默认构造函数时，举例说明：

class Test
{
public:
    int a;
    float b;
};
int main()
{
    Test t;
    int c = t.a +1;
    return 0;
}

在这里插入图片描述

这种情况下编译器不会生成默认构造函数，因为int, float不是对象，没有默认构造函数。可以根据汇编代码发现确实没有。

class Test
{
public:
    int a;
    float b;
    string s;
};

在这里插入图片描述
可以看到一旦加入string的话就会出现默认构造函数了。

该类的基类有默认构造函数

类中存在虚函数，那么C++编译器会为你生成默认构造函数，以初始化虚表(虚函数表vftable)。

存在虚基类，那么C++编译器会为你生成默认构造函数，以初始化虚基类表(vbtable)。

inline Construct()
{}

这里是一个知识点，list中的顺序是按声明顺序来的，跟你怎么写代码没啥关系

这里初始化列表会把所有的成员变量的默认构造函数依次加入进来，下面是一个伪代码的例子：

class Test
{
public:
	float d;
	string A;
	Student B;
	Teacher C;
	int e;
}
inline Test() {A(), B(), C(), e} //这里e不会初始化，只是分配内存
{}

inline Test()
{
	A();
	B();
	C();
	e;
}

**可以看到，自动生成的默认构造函数其实并不会给所有成员都初始化**。此外，这里可能会觉得第三步和第二步可以合在一起，其实拆开是为了后面程序员自己添加构造函数时，编译器补充函数信息逻辑更清楚。

对于自定义默认构造函数，编译器有三个原则：

我们根据上面已经知道，编译器会自动生成构造函数，但是如果程序员自己提供了构造函数怎么处理？

class Test
{
public:
	float d;
	string A;
	Student B;
	Teacher C;
	int e;
}
Test()
Test::Test()
{
	B("student");
}

Test()
Test::Test(){d, A(), B(), C(), e}
{
	//B("student"); //编译器会报错：成员变量**对象**(不是基础数据)必须在构造函数初始化列表里初始化
	B = "student";
}

Test()
Test::Test(){}
{
	d;
	A();
	B();
	C();
	e;
	B = "student";// 等效于：tmp("student"), B=tmp;
}

class Test
{
public:
	float d;
	string A;
	Student B;
	Teacher C;
	int e;
}
Test()
Test::Test():B("student")
{
}

Test()
Test::Test(){d, A(), B("student"), C(), e}
{
}

Test()
Test::Test(){}
{
	d;
	A();
	B("student");
	C();
	e;
}

根据这两个小例子可以好好的体会上面的三个原则

关注