我的C++实践(15):判断对象是在堆上还是在栈上

    1、要求对象分配在堆上: 栈上对象在定义时自动构造,在生存期结束时自动析构。因此可把析构函数声明为私有,这样栈上对象离开作用域时就会出错,不能自动析构。同时为了在堆上能够正确的创建和删除对象,提供一个伪析构函数来访问真正的析构函数。客户端使用时需要调用伪析构函数来销毁堆上的对象。
    例如,对于一个表示无限精度数字的类,要让对象只能创建在堆上,如下:

//upnumber1.hpp:表示无限精度数字的类,其对象只能创建在堆上
#ifndef UPNUMBER_HPP
#define UPNUMBER_HPP
class UPNumber{
public:
	UPNumber(){
		//...
	}
	UPNumber(int val){
		//...
	}
	UPNumber(double val){
		//...
	}
	UPNumber(UPNumber const& rhs){
		//...
	}
	void destroy() const{ //伪析构函数
		delete this;
	}
	//...
private:
	~UPNumber(); //析构函数私有
};
#endif

//upnumber1test.cpp:对UPNumber,测试对象是否只能创建在堆上
#include "upnumber1.hpp"
int main(){
	UPNumber *p=new UPNumber;
	p->destroy(); //调用伪析构函数,不用直接用delete p;
	
	UPNumber n; //会报错,析构函数为私有,编译器不能创建栈对象(否则不能销毁)
	return 0;
}

    注意,析构函数声明为私有的类不能被继承,也不能被其他类包含。我们可以放宽一点,把析构函数声明为protected的,这样就可以被继承,包含这个类的其他类可以通过包含这个类对象的指针,而不是对象来达到组合的目的。
    2、判断对象是否在堆上: 堆上的对象肯定通过new调用了operator new,而栈上的对象则没有调用它。因此可以给类增加一个标志变量flag来判断是否调用了operator new,类需要重写operator new来设置这个flag。同时增加一个公有的布尔变量onTheHeap以让客户端判断对象是否在堆上。在所有的构造函数中都需要根据flag是否被设置来初始化onTheHeap的值。
    对上面

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值