C++编程进阶2（编译器在类内默认生成的函数讨论以及纯虚析构函数）

三、编译器默认提供的类内函数讨论

1、当写下一个空类时，编译器会在必要的时候默认提供四个函数：构造、拷贝构造、operator=和析构函数，而且都是public的

 

class Empty{ };

上述的Empty相当于下图

2、如果在一个类内仅仅自定义了一个构造函数，那么编译器将不会再提供默认构造函数。但是编译器仍然会提供默认的拷贝构造、operator=和析构函数

3、当类内函数const对象或者引用对象时，编译器不会提供默认的构造函数和operator=

示例

class test
{
	const int a;
};

int main(int argc, char const *argv[])
{
	test a;
	test c;
	c=a;
}

这是因为，编译器默认提供的构造函数不会对const进行初始化，而const变量没法重新赋值，所以默认提供的operator=也没法成功调用（见博客https://blog.csdn.net/Master_Cui/article/details/109461561）

示例2

class test
{
public:
	test():b(10), a(b) {}
	int b;
	int &a;
};

int main(int argc, char const *argv[])
{
	test a;
	test c;
	c=a;
}

赋值之前，对象a和c中的引用都指向各自对象中的变量。赋值之后，a和c中的引用都绑定了同一个变量，导致原先引用更改绑定的对象，违反引用只能绑定一个对象的规则。所以，面对这种情况，编译器报错

编译器无法生成默认的构造函数的情况见博客https://blog.csdn.net/Master_Cui/article/details/106885137

 

四、防止类对象拷贝和赋值的两种方式

见博客https://blog.csdn.net/Master_Cui/article/details/109461561

 

五、将基类的析构函数函数设置为虚函数

见博客https://blog.csdn.net/Master_Cui/article/details/109957302

多态基类的析构函数应该是虚函数。类如果一个类只是普通基类，就不该将析构函数作为虚函数，因为会增加虚指针，代码体积变大。

因为STL中的容器的析构函数并不使虚函数，所以，不要继承STL中的容器

 

六、关于纯虚析构函数

关于纯虚函数见博客https://blog.csdn.net/Master_Cui/article/details/109957302

如果一个基类有纯虚析构函数，需要对纯虚析构函数至少加个空实现

示例

class base
{
public:
	base(){cout<<__func__<<endl;}
	virtual ~base()=0;
	virtual void func()=0;
};

class derive:public base
{
public:
	derive(){cout<<__func__<<endl;}
	~derive(){cout<<__func__<<endl;}
	void func() {cout<<__func__<<endl;}
};

int main(int argc, char const *argv[])
{
	base *bp=new derive();
	delete bp;
}

上述代码会出现链接错误

因为delete基类指针时，子类对象完成析构操作后，也要调用基类部分的析构函数，所以要在类外，实现一个至少为空的纯虚析构函数

base::~base() {cout<<__func__<<endl;}

 

七、不要再析构函数和构造函数中调用虚函数

见博客https://blog.csdn.net/Master_Cui/article/details/109957302

 

 

参考

《Effective C++》

 

欢迎大家评论交流，作者水平有限，如有错误，欢迎指出