51 编写new和delete时需固守常规

image.png

[TOC]

operator new实际上不只一次尝试分配内存，并在每次失败后调用 new-handling函数。假设 new-handling 函数也许能够做某些动作将内存释放出来。

只有当 new-handling 函数的指针是 null，operator new 才会抛出异常

new 0 bytes

C++ 规定，即使客户要求 0 bytes， operator new 也得返回一个合法指针。如下面 non-member operator new 伪代码：

void* operator new(std::size_t size) throw(std::bad_alloc) {
      using namespace std;
      if (size == 0) {
        size = 1;
      }
      while (true) {
        尝试分配 size bytes;
        if (分配成功) {
          return (一个指针，指向分配得来的内存)；
        }
        // 分配失败；找出目前的 new-handling 函数
        new_handler globalHandler = set_new_handler(0);
        set_new_handler(globalHandler);

        if (globalHandler)
          (*globalHandler)();
        else
          throw std::bad_alloc();
      }
    }

这里的技术是将 0 bytes 申请量视为 1 byte 申请。

继承体系operator new

operator new 成员函数会被 derived classes 继承。

写出定制型内存管理器的一个最常见理由是为了针对某特定 class 的对象分配行为提供最优化，却不是为了该 class 的任何 derived classes.

针对 class Q 而设计的 operator new，其行为很典型地只为大小刚好为 sizeof(Q) 的对象而设计。而一旦被继承下去，很可能 base class 的operator new 被调用以分配 derived class 对象。

解决办法就是：将“内存申请量错误”的调用行为改为标准 operator new

void* Base::operator new(std::size_t size) throw(std::bad_alloc) {
    if(size != sizeof(Base)) { // 如果大小错误，
        return ::operator new(size); // 令标准的 operator new 处理
    }
  ... // 否则在这里处理
}

这里C++ 会裁定所有非附属（独立式) 对象必须有非零大小，因此 sizeof(Base) 无论如何不能为0，如果 size 为0，这份申请会被转交到 ::operator new 手上，后者有责任以某种合理方式对待这份申请。

因此，不能在 Base::operator new[] 内假设 array 的每个元素对象的大小是 sizeof(Base)，意味着不能假设 array 的元素对象的个数是（bytes 申请数）/ sizeof(Base)

此外，传递给 operator new[] 的 size_t 参数，其值有可能比“将被填以对象”的内存数量更多，动态分配的arrays 可能包含额外空间用来存放元素个数。

delete null指针

C++ 保证“删除 null 指针永远安全”，必须保证这项实现。

non-member 版本

下面是 non-member operator delete 伪代码：

void operator delete(void * rawMemory) throw()
{
    if(rawMemory == 0) return; // 如果被删除的指针是 null 指针，那就什么都不做
  现在，归还 rawMemory 所指的内存。
}

member版本

class Base {
     public:
      static void* operator new(std::size_t size) throw(std::bad_alloc);
      static void operator delete(void* rawMemory, std::size_t size) throw();
    };

void Base::operator delete(void* rawMemory, std::size_t size) throw() {
  if (rawMemory == 0) {  // 检查 null 指针
    return;
  }
  if (size != sizeof(Base)) {     // 如果大小错误，
    ::operator delete(rawMemory); // 令标准版 operator delete 处理此申请
    return;
  }
  现在归还 rawMemory 所指的内存
  return;
}

如果被删除的derived class 来自于某个 base class，而base class 欠缺 virtual 析构函数，那么 C++ 传给 operator delete 的 size_t 数值可能不正确， operator delete 可能无法正确运作。

这就是为什么 “base class 需要拥有 virtual 析构函数”的原因。

请记住

operator new 应该内涵一个无穷循环，并在其中尝试分配内存。如果无法满足内存需求，就应该调用 new-handler。它也应该有能力处理 0 bytes 申请。 Class 专属版本则还应该处理“比正确大小更大的（错误）申请”
operator delete 应该在收到 null 指针时不做任何事情。 Class 专属版本则应该处理“比正确大小更大的（错误）申请”

欢迎关注公众号【三戒纪元】

EffectiveC++ | 51 编写new和delete时需固守常规