栈与堆是对象的主要分布区,它们对应着两种基本的对象创建方式:以new方式手动管理的堆创建和只需声明就可使用的栈创建。针对不同的需求,我们会选择对应的对象创建方式。比如,为了避免内存泄漏,我们不会再堆中分配对象。
1.要求在堆中建立对象
为了执行这种限制,必须找到一种方法保证用new是建立对象的唯一手段。这一点很容易做到。非堆对象是在定义它时自动构造的,而且是在生存期结束时自动释放的。按照这样的思路,我们只要禁止使用隐式的构造函数和析构函数,就可以实现上述目标。
禁止使用构造函数和析构函数最简单的方法是将其声明为Private。一般一个类有许多的构造函数,如果全部声明为Private,工作量较大,可析构却只有一个。所以推荐析构函数声明为private。
class CStudent
{
public:
CStudent(const std::string& name):m_strName(name){}
...
private:
~CStudent(){};
...
private:
std::string m_strName;
...
}
声明:
CStudent girl("wu song");//编译失败
CStudent *p = new CStudent("song jiang");//编译成功
释放
class CStudent
{
public:
void destroy(){delete this;}
...
};
释放对象使用p->destroy();代替delete;
注意:这种设计方式会影响类的继承。
2.禁止在堆中建立对象
按照上面的思路,要禁止调用new来建立对象,可以通过operator new函数声明为Private来实现。
class CStudent
{
...
private:
static void *operator new(size_t size);
static void operator delete(void* ptr);
...
};
声明:
CStudent boy("boy");//OK
static CStudent girl("girl");//OK
CStudent *p = new CStudent("lucy");//ERROR
如果想禁止堆对象数组,可以把operator new[]和operator delete[]也声明为private。
注意:这在类继承时同样会出现问题:如果operator new 和operator delete没有在派生类中进行改写,且声明为public,派生类就会继承基类中private的版本;但是如果重写了,基类中原有的private版本就不再有效了。