因为内部范围声明的名称会隐藏掉外部范围的相同的名称,所以对于分别在类的内部
和全局声明的两个相同名字的函数f来说,类的成员函数会隐藏掉全局函数:
1 2 3 4 5 6 7 8 9 10 11 12 |
void f();???????????????????????????? // 全局函数 class x { public: ?? void f();?????????????????????????? // 成员函数 }; x x; f();????????????????????????????????? // 调用 f x.f();??????????????????????????????? // 调用 x::f |
这不会令人惊讶,也不会导致混淆,因为调用全局函数和成员函数时总是采用不同的
语法形式。然而如果你在类里增加了一个带多个参数的operator new函数,结果就有
可能令人大吃一惊。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
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的访
问。(提高对C++的认识)解释了为什么会这样,这里我们更关心的是如何想个办法避免这个问题。
一个办法是在类里写一个支持标准new调用方式的operator new,它和标准new做同样
的事。这可以用一个高效的内联函数来封装实现。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 |
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定制新的功能,只需要重写这个函数。
调用者重新编译链接后就可以使用新功能了。