Effective C++ 2e Item9

条款9. 避免隐藏标准形式的new

因为内部范围声明的名称会隐藏掉外部范围的相同的名称，所以对于分别在类的内部

和全局声明的两个相同名字的函数f来说，类的成员函数会隐藏掉全局函数：

void f();                             // 全局函数

class X {
public:
  void f();                           // 成员函数
};

X x;

f();                                  // 调用 f

x.f();                                // 调用 X::f

这不会令人惊讶，也不会导致混淆，因为调用全局函数和成员函数时总是采用不同的

语法形式。然而如果你在类里增加了一个带多个参数的operator new函数，结果就有

可能令人大吃一惊。

class X {
public:
  void f();

  // operator new的参数指定一个
  // new-hander(new的出错处理)函数
  static void * operator new(size_t size, new_handler p);
};

void specialErrorHandler();          // 定义在别的地方

X *px1 =
  new (specialErrorHandler) X;       // 调用X::operator new

X *px2 = new X;                      // 错误!

在类里定义了一个称为“operator new”的函数后，会不经意地阻止了对标准new的访

问。条款50解释了为什么会这样，这里我们更关心的是如何想个办法避免这个问题。

一个办法是在类里写一个支持标准new调用方式的operator new，它和标准new做同样

的事。这可以用一个高效的内联函数来封装实现。

class X {
public:
  void f();

  static void * operator new(size_t size, new_handler p);

  static void * operator new(size_t size)
  { return ::operator new(size); }
};

X *px1 =
  new (specialErrorHandler) X;      // 调用 X::operator
                                    // new(size_t, new_handler)

X* px2 = new X;                     // 调用 X::operator
                                    // new(size_t)

另一种方法是为每一个增加到operator new的参数提供缺省值(见条款24)：

class X {
public:
  void f();

  static
    void * operator new(size_t size,                // p缺省值为0
                        new_handler p = 0);         //
};

X *px1 = new (specialErrorHandler) X;               // 正确

X* px2 = new X;                                     // 也正确

无论哪种方法，如果以后想对“标准”形式的new定制新的功能，只需要重写这个函数

。调用者重新编译链接后就可以使用新功能了。