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

最新推荐文章于 2025-08-18 22:01:01 发布

转载最新推荐文章于 2025-08-18 22:01:01 发布 · 121 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/xcw0754/p/4966471.html

文章标签：

#c/c++

本文探讨如何通过设置析构函数为私有属性来强制对象在堆上创建，同时阐述了判断对象是否在堆上的挑战及不可移植性问题。详细介绍了通过重载operatornew操作符来禁止对象在堆上分配的方法，并讨论了派生类继承时的限制。此外，文章还提供了关键信息，如析构函数的重要性及其在继承中的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1. 要求对象分配在堆上　　

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

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

2. 判断对象是否在堆上

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

3. 禁止对象分配在堆上

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

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

转载于:https://www.cnblogs.com/xcw0754/p/4966471.html