1. 析构函数的概念
有了构造函数用来初始化成员,那么也应该有一个函数用来清理程序运行结束时的空间。就像实现栈时的Init和Destroy一样,所以就有了析构函数。
析构函数也是特殊的成员函数。与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。
2. 特性
- 特性
析构函数是特殊的成员函数,其特征如下:
-
析构函数名是在类名前加上字符 ~。
-
无参数无返回值类型。
-
一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载(没有参数重载也就无从谈起)
-
对象生命周期结束时,C++编译系统系统自动调用析构函数。
观察下列代码:
class Date
{
public:
//这是默认构造函数
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
//这是析构函数
~Date()
{
cout<<"~Date()"<<endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
Date d2(2000,1,1);
return 0;
}
对象本身的销毁是在销毁函数栈帧的时候随之销毁,不是析构函数的事,析构函数只是在这个销毁的时候被调用去做一些资源清理工作。
Date类没有资源需要清理,所以它不实现析构函数都是可以的。但是上述代码实现了它还是会调用,尽管什么事都不做。
上述代码运行打印出~Date()。
3. 用户实现的析构函数
当用户在其他地方开辟了空间以后,就必须要实现析构函数去对其进行处理。
观察下列代码:
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;
}
~Stack()//析构函数
{
if (_array)
{
free(_array);
_array = nullptr;
_capacity = 0;
_size = 0;
}
}
private:
DataType *_array;
size_t _size;
size_t _capacity;
};
int main()
{
Stack s1;
Stack s2(20);
return 0;
这段代码就是说:自己开辟了空间并不能像Date类那样可清理可不清理,析构函数是否自己实现都可以,而是要针对性地对其进行空间的释放,否则造成内存泄露。
4. 默认的析构函数
4.1 对内置类型的处理
观察下列代码:
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;
}
private:
DataType *_array;
size_t _size;
size_t _capacity;
};
int main()
{
Stack s1;
Stack s2(20);
return 0;
把析构函数删除后,系统会默认生成一份析构函数,但是这个函数并不能达到用户自定义实现的析构函数的功能。也就是默认生成的析构函数对内置类型不做处理,对自定义类型会去调用它的析构函数。
- 疑问
那么这个默认析构函数用处何在?
其实这算是一种保险的方式:如果类里的成员变量改成这样:
private:
DataType *_array;
size_t _size;
size_t _capacity;
FILE* fout;//增加文件指针
};
文件的资源并不能轻易地就被释放掉,或者其他一些特殊需求的(不用释放,不需要它释放)内置类型被释放的话,就会造成不好的结果。
4.2 对自定义类型的处理
class Time
{
public:
~Time()
{
cout << "~Time()" << endl;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
// 基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;
// 自定义类型
Time _t;
};
int main()
{
Date d;
return 0;
}
对于内置类型日期之类的成员,由于Date类没有显示定义析构函数,编译器默认生成一份,但是对其不做处理。而对于自定义类型Time _t会去调用它的类里面的析构函数~Time() 。
程序运行结束后输出:~Time()
- 疑问
在main方法中根本没有直接创建Time类的对象,为什么最后会调用Time类的析构函数?
因为main方法中创建了Date对象d,而d中包含4个成员变量,其中_year, _month,_day三个是内置类型成员,销毁时不需要资源清理,最后系统直接将其内存回收即可;而_t是Time类对象,所以在d销毁时,要将其内部包含的Time类的_t对象销毁,所以要调用Time类的析构函数。
但是main函数中不能直接调用Time类的析构函数,实际要释放的是Date类对象,所以编译器会调用Date类的析构函数,即当Date对象销毁时,要保证其内部每个自定义对象都可以正确销毁。main函数中并没有直接调用Time类析构函数,而是显式调用编译器为Date类生成的默认析构函数。文章来源:https://www.toymoban.com/news/detail-586885.html
注意:创建哪个类的对象则调用该类的析构函数,销毁那个类的对象则调用该类的析构函数。文章来源地址https://www.toymoban.com/news/detail-586885.html
到了这里,关于C++入门-----析构函数的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!