《Effective C++第三版》读书笔记——定制new和delete

8 定制new和delete
~~~~~~~~~~~~~~~~~~

8.1 了解new-handler的行为
==========================
   1. 当opeartor new无法满足某一内存分配需求时,它会抛出异常.在这之前,它会先调用一个客户指定的错误处理函数,所谓的new-handler
   2. 用户必须通过调用set_new_handler来设置new-handler函数,set_new_handler的参数是指向new-handler函数的指针
   3. new-handler函数应该没有参数,也不返回任何东西(void)
   4. 当operator new无法满足内存申请时,它会 *不断* 调用new-handler函数,直到找到足够内存!
   5. 一个设计良好的new-handler函数必须做以下事情中的一个或几个
      * 让更多内存可被使用
        一个做法是,程序一开始执行就分配一大块内存,然后当new-handler第一次调用,将它们释放给程序使用
      * 安装另一个new-handler
        (否则会不断调用这个new-handler,进入死循环)
      * 卸除new-handler
        也就是将null指针传给set_new_handler,这样operator new会在内存分配不成功时抛出异常
      * 抛出bad_alloc
      * 退出程序
        通常调用abor或exit
   6. 使用new (std::nothrow),如果分配内存失败,不会抛异常,而是返回NULL值,nothrow定义于<new>

8.2 写new和delete时需固守常规
==============================
   1. operator new应该内含一个无穷循环,并在其中尝试分配内存,如果无法满足内存需求,就调用new-handler.
      它也应该有能力处理0bytes申请.
      由于类中的operator new成员函数会被子类继承,因此class专属版本则还需要处理"比正确大小更大的错误申请"
 

 
 
//non-member operator new伪代码 
  void* operator new(std::size_t size)throw(std::bad_alloc) 
  { 
      using namespace std; 
      if(size == 0){ 
          size = 1;    //处理0-bye申请,将它视为1-bye申请,因为C++不允许大小为0的对象 
      } 
      while(true){ 
          尝试分配size bytes; 
          if(分配成功){return 指向内存的指针;} 
          //分配失败,找出目前的new-hander函数并调用 
          new_handler globalHandler = set_new_handler(NULL); 
          set_new_handler(globalHandler); 
          if(globalHandler){ 
              (*globalHandler)(); 
          }else{ 
              throw std::bad_alloc(); 
          } 
      } 
  } 

   2. operator new[]唯一需要做的一件事就是分配一块未加工内存.
   3. operator delete应该在收到null指针时,不做任何事.class专属版本则还应该处理"比正确大小更大的错误申请"

8.3 写了placement new也要写placement delete
============================================
   1. 如果operator new接受的参数除了一定会有的那个size_t之外,还有其他参数,这便是个所谓的placement new.
   2. 相应的placement delete指"参数个数和类型都与operator new相同的"operator delete
   3. 运行期,若replacement new抛出异常,则系统会去找与placement new相对应的placement delete版本,若找不到则什么也不做.
      但是placement delete只有在"伴随placement new调用而触发的构造函数"出现异常时才会被编译器自动调用.对一个指针显式调用delete不会导致调用placement delete.
   4. 缺省情况下,C++在global作用域提供三种形式的operatornew
     

 
 
* void* operator new(std::size_t)throw(std::bad_alloc);  //normal new 
* void* operator new(std::size_t,void*) throw();         //placement new 
* void* operator new(std::size_t,const std::nothrow_t&)throw()//nothrow new 

   5. 当声明了专有类的new和delete之后,请注意,它会遮掩std的标准new和delete.

本文出自 “暗日” 博客，请务必保留此出处http://darksun.blog.51cto.com/3874064/1148742