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