《MORE EFFECTIVE C++》条款27 要求或者禁止对象分配在堆上

 

 

1. 要求对象分配在堆上　　

　　临时对象一般是存在于栈中的，或者是静态对象存在于常量存储区的。那么当创建一个这样的对象的时候，一般是需要隐式或显式地调用构造函数，在销毁的时候调用析构函数的。可以从这方面入手，去限制构造或析构一个对象，从而达到禁止的效果。很明显，我们可以将构造/析构函数设为private，但是构造函数就没有必要设为private了，一般还得靠它来做一些初始化工作，而析构函数只能有1个，那么将析构函数设为private是最好不过了。如果还是需要用到析构函数呢？只需要设一个public的伪析构函数来调用真的析构函数就可以了（注意析构的时候别用delete了）。

　　通过设private的析构函数已经可以要求该类必须在堆上创建对象了。但是该类也不能被作为基类继承了，这可能不是我们要的效果。这也不难解决，把析构函数设为protected不就可以解决了。其他的问题并不大，总是可以解决。

 

2. 判断对象是否在堆上

　　这个难以实现，即使实现出了，也是不可移植。

 

3. 禁止对象分配在堆上

　　这个问题好解决，只需要重载operator new操作符，并将其设为private即可。当有人想要用new创建一个对象的时候，就会报错。

　　如果想要令继承此类的派生类也不能在堆上分配对象呢？很幸运，只要派生类中没有声明一个public的operator new 成员函数，那么就会继承到基类的private的，从而也会被禁止。如果不巧，派生类中也声明了一个这样的函数呢？抱歉，可能是无解了！