设为首页 加入收藏

TOP

复习C++:深入new
2014-11-05 16:30:07 】 浏览:242
Tags:复习 深入 new

  “new”是C++的一个关键字,同时也是操作符。关于new的话题非常多,因为它确实比较复杂,也非常神秘,下面我将把我了解到的与new有关的内容做一个总结。


  new的过程


  当我们使用关键字new在堆上动态创建一个对象时,它实际上做了三件事:获得一块内存空间、调用构造函数、返回正确的指针。当然,如果我们创建的是简单类型的变量,那么第二步会被省略。假如我们定义了如下一个类A:


  class A


  {


  int i;


  public:


  A(int _i) :i(_i*_i) {}


  void Say() { printf("i=%dn", i); }


  };


  //调用new:


  A* pa = new A(3);


  那么上述动态创建一个对象的过程大致相当于以下三句话(只是大致上):


  A* pa = (A*)malloc(sizeof(A));


  pa->A::A(3);


  return pa;


  虽然从效果上看,这三句话也得到了一个有效的指向堆上的A对象的指针pa,但区别在于,当malloc失败时,它不会调用分配内存失败处理程序new_handler,而使用new的话会的。因此我们还是要尽可能的使用new,除非有一些特殊的需求。


  new的三种形态


  到目前为止,本文所提到的new都是指的“new operator”或称为“new expression”,但事实上在C++中一提到new,至少可能代表以下三种含义:new operator、operator new、placement new。


  new operator就是我们平时所使用的new,其行为就是前面所说的三个步骤,我们不能更改它。但具体到某一步骤中的行为,如果它不满足我们的具体要求时,我们是有可能更改它的。三个步骤中最后一步只是简单的做一个指针的类型转换,没什么可说的,并且在编译出的代码中也并不需要这种转换,只是人为的认识罢了。但前两步就有些内容了。


  new operator的第一步分配内存实际上是通过调用operator new来完成的,这里的new实际上是像加减乘除一样的操作符,因此也是可以重载的。operator new默认情况下首先调用分配内存的代码,尝试得到一段堆上的空间,如果成功就返回,如果失败,则转而去调用一个new_hander,然后继续重复前面过程。如果我们对这个过程不满意,就可以重载operator new,来设置我们希望的行为。例如:


  class A


  {


  public:


  void* operator new(size_t size)


  {


  printf("operator new calledn");


  return ::operator new(size);


  }


  };


  A* a = new A();


  这里通过::operator new调用了原有的全局的new,实现了在分配内存之前输出一句话。全局的operator new也是可以重载的,但这样一来就不能再递归的使用new来分配内存,而只能使用malloc了:


  void* operator new(size_t size)


  {


  printf("global newn");


  return malloc(size);


  }


  相应的,delete也有delete operator和operator delete之分,后者也是可以重载的。并且,如果重载了operator new,就应该也相应的重载operator delete,这是良好的编程习惯。


  new的第三种形态--placement new是用来实现定位构造的,因此可以实现new operator三步操作中的第二步,也就是在取得了一块可以容纳指定类型对象的内存后,在这块内存上构造一个对象,这有点类似于前面代码中的 “p->A::A(3);”这句话,但这并不是一个标准的写法,正确的写法是使用placement new:


  #include


  void main()


  {


  char s[sizeof(A)];


  A* p = (A*)s;


  new(p) A(3); //p->A::A(3);


  p->Say();


  }


  对头文件 的引用是必须的,这样才 可以使用placement new。这里“new(p) A(3)”这种奇怪的写法便是placement new了,它实现了在指定内存地址上用指定类型的构造函数来构造一个对象的功能,后面A(3)就是对构造函数的显式调用。这里不难发现,这块指定的地址既可以是栈,又可以是堆,placement对此不加区分。但是,除非特别必要,不要直接使用placement new ,这毕竟不是用来构造对象的正式写法,只不过是new operator的一个步骤而已。使用new operator地编译器会自动生成对placement new的调用的代码,因此也会相应的生成使用delete时调用析构函数的代码。如果是像上面那样在栈上使用了placement new,则必须手工调用析构函数,这也是显式调用析构函数的唯一情况:


  p->~A();


  当我们觉得默认的new operator对内存的管理不能满足我们的需要,而希望自己手工的管理内存时,placement new就有用了。STL中的allocator就使用了这种方式,借助placement new来实现更灵活有效的内存管理。


  处理内存分配异常


  正如前面所说,operator new的默认行为是请求分配内存,如果成功则返回此内存地址,如果失败则调用一个new_handler,然后再重复此过程。于是,想要从operator new的执行过程中返回,则必然需要满足下列条件之一:


  * 分配内存成功


  * new_handler中抛出bad_alloc异常


  * new_handler中调用exit()或类似的函数,使程序结束


  于是,我们可以假设默认情况下operator new的行为是这样的:


  void* operator new(size_t size)


  {


  void* p = null


  while(!(p = malloc(size)))


  {


  if(null == new_handler)


  throw bad_alloc();


  try


  {


  new_handler();


  }


  catch(bad_alloc e)


  {


  throw e;


  }


  catch(…)


  {}


  }


  return p;


  }


】【打印繁体】【投稿】【收藏】 【推荐】【举报】【评论】 【关闭】 【返回顶部
上一篇VC++之随父窗口变化调整控件大小 下一篇C++简单内存泄漏检查机制实现

最新文章

热门文章

Hot 文章

Python

C 语言

C++基础

大数据基础

linux编程基础

C/C++面试题目