条款8 写operator new 和operator delete 时要遵循常规
重写operator new时, 函数提供的行为要和系统缺省的operator new一致:
1)正确的返回值; 2)可用内存不够时调用出错处理函数; 3)处理0字节内存请求的情况; 避免隐藏标准形式的new;
1)如果内存分配请求成功, 返回指向内存的指针, 失败抛出std::bad_alloc异常;
operator new实际上不止一次尝试分配内存, 每次失败会调用出错处理函数(期望释放别处的内存), 只有在出错处理函数的指针为空的情况下才抛出异常.
Note 按C++标准要求, 在请求分配0字节的内存时, operator new也要返回一个合法指针.
非类成员形式的operator new伪代码:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
void * new ( size_t size) // { if (size // size // } while (1) "分配 if (分配成功) return (指向内存的指针); // new_handler set_new_handler(globalHandler); if (globalHandler) else throw std::bad_alloc(); } } |
>处理零字节的请求的技巧是把他作为请求一个字节来处理;
>把handler置为0然后再恢复是因为没法直接得到handler的指针, 必须调用set_new_handler;
>operator new包含一个无限循环: while(1), 跳出循环的条件是内存分配成功或出错处理函数完成事件中的一种:
得到可用内存; 安装了新的new-handler; 卸除了new-handler; 抛出bad_alloc类型的异常; 返回失败; 所以new-hander必须做到其中一件事, 否则循环无法结束;
operator new经常会被子类继承, 引出复杂度; 大多数指针对类所写的operator new只为特定的类设计的, 不是为其他类或子类设计的;
对于一个类X的operator new来说, 函数内部的行为在涉及到对象的大小时, 都是sizeof(X). 但由于存在继承, 基类中的operator new可能被调用给子类对象分配内存;
1
2
3
4
5
6
7
8
|
class Base public : static void * new ( size_t size); ... }; class Derived: public Base // { // Derived new Derived; // |
>如果Base类的operator new不想处理这种情况, 简单的方法是把内存分配请求转给标准operator new来处理:
1
2
3
4
5
6
7
|
void * new ( size_t size) { if (size sizeof (Base)) // return ::operator new (size); // // ... // } |
>size != sizeof(Base)处理了size等于零的情况: C++标准规定独立的freestanding类的大小都是非零值; 即使Base没有成员, sizeof(Base)也总是非0; (非独立的类sizeof可能为零) [嵌套类??] size为零时, 请求就会转到::operator
new来处理;
如果想控制基于类的数组的内存分配, 必须实现operator new的数组形式: operator new[]("数组new");
写operator new[]时, 面对的是"原始"内存, 不能对数组里还不存在的对象进行操作; 还不知道数组对象的个数和大小;
基类的operator new[]会通过继承的方式被用来为子类对象的数组分配内存, 但子类对象一般比基类的大;
Base::operator new平[]里的每个对象大小不一定都是sizeof(Base), 数组对象的数量不一定就是 (请求字节数)/sizeof(Base);
对于operator delete和operator delete[], 要记住C++保证删除空指针总是安全的;
1
2
3
4
5
6
7
|
void operator delete ( void *rawMemory) { if (rawMemory return ; //如果指针为空,返回 //释放 return ; } |
假设类的operator new将"错误"大小分配请求转给::operator new, 那么必须将"错误"大小的删除请求转给::operator delete;
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
class Base // public : static void * new ( size_t size); static void operator delete ( void *rawMemory, size_t size); ... }; void Base::operator delete ( void *rawMemory, size_t size) { if (rawMemory // return ; if (size sizeof (Base)) { // ::operator delete (rawMemory); return ; } "释放指向 return ; } |
必须遵守operator new和operator delete的规定; 需要内存分配程序支持new-handler函数, 并正确处理零内存请求;
条款9 避免隐藏标准形式的new
内部范围声明的名称会隐藏掉外部范围的相同名称, 所以对于在类的内部和全局声明的同名函数f来说, 类成员函数会隐藏掉全局函数;
1
2
3
4
5
6
7
8
|
void f(); // class X public : void f(); // }; X f(); // x.f(); // |
>调用全局函数和成员函数时采用的是不同的语法形式;
但是如果在类里增加一个带多个参数的operator new函数:
1
2
3
4
5
6
7
8
9
10
|
class X public : void f(); // static void * new ( size_t size, }; void specialErrorHandler(); // X new (specialErrorHandler) // X new X; //错误 |
>类里定义了"operator new"函数后, 会阻止对标准new的访问;
Solution 1)在类里写一个支持标准new调用方式的operator new, 和标准new做同样的事情;
1
2
3
4
5
6
7
8
9
|
class X public : void f(); static void * new ( size_t size, static void * new ( size_t size) return ::operator new (size); }; X new (specialErrorHandler) // X* new X; // |
>使用内联实现;
Solution 2)为每一增加到operator new的参数提供缺省值;
1
2
3
4
5
6
7
|
class X public : void f(); static void * new ( size_t size, // }; X new (specialErrorHandler) // X* new X; // |
>以后想对"标准"形式的new定制新的功能, 只需重写这函数;