第一章见 Effective C++ 学习笔记 第一章:让自己习惯 C++
第二章见 Effective C++ 学习笔记 第二章:构造、析构、赋值运算
第三章见 Effective C++ 学习笔记 第三章:资源管理
第四章见 Effective C++ 学习笔记 第四章:设计与声明
第五章见 Effective C++ 学习笔记 第五章:实现
第六章见 Effective C++ 学习笔记 第六章:继承与面向对象设计
第七章见 Effective C++ 学习笔记 第七章:模板与泛型编程
第八章见 Effective C++ 学习笔记 第八章:定制 new 和 delete
第九章见 Effective C++ 学习笔记 第九章:杂项讨论
本章中,若不特别说明,则 new 和 delete 的描述也适用于 new[] 和 delete[]。
文章目录
条款 49:了解 new-handler 的行为
Understand the behavior of the new-handler.
现代 C++ 中的 new 在无法分配有效空间时,会抛出一个 no_alloc 异常,有些时候,我们不希望抛出异常,而是能让分配失败时进入到一个处理函数中,这个机制 C++ 是支持的,它叫做 new_handler。
提示:new_handler 中的 new 是指 operator new 的意思,表示保存 new 操作处理函数的意思,而不是指新的处理函数。下文可能出现 old_new_handler,则表示旧的 new 操作处理函数。
声明在 <new>
文件中:
namespace std {
typedef void (*new_handler) ();
new_handler set_new_handler(new_handler p) throw();
}
new_handler 是一个 typedef,它实际是一个函数指针,默认是 null,操作它的接口 set_new_handler 接受一个 new_handler,返回一个 new_handler,接受的参数是我们用户提供的处理函数的指针,返回的是之前的处理函数的指针,它用来将我们用户提供的处理函数替换到默认位置,并把替换前默认的处理函数返回。
备注:题外话,C++ 11 中已经弃用了异常声明符 throw(),取而代之的是 noexcept。后者可以阻止异常的抛出,当然还包括 noexcept(false) 和 noexcept(true),noexcept(true) 与 noexcept 一致,noexcept(false) 表示可能会抛出异常。
话题 1:基本用法
void OutOfMem() {
std::cerr << "out of memory" << endl;
std::abort();
}
int main() {
new_hanndler old_new_handler = std::set_new_handler(OutOfMem);
int* p = new int[1000000000000L];
}
如果 p 的分配失败,则会调用到 OutOfMem 函数,打印错误信息并 abort。
可以自定义的处理函数为我们提供了更多的灵活性,避免了无脑抛异常,比如我们可以在处理函数中打印信息,想办法分配内存,或直接终止程序。
话题 2:类的自建 new_handler
这块比较简单。在类内除了重载 operator new 之外,还需要重载 set_new_handler 函数,同时还要提供一个 static 的 new_handler 成员,这个数据成员用来保存旧的(替换前的)new_handler,从而可以在类之外能够让其他代码调用到大环境下的 new_handler (而不是类内做了私自修改的那个),也就是说,程序在某一时刻只会维护一个有效的 new_handler。
类内的 set_new_handler 需要替换新的 new_handler 并维护旧的 new_handler,在 new 失败时需要恢复旧的 new_handler,而类内的 new 便完成调用 std::operator new 和维护旧的 new_handler 的动作。
一种更优雅的方式是使用 RAII,建立一个 new_handler 的资源类来管理。
class NewHandlerHolder {
public:
explicit NewHandlerHolder(std::new_handler nh) : old_new_handler(nh) {
}
~