EffectiveC条款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的出错处理)函数, //默认提供的无参operator 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; // 错误!,因为类中没有定义无参的operaor new函数
在类里定义了一个称为"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, new_handler p = 0); }; X *px1 = new (specialErrorHandler) X; // 正确 X* px2 = new X; // 也正确
无论哪种方法,如果以后想对"标准"形式的 new 定制新的功能,只需要重写这个函数。调用者重新编译链接后就可以使用新功能了。