《Effective C++》《构造/析构/赋值运算——5、了解C++默默编写并调用哪些函数》

zwh1298454060

已于 2024-04-27 20:01:23 修改

阅读量724

点赞数 14

分类专栏： # 《Effective C++》文章标签： c++ 开发语言

于 2024-02-19 10:48:54 首次发布

本文链接：https://blog.csdn.net/zwh1298454060/article/details/136164729

版权

《Effective C++》专栏收录该内容

21 篇文章 0 订阅

订阅专栏

文章目录

1、term5:Know what functions C++ sliently writes and calls
2、总结
3、参考

1、term5:Know what functions C++ sliently writes and calls

编译器是一个“无名英雄”，当你创造一个简单的类的时候，他会将构造函数，解析函数，copy构造函数，copy assignment运算符都默默生成出来。

1.1、编译器可能默默生成哪些函数及特点

(1)编译器可能默认生成的函数

默认构造函数(无参构造函数)
copy构造函数(赋值构造函数)
copy赋值函数(等号运算符符号函数)
析构函数

(2)这些函数的特点

都是public(公共)且是inline(内联)的
只有这些函数被调用的话，编译器才会生成

1.2、什么情况下编译器会默默生成上述每一种函数？

(1)默认构造函数

如果一个类没有写任何构造函数(不管是有参的，还是无参的)，那么编译器将会自动生成默认构造函数。
如果一个类写了构造函数，且都是有参数的，那么该类便不再有无参构造函数。

(2)其它三种情况

如果一个类中没有写上述其它三种函数，那么编译器将会默默生成这样的函数。

1.3、默默生成的函数都干什么事情？

(1)默认构造函数和析构函数的作用
用来给编译器一个地方，用来放置“藏身背后”的代码。
这些代码例如：调用基类和non-static成员变量的构造函数和析构函数。
注意：
编译器默默生成的析构函数是non-virual 。如果编译器为一个派生类默默生成析构函数，那么如果该派生类的基类的析构函数是virual的，那么编译器为该派生类默默生成的析构函数也是virual 的。
(2)拷贝构造函数和拷贝赋值函数的作用
单纯的将来源对象的每一个non-static成员变量拷贝到目标对象。

如果一个成员是内置类型的，则一个bit一个bit的copy。
如果一个成员是类类型的，则调用该类类型的copy构造函数进行初始化。

举个栗子：

class Empty { };
//实际上等价于
class Empty{
public:
	Empty(){...}						  //default 构造函数
	Empty(const Empty& rhs) {...}	      //copy构造函数
	~Empty(){...}						  //析构函数
	Empty& operator=(const Empty&rhs){...}//copy assignment 操作符
}

拷贝运算符在使用中需要注意，如果成员变量中有引用，或者被const修饰，则拷贝运算符不可被调用（运行时出错）
举个栗子：

templete<class T>
class NamedObject{
public:
	...
	NamedObject(std::string& name,const T& value);
	...
private:
	std::string & nameValue; //reference
	const T objectValue;     //const值
}

std::string newDog("yebei");
std::string oldDog("wangjing");
NamedObject<int> p(newDog,2);
NamedObject<int> q(oldDog,25);
p = q;         //error!
//const的数值无法被修改
//引用的指向也无法被修改