Effective C++ 学习笔记 第八章：定制 new 和 delete

第一章见 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。

可以自定义的处理函数为我们提供了更多的灵活性，避免了无脑抛异常，比如我们可以在处理函数中打印信息，想办法分配内存，或直接