2.析构函数 (第二个)
析构函数的主要任务是清理对象;
运作上看,当对象生命周期结束时,编译器会自动调用它
形态上看,其在类名前加上~,且无返回值
注意点,析构函数不允许重载。
默认析构函数:与默认构造函数类似,编译器对内置类型成员不做处理,对自定义类型会去调用它的析构函数。
一.什么时候需要自己写析构函数?
需要自己写的情况:
有动态申请资源时,需要自己写析构函数释放空间。(防止内存泄漏)
不需要自己写的情况:
没有动态申请资源时,不需要自己写,系统会自动回收空间。
- 需要释放资源的对象都是自定义类型时,不需要自己写。
行为:
在创建对象时,创建一个与已存在对象一模一样的新对象
拷贝构造函数:
只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰)
在用已存在的类类型对象创建新对象时由编译器自动调用(区分于构造函数)
拷贝构造函数是构造函数的一个重载形式
行为: 在创建对象时,创建一个与已存在对象一模一样的新对象 拷贝构造函数: 只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰) 在用已存在的类类型对象创建新对象时由编译器自动调用(区分于构造函数) 拷贝构造函数是构造函数的一个重载形式
- 拷贝构造函数的参数只有一个且必须是类类型对象的引用
当拷贝构造函数为 Date(const Date &d);//引用 Date(const Date d);//错误写法 Date(const Date &d) { this->_year = d.year; this->_month =d.month; this->_day =d.day; } //this 为d2的指针,d为拷贝的类d1
- 原因:【使用传值方式编译器直接报错,因为会引发无穷递归调用】(错误方式)
一.什么时候需要自己写拷贝构造函数?
默认生成的拷贝构造函数为:浅拷贝
需要自己写的情况:
自定义类型必须使用拷贝构造(深拷贝)
不需要自己写的情况:
内置类型直接拷贝(浅拷贝/值拷贝)
例:Date类中都是内置类型,默认生成的拷贝构造函数为浅拷贝可以直接用;
而Stack类为自定义类型,其中有a指针指向一块新开辟的空间。此时需要自己写拷贝构造函数。
二.默认拷贝构造(浅拷贝)的缺陷:
浅拷贝的缺陷:(默认拷贝构造运用 引用 防止死递归的后遗症)
4.运算符重载函数(第四个)
运算符重载:
- 参数类型:const T& (传递引用可以提高传参效率)
- 函数名:关键字operator后面接需要重载的运算符符号
- 函数原型:返回值类型+operator操作符+(参数列表)
运算符重载 底层转化演示:
注意:
不能通过连接其他符号来创建新的操作符:例如operator@
重载操作符必须有一个类类型参数
用于内置类型的运算符,其含义不能改变:例如+
作为类成员函数重载时,其形参看起来比操作数少一个(因为成员函数的第一个参数为隐藏的this)
.* / :: /sizeof/ ?: /./这五个运算符不能重载
一.运算符重载函数和构造函数使用区别:
5.赋值重载函数(第四个的分支)
赋值运算符重载格式:
参数类型:const T& (传递引用可以提高传参效率)
返回值类型:T& (返回引用可以提高返回的效率,有返回值的目的是为了支持连续赋值)
检测是否可以自己给自己赋值
返回 *this:(对this指针解引用,要符合连续赋值的含义)
赋值运算符只能重载成为类的成员函数而不能重载成全局函数(如果重载成全局函数,编译器会生成一个默认运算符重载)
用户没有显示实现时,编译器会生成一个默认赋值运算符重载,以值的方式(浅拷贝)逐字节拷贝。(注意点:内置类型成员变量直接赋值,只有自定义成员变量需要调用对应的赋值运算符重载)
6.取地址与取地址重载(第五个&第六个)
引入: 内置类型取地址时有取地址操作符,而自定义类型呢?于是出现了取地址重载。它用到的场景非常少,可以说取地址重载——补充这个语言的完整性,更加系统。
这两个默认成员函数一般不用重新定义 ,编译器默认会生成
这两个运算符一般不需要重载,使用编译器生成的默认取地址的重载即可,只有特殊情况,才需要重载,比如不想让别人获取到指定的内容! (设为nullptr)
代码演示:
class Date { public : Date* operator&() { return this ; // return nullptr;让普通成员的this指针不被取到 } const Date* operator&()const { return this ; } private : int _year ; // 年 int _month ; // 月 int _day ; // 日 };
五.初始化列表
一.初始化列表和构造函数的关系
引入:构造函数调用之后,对象中已经有了一个初始值,但是不能将其称为对对象中成员变量的初始化, 构造函数体中的语句只能将其称为赋初值,而不能称作初始化。因为初始化只能初始化一次,而构造函数体内可以多次赋值。
二.初始化列表基本结构
初始化列表:以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟一个放在括号中的初始值或表达式。
代码展示:
class Date { public: Date(int year, int month, int day) 初始化列表 : _year(year) , _month(month) , _day(day) {} private: int _year; int _month; int _day; };
三.初始化列表使用场景
每个成员变量在初始化列表中只能出现一次(初始化只能初始化一次)
类中包含以下成员,必须放在初始化列表位置进行初始化:
引用成员变量
const成员变量
自定义类型成员(且该类没有默认构造函数时 )
缺省值与初始化列表的关系: (下列代码中 int x 有演示)
初始化列表没显式定义,缺省值给到初始化列表
初始化列表显式定义,以初始化列表为主
代码展示:
四.尽量使用初始化列表初始化
尽量使用初始化列表初始化,因为不管你是否使用初始化列表,对于自定义类型成员变量,一定会先使用初始化列表初始化。
五.成员变量在初始化列表中的初始化顺序
成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关
图示: