如何保证只能在堆(heap)上创建对象?

最新推荐文章于 2022-07-09 20:04:46 发布

imJaron

最新推荐文章于 2022-07-09 20:04:46 发布

阅读量371

点赞数

分类专栏： C++

C++ 专栏收录该内容

196 篇文章 5 订阅

订阅专栏

代码:

 
    view plainprint? 
   
class OnlyHeapClass  
{  
public:  
    OnlyHeapClass()  
    {  
    }  
  
    void Destroy()  
    {  
        delete this; // 等效于"OnlyHeapClass::~OnlyHeapClass();", 写  
                     // 成"OnlyHeapClass::~OnlyHeapClass();"更容易理  
                     // 解public成员函数调用private析构函数.  
    }  
  
private:  
    ~OnlyHeapClass()  
    {  
    }  
};  
  
int main()  
{  
    OnlyHeapClass *pInst = new OnlyHeapClass;  
  
    pInst ->Destroy(); // 如果类中没有定义Destroy()函数, 而在这里用"delete pInst;"代  
                       // 替"pInst->Destroy();", 则会报错. 因为"delete pInst;"会去调  
                       // 用类的析构函数, 而在类域外调用类的private成员函数必然会报错.  
  
    return 0;  
}  

总结: 把析构函数定义为private访问权限, 就可以保证只能在堆(heap)上创建(new)一个新的类对象.

    原因是C++是一个静态绑定的语言. 在编译过程中, 所有的非虚函数调用都必须分析完成. 即使是虚函数, 也需检查可访问性. 因些, 当在栈(stack)上生成对象时, 对象会自动析构, 也就说析构函数必须可以访问. 而堆上生成对象, 由于析构时机由程序员控制, 所以不一定需要析构函数. 保证了不能在栈上生成对象后, 需要证明能在堆上生成它. 这里OnlyHeapClass与一般对象唯一的区别在于它的析构函数为私有, delete操作会调用析构函数, 所以不能编译.

    那么如何释放它呢? 答案也很简单, 提供一个成员函数, 完成delete操作. 在成员函数中, 析构函数是可以访问的, 当然detele操作也是可以编译通过.

 
    view plainprint? 
   
void OnlyHeapClass::Destroy()   
{   
    delete this;   
}   

析构函数私有化的类的设计可以保证只能用new命令在堆(heap)中创建对象, 只能动态的去创建对象, 这样可以自由的控制对象的生命周期. 但是, 这样的类需要提供创建和撤销的公共接口.

另外重载delete, new为私有可以达到要求对象创建于栈上的目的, 用placement new也可以创建在栈上.

 
    view plain 
    print 
    ? 
   
/ 下面灰色字体系转载帮助理解之用 /  

四．禁止产生堆对象
上面已经提到, 你决定禁止产生某种类型的堆对象, 这时你可以自己创建一个资源封装类, 该类对象只能在栈中产生, 这样就能在异常的情况下自动释放封装的资源.

那么怎样禁止产生堆对象了? 我们已经知道, 产生堆对象的唯一方法是使用new操作, 如果我们禁止使用new不就行了么. 再进一步, new操作执行时会调用operator new, 而operator new是可以重载的. 方法有了, 就是使new operator为private, 为了对称, 最好将operator delete也重载为private. 现在, 你也许又有疑问了, 难道创建栈对象不需要调用new吗? 是的, 不需要, 因为创建栈对象不需要搜索内存, 而是直接调整堆栈指针, 将对象压栈, 而operator new的主要任务是搜索合适的堆内存, 为堆对象分配空间, 这在上面已经提到过了. 好, 让我们看看下面的示例代码:

  #include <stdlib.h>   // 需要用到C式内存分配函数
  class Resource ;   // 代表需要被封装的资源类
  class NoHashObject
  {
  　private:
  　　Resource *ptr ; // 指向被封装的资源
  　　// ...  //其它数据成员

  　　void*   operator   new(size_t   size) //非严格实现, 仅作示意之用
  　　{
  　　　return malloc(size);
  　　}

  　　void operator delete(void* pp) //非严格实现, 仅作示意之用
  　　{
  　　　free(pp);
  　　}

  　public:
  　　NoHashObject()
  　　{
  　　　// 此处可以获得需要封装的资源, 并让ptr指针指向该资源
  　　　ptr = new Resource();
  　　}

  　　~NoHashObject()
  　　{
  　　　delete ptr;   // 释放封装的资源
  　　}
  };

    NoHashObject现在就是一个禁止堆对象的类了, 如果你写下如下代码:

  NoHashObject* fp = new NoHashObject(); // 编译期错误！
  delete fp;

    上面代码会产生编译期错误. 好了, 现在你已经知道了如何设计一个禁止堆对象的类了, 你也许和我一样有这样的疑问, 难道在类NoHashObject的定义不能改变的情况下, 就一定不能产生该类型的堆对象了吗? 不, 还是有办法的, 我称之为“暴力破解法”. C++是如此地强大, 强大到你可以用它做你想做的任何事情. 这里主要用到的是技巧是指针类型的强制转换.

  int main()
  {
  　char*   temp   =   new   char[sizeof(NoHashObject)]   ;

  　//强制类型转换, 现在ptr是一个指向NoHashObject对象的指针
  　NoHashObject*   obj_ptr   =   (NoHashObject*)temp   ;

  　temp   =   NULL   ;   //防止通过temp指针修改NoHashObject对象

  　//再一次强制类型转换, 让rp指针指向堆中NoHashObject对象的ptr成员
  　Resource*   rp   =   (Resource*)obj_ptr   ;

  　//初始化obj_ptr指向的NoHashObject对象的ptr成员
  　rp   =   new   Resource()   ;