将 operator new 设为私有或 delete 是为了在编译期阻止堆分配,需同时禁用所有重载版本及配套 delete,配合 final 防继承,并注意 placement new 和友元函数的绕过风险。

为什么要把 operator new 设为私有
核心思路是:让编译器在尝试用 new 创建对象时直接报错,而不是等到运行时报错。C++ 规定,如果类的 operator new 不可访问(比如私有),而用户又写了 new MyClass(),编译器就会拒绝——这是最干净、最早期的拦截方式。
注意:只禁掉全局 operator new 不够,必须同时禁掉类内重载的静态 operator new,否则用户可能在类里自己定义一个公有的,绕过限制。
实操建议:
- 把类内所有版本的
operator new(包括operator new(size_t)、operator new(size_t, const std::nothrow_t&))都声明为private且不定义(或定义为= delete) - 别忘了
operator delete也要配套设为私有,否则链接阶段可能出问题(尤其在异常路径中触发析构时) - 构造函数保持
public,否则连栈上创建都会失败
怎么防止被继承后绕过限制
如果允许子类继承,子类可能在内部重写公有的 operator new,从而间接在堆上创建基类子对象。所以必须堵死继承路径。
实操建议:
- C++11 起,直接加
final关键字:class StackOnly final { ... }; - 更早标准下,可采用“友元+私有虚基类”技巧:定义一个仅本类可构造的私有虚基类,在构造函数初始化列表中强制调用它;子类因无法访问该基类构造函数而无法继承
- 不推荐仅靠文档说明“请勿继承”,这在工程中不可靠
有没有更轻量、更现代的替代方案
如果只是想表达“这个类设计上就不该堆分配”,不一定非得靠编译期拦截。有些场景下,用约定 + 静态断言更清晰。
比如配合 RAII 容器使用:
class StackOnly {
public:
StackOnly() = default;
// 禁用所有 new
void* operator new(size_t) = delete;
void* operator new[](size_t) = delete;
void operator delete(void*) = delete;
void operator delete[](void*) = delete;
};
这种写法比手动声明私有未定义函数更简洁,语义也更明确。= delete 是 C++11 引入的标准方式,编译器报错信息更友好(直接说“已删除的函数”而非“不可访问”)。
注意点:
-
operator new[]和operator delete[]必须一起禁用,否则数组形式的new仍可能成功 - 某些嵌入式或裸机环境可能禁用了异常和
new,此时= delete依然有效,但需确认编译器支持程度
容易被忽略的坑:placement new 和 friend 函数
即使禁了常规 operator new,用户仍可能用 placement new 绕过:
char buffer[sizeof(StackOnly)]; StackOnly* p = new(buffer) StackOnly(); // 合法!不调用 operator new
这不是 bug,而是 C++ 标准行为——placement new 只负责调用构造函数,不分配内存。如果你真要彻底禁止任何形式的堆上存在,就得靠运行时检测(比如在构造函数里检查 this 是否在栈地址范围内),但这不可靠、不跨平台、还影响性能。
另一个盲区是 friend 函数:如果类声明了 friend void helper();,而 helper 内部调用了 new StackOnly,那它仍然能访问私有 operator new——除非你根本没定义它(只声明),或者也把它 = delete。
所以真正可靠的约束,只适用于“希望开发者遵守约定”的场景;硬性隔离堆/栈,在 C++ 里没有 100% 编译期方案。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











