C++入门-----析构函数

1. 析构函数的概念

有了构造函数用来初始化成员,那么也应该有一个函数用来清理程序运行结束时的空间。就像实现栈时的Init和Destroy一样,所以就有了析构函数。

析构函数也是特殊的成员函数。与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。

2. 特性

  • 特性

析构函数是特殊的成员函数,其特征如下:

  1. 析构函数名是在类名前加上字符 ~。

  2. 无参数无返回值类型。

  3. 一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载(没有参数重载也就无从谈起)

  4. 对象生命周期结束时,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(200011);
	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类生成的默认析构函数。

注意:创建哪个类的对象则调用该类的析构函数,销毁那个类的对象则调用该类的析构函数。

  • 22
    点赞
  • 34
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

久菜

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值