目录
1. 析构函数
1.1 概念
通过前面构造函数的学习,我们知道一个对象是怎么来的,那一个对象又是怎么没呢的?
析构函数:与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由
编译器完成的。而
对象在销毁时会自动调用析构函数,完成对象中资源的清理工作
。
1.2 特性
析构函数
是特殊的成员函数,其
特征
如下:
1.
析构函数名是在类名前加上字符
~
。
2. 无参数无返回值类型。
3. 一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载。
4. 对象生命周期结束时,
C++
编译系统系统自动调用析构函数。
5.
关于编译器自动生成的析构函数,是否会完成一些事情呢?下面的程序我们会看到,编译器
生成的默认析构函数,对自定类型成员调用它的析构函数。
6.
如果类中没有申请资源时,析构函数可以不写,直接使用编译器生成的默认析构函数,比如
Date
类;有资源申请时,一定要写,否则会造成资源泄漏,比如
Stack
类。
2. 拷贝构造函数
2.1 概念
拷贝构造函数
:
只有单个形参
,该形参是对本
类类型对象的引用
(
一般常用
const
修饰
)
,在用
已存
在的类类型对象创建新对象时由编译器自动调用
。
2.2 特征
拷贝构造函数也是特殊的成员函数,其
特征
如下:
1.
拷贝构造函数
是构造函数的一个重载形式
。
2.
拷贝构造函数的
参数只有一个
且
必须是类类型对象的引用
,使用
传值方式编译器直接报错
,
因为会引发无穷递归调用。
3.
若未显式定义,编译器会生成默认的拷贝构造函数。
默认的拷贝构造函数对象按内存存储按
字节序完成拷贝,这种拷贝叫做浅拷贝,或者值拷贝。
注意:在编译器生成的默认拷贝构造函数中,内置类型是按照字节方式直接拷贝的,而自定义类型是调用其拷贝构造函数完成拷贝的。
4.编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了,还需要自己显式实现吗?当然像日期类这样的类是没必要的。那么下面的类呢?验证一下试试?
// 这里会发现下面的程序会崩溃掉?这里就需要我们以后讲的深拷贝去解决。
typedef int DataType;
class Stack
{
public:
Stack(size_t capacity = 10)
{
_array = (DataType*)malloc(capacity * sizeof(DataType));
if (nullptr == _array)
{
perror("malloc申请空间失败");
return;
}
_size = 0;
_capacity = capacity;
}
void Push(const DataType& data)
{
// CheckCapacity();
_array[_size] = data;
_size++;
}
~Stack()
{
if (_array)
{
free(_array);
_array = nullptr;
_capacity = 0;
_size = 0;
}
}
private:
DataType *_array;
size_t _size;
size_t _capacity;
};
int main()
{
Stack s1;
s1.Push(1);
s1.Push(2);
s1.Push(3);
s1.Push(4);
Stack s2(s1);
return 0;
}
注意:类中如果没有涉及资源申请时,拷贝构造函数是否写都可以;一旦涉及到资源申请
时,则拷贝构造函数是一定要写的,否则就是浅拷贝。
5.
拷贝构造函数典型调用场景:
使用已存在对象创建新对象函数参数类型为类类型对象函数返回值类型为类类型对象
为了提高程序效率,一般对象传参时,尽量使用引用类型,返回时根据实际场景,能用引用
尽量使用引用。