类的 6 个默认成员函数
初始化和清理:
- 构造函数主要完成初始化工作
- 析构函数主要完成清理工作
拷贝复制:
- 拷贝构造是使用同类对象初始化创建对象
- 复制重载主要是把一个对象赋值给另一个对象
取地址重载:
主要是普通对象和const对象取地址,这两个很少会自己实现
构造函数
构造函数:函数名和类型名相同,无返回值,可以重载,编译器在创建时自动调用
默认构造:
- 编译器默认生成
- 显示定义的无参构造
- 全缺省构造函数(常用)
一旦显示定义构造函数,编译器不会再自动生成了,只有当类没有定义任何构造函数时,编译器才会自动生成一个无参构造
如果类中存在自定义成员,则构造函数会自动调用自定义成员的默认构造,完成自定义成员的初始化
如果自定义成员没有默认构造函数(无参构造或全缺省构造或自动生成的无参构造),则会产生编译错误
析构函数
与构造函数功能相反,对象在销毁时会自动调用析构函数,完成类的一些资源清理工作,free,打开的文件等(不是完成对象的销毁)
清理资源,不是销毁对象,在对象生命周期结束时,编译器自动调用,如果没有资源需要清理,可以不用显式的写析构函数,直接用编译器默认生成的
~函数名()
- 无参数无返回值
- 一个类有且只有一个析构函数,若未定义,系统会自动生成默认的析构函数
- 对象生命周期结束时,C++编译系统自动调用析构函数
- 如果类中存在自定义成员,则类在销毁时会调用它的析构函数,完成自定义类型的类的资源清理工作
拷贝构造函数
构造函数的一种重载形式,也是在创建对象时自动调用
调用场景:用一个已经存在的对象去创建一个新的对象,创建的新对象和当前内容相同
- 拷贝构造是构造函数的一个重载形式
- 拷贝构造函数的参数只有一个且必须使用引用传参(可以加const),_使用传值方式会引发无穷递归调用_
- 若没有显式的定义,系统生成默认的拷贝函数,为浅拷贝,或者值拷贝(只拷贝对象模型的内容,不拷贝资源)
匿名对象具有常性,在引用时需要加const
运算符重载
增强代码可读性。
函数名字:关键字operator后面接需要重载的运算符符号
函数原型:返回值类型 operator操作符(参数列表)
普通运算符重载函数
- 不能创建新的操作符,如operator\@
- 重载操作符必须有一个类类型或者枚举类型的操作符
- 用于内置类型的操作符,其含义不能改变
- 运算符重载函数如果是成员函数,则参数的个数比运算符需要的个数少一个,这里编译器会传入this指针作为第一个参数
- 普通的运算符重载函数,参数的个数和运算符需要的个数一致
1 | bool operator== (const Date& d1, const Date& d2) |
赋值运算符重载函数
用一个对象修改已经存在对象的内容,不是去创建新的对象,修改之后,两个对象的内容一致
- 可以通过检查是否给自己赋值,进行优化
- 如果需要连续赋值,返回值不能是void,一般为引用类型
- 返回值一般是 *this
- 编译器默认生成的赋值运算符为字节拷贝,即浅拷贝,如果资源需要拷贝,需要显示定义,完成深拷贝
\=调用:如果对象都存在,调用赋值运算符重载函数
如果左边对象不存在,调用拷贝构造创建左边对象
_赋值是从右向左进行的_
如果不写,编译器会自动生成,默认生成的也是字节拷贝,浅拷贝
如果当前类中有资源,则必须显示定义运算符重载函数,完成深拷贝
通过一个int参数来区分前后缀运算符,有int为后缀,反之为前缀
1 | void operator=(const Date& d) |
.*(成员指针访问运算符) , :: , sizeof , \? : , . 五个运算符不能被重载
const成员
const 修饰类的成员函数
成员函数 + const
将const修饰的类成员函数称为const修饰类成员函数,实际修饰该成员函数隐含的this指针,表明在该成员函数中,不能对类的任何成员进行修改
非const对象(即可读可写)调用非const成员函数,也可以调用const成员函数,原因:读写权限没有被放大
const对象(只读)调用const成员函数,不能调用非const成员函数,原因:读写权限不能被放大
- 非const对象可以调用非const成员函数,也可以调用const成员函数
- const只能调用const成员函数
- 非const成员函数既可以调用非const成员函数,也可以调用const成员函数
- const成员函数只能调用const成员函数
- 原则:只要不放大读写权限,就可以调用,缩小读写权限是被允许的
- 非成员函数不能用const修饰,因为非成员函数没有this指针
非const成员函数:函数() —> 底层接口 —> 函数(类类型* const this) —>this指向不变
const成员函数:函数()const —> 底层接口 —>函数(const 类类型* const this) —>this指向不变,且指向的内存中的内容也不变
取地址及const取地址操作符重载
一般不用重新定义,编译器默认会生成
类类型 operator\&()
\{
return this;
\}
const 类类型 operator\& () const
\{
return this;
\}
特殊情况下,才需要重载,比如:想让别人获取到指定的内容
总结
1. 构造函数:在已有的空间上初始化对象成员变量
- 如果没有定义,编译器自动生成,如果定义了任何一个构造函数,编译器不再自动生成
- 支持重载
- 默认构造函数:无参构造,全缺省构造,编译器自动生成的,三者之能存在一个
- 创建对象时自动调用
- 如果有自定义成员,构造函数自动调用自定义成员的默认构造,如果自定义成员没有默认构造,编译不通过
2.析构函数:对象销毁之前,清理对象的资源,不是销毁对象
- 如果没有定义,编译器自动生成
- 不支持重载,只能有一个
- 对象生命周期结束时,编译器会自动调用
- 如果有自定义成员,析构函数会自动调用自定义成员的析构函数,完成自定义成员的资源清理
3.拷贝构造函数:用一个对象创建一个内容完全一样的新对象
- 其属于构造函数的一种重载形式,如果没有定义,编译器会自动生成
- 拷贝构造函数的参数必须为引用,不能为值,否则会引发无穷递归
- 编译器自动生成的拷贝构造完成的是字节拷贝,即浅拷贝,只拷贝对象模型中的成员,不拷贝资源
- 如果类中有资源,则需要显示定义拷贝构造,完成深拷贝
4.赋值运算符重载函数:用一个对象修改已存在对象的内容,让其内容一致
- 如果没有定义,编译器自动存生成
- 如果需要连续赋值,一般函数的返回类型为当前类类型的引用
- 可以通过if(this != \&对象)来判断是否给自己赋值
- 返回值一般为 *this
- 编译器自动生成的赋值重载函数完成字节拷贝,即浅拷贝,只拷贝对象模型中的成员,不拷贝资源
- 如果类中有资源,则需要显示定义拷贝构造,完成深拷贝
5.取地址运算符重载函数 / const取地址运算符重载函数:获取对象的地址
- 一般不需要显示定义,直接使用编译器自动生成的即可