1.要求对象产生于Heap中
#include<iostream>
using namespace std;
class UpNumber
{
public:
UpNumber()
{
cout<<"Construct."<<endl;
}
void destroy()
{
delete this;
}
private:
~UpNumber()
{
cout<<"~UpNumber()"<<endl;
}
};
int main()
{
//UpNumber n;/* 局部变量,生命期结束会调用destruct函数,因此不允许这种定义 */
UpNumber *p = new UpNumber;
p->destroy();
return 0;
}
当时这样定义后,UpNumber不能作为基类使用,如果要作为基类使用,可以把析构函数定义为protected;
2.判断对象是否产生于Heap上
作者介绍了几种有Bug或者不具有可移植性的解决方式;
①在类中增加静态变量,标记是否调用operator new来分配内存;如果不是使用operator new来构造对象,就在构造函数中抛出异常;
但问题在于这个标记不够可靠;
②根据stack和heap的增长方向来判断内存是否在heap中分配;
有两个问题,一是不具有可移植性;二是区分不了heap和static;
③维护一个集合,heap中分配的加入到这个集合中,delete的时候从这个集合中删除,判断一个对象是否在heap中,就变成看这个对象的地址是否在集合中;
对于全局的operator new和operator delete会有以下三个问题:一,改变原有的operator new和operator delete的语义;二,效率低;三,怎么实现判断一个对象是否是在heap中;第三个问题是由于多重继承和虚继承(解决多重继承时的二义性)导致的;
但是针对某个对象可以实现出operator new和operator delete以及IsOnHeap;
3,禁止对象产生于heap中
直接在类中把operator new 和operator delete声明为私有;