More Effective C++:理解new和delete

2016-02-19 13:14 4 1 收藏

最近很多朋友喜欢上设计,但是大家却不知道如何去做,别担心有图老师给你解答,史上最全最棒的详细解说让你一看就懂。

【 tulaoshi.com - 编程语言 】


  人们有时似乎喜欢故意使C++语言的术语难以理解。比如说new操作符(new operator)和operator new的区别。 
  
  当你写这样的代码:
  
  string *ps = new string("Memory Management");
  你使用的new是new操作符。这个操作符就象sizeof一样是语言内置的,你不能改变它的含义,它的功能总是一样的。它要完成的功能分成两部分。第一部分是分配足够的内存以便容纳所需类型的对象。第二部分是它调用构造函数初始化内存中的对象。new操作符总是做这两件事情,你不能以任何方式改变它的行为。
  
  你所能改变的是如何为对象分配内存。new操作符调用一个函数来完成必需的内存分配,你能够重写或重载这个函数来改变它的行为。new操作符为分配内存所调用函数的名字是operator new。
  
  函数operator new 通常这样声明:
  
  void * operator new(size_t size);
  返回值类型是void*,因为这个函数返回一个未经处理(raw)的指针,未初始化的内存。(假如你喜欢,你能写一种operator new函数,在返回一个指针之前能够初始化内存以存储一些数值,但是一般不这么做。)参数size_t确定分配多少内存。你能增加额外的参数重载函数operator new,但是第一个参数类型必须是size_t。(有关operator new更多的信息参见Effective C++ 条款8至条款10。)
  
  你一般不会直接调用operator new,但是一旦这么做,你可以象调用其它函数一样调用它:
  
  void *rawMemory = operator new(sizeof(string));
  操作符operator new将返回一个指针,指向一块足够容纳一个string类型对象的内存。
  
  就象malloc一样,operator new的职责只是分配内存。它对构造函数一无所知。operator new所了解的是内存分配。把operator new 返回的未经处理的指针传递给一个对象是new操作符的工作。当你的编译器遇见这样的语句:
  
  string *ps = new string("Memory Management");
  它生成的代码或多或少与下面的代码相似(更多的细节见Effective C++条款8和条款10,还有我的文章Counting object里的注释。):
  
  void *memory = // 得到未经处理的内存
  operator new(sizeof(string)); // 为String对象
  call string::string("Memory Management") //初始化
  on *memory; // 内存中
  
  // 的对象
  
  string *ps = // 是ps指针指向
  static_caststring*(memory); // 新的对象
  注重第二步包含了构造函数的调用,你做为一个程序员被禁止这样去做。你的编译器则没有这个约束,它可以做它想做的一切。因此假如你想建立一个堆对象就必须用new操作符,不能直接调用构造函数来初始化对象。
  
  Placement new
  
  有时你确实想直接调用构造函数。在一个已存在的对象上调用构造函数是没有意义的,因为构造函数用来初始化对象,而一个对象仅仅能在给它初值时被初始化一次。但是有时你有一些已经被分配但是尚未处理的的(raw)内存,你需要在这些内存中构造一个对象。你可以使用一个非凡的operator new ,它被称为placement new。
  
  下面的例子是placement new如何使用,考虑一下:
  
  class Widget {
   public:
  Widget(int widgetSize);
  ...
  };
  
  Widget * constrUCtWidgetInBuffer(void *buffer,int widgetSize)
  {
   return new (buffer) Widget(widgetSize);
  }
  这个函数返回一个指针,指向一个Widget对象,对象在转递给函数的buffer里分配。当程序使用共享内存或memory-mapped I/O时这个函数可能有用,因为在这样程序里对象必须被放置在一个确定地址上或一块被例程分配的内存里。(参见条款4,一个如何使用placement new的一个不同例子。)
  
  在constructWidgetInBuffer里面,返回的表达式是:
  
  new (buffer) Widget(widgetSize)
  这初看上去有些生疏,但是它是new操作符的一个用法,需要使用一个额外的变量(buffer),当new操作符隐含调用operator new函数时,把这个变量传递给它。被调用的operator new函数除了待有强制的参数size_t外,还必须接受void*指针参数,指向构造对象占用的内存空间。这个operator new就是placement new,它看上去象这样:
  
  void * operator new(size_t, void *location)
  {
   return location;
  }
  这可能比你期望的要简单,但是这就是placement new需要做的事情。究竟operator new的目的是为对象分配内存然后返回指向该内存的指针。在使用placement new的情况下,调用者已经获得了指向内存的指针,因为调用者知道对象应该放在哪里。placement new必须做的就是返回转递给它的指针。(没有用的(但是强制的)参数size_t没有名字,以防止编译器发出警告说它没有被使用;见条款6。) placement new是标准C++库的一部分(见Effective C++ 条款49)。为了使用placement new,你必须使用语句#include new(或者假如你的编译器还不支持这新风格的头文件名(再参见Effective C++ 条款49),new.h)。
  
  让我们从placement new回来片刻,看看new操作符(new operator)与operator new的关系,你想在堆上建立一个对象,应该用new操作符。它既分配内存又为对象调用构造函数。假如你仅仅想分配内存,就应该调用operator new函数;它不会调用构造函数。假如你想定制自己的在堆对象被建立时的内存分配过程,你应该写你自己的operator new函数,然后使用new操作符,new操作符会调用你定制的operator new。假如你想在一块已经获得指针的内存里建立一个对象,应该用placement new。
  
  (有关更多的不同的new与delete的观点参见Effective C++ 条款7和我的文章Counting objects。)
  
  Deletion and Memory Deallocation
  
  为了避免内存泄漏,每个动态内存分配必须与一个等同相反的deallocation对应。函数operator delete与delete操作符的关系与operator new与new操作符的关系一样。当你看到这些代码:
  
  
   string *ps;
  ...
  delete ps; // 使用delete 操作符
  你的编译器会生成代码来析构对象并释放对象占有的内存。
  
  Operator delete用来释放内存,它被这样声明:
  
  void operator delete(void *memoryToBeDeallocated);
  因此, delete ps;
  
  导致编译器生成类似于这样的代码:
  
  ps-~string(); // call the object's dtor
  operator delete(ps); // deallocate the memory
  // the object occupied
  
  这有一个隐含的意思是假如你只想处理未被初始化的内存,你应该绕过new和delete操作符,而调用operator new 获得内存和operator delete释放内存给系统:
  
  void *buffer = // 分配足够的
  operator new(50*sizeof(char)); // 内存以容纳50个char
  
  //没有调用构造函数
  ...
  operator delete(buffer); // 释放内存
  // 没有调用析构函数
  这与在C中调用malloc和free等同。
  
  假如你用placement new在内存中建立对象,你应该避免在该内存中用delete操作符。因为delete操作符调用operator delete来释放内存,但是包含对象的内存最初不是被operator new分配的,placement new只是返回转递给它的指针。谁知道这个指针来自何方?而你应该显式调用对象的析构函数来解除构造函数的影响:
  
  // 在共享内存中分配和释放内存的函数 void * mallocShared(size_t size);
  
  void freeShared(void *memory);
  void *sharedMemory = mallocShared(sizeof(Widget));
  Widget *pw = // 如上所示,
  constructWidgetInBuffer(sharedMemory, 10); // 使用
  // placement new
  ...
  delete pw; // 结果不确定! 共享内存来自

来源:http://www.tulaoshi.com/n/20160219/1603493.html

延伸阅读
布尔类型对象可以被赋予文字值true或者false,所对应的关系就是真于假的概念! 我们通常使用的方法是利用他来判定条件的真于假,例如如下的代码: C++ 代码 //程序作者:管宁 //站点:www.cndev-lab.com //所有稿件均有版权,如要转载,请务必闻名出处和作者 #include iostream using ...
  介绍  曾经碰到过让你迷惑不解、类似于int * (* (*fp1) (int) ) [10];这样的变量声明吗?本文将由易到难,一步一步教会你如何理解这种复杂的C/C++声明。   我们将从天天都能碰到的较简单的声明入手,然后逐步加入const修饰符和typedef,还有函数指针,最后介绍一个能够让你准确地理解任何C/C++声明的“右左法则”。 ...
从语法上看,在函数里声明参数与在catch子句中声明参数几乎没有什么差别: class Widget { ... }; //一个类,具体是什么类 // 在这里并不重要 void f1(Widget w); // 一些函数,其参数分别为 void f2(Widget& w); // Widget, Widget&,或 void f3(const Widget& w); // Widget* 类型 void f4(Widge...
在C#中有两种类型的数据,一种是值类型数据,一种是引用类型数据。在编码的时候区分这两种类型数据,可以避免一些细小的编码错误。 首先说说什么类型是值类型,例如:int、float、bool之类的基础类型,以及用struct定义的类型,如:DateTime。除此外,如string,数组,以及用class定义的类型等都是引用类型。对于C#来说,很难罗列出...
生死疆界(下)--- 在new与delete之间 作者:土豆 上回《 生死疆界(上)》 说到: 咱们对着微软在背后做的手脚深感困惑,于是备好车马粮草,一路追杀进去,最后走进了死胡同,剩下的最后希望就是在这里摸摸,那里敲敲,看有没有暗藏机关。 这正是:探源码身陷绝境,求解脱心系...

经验教程

842

收藏

67
微博分享 QQ分享 QQ空间 手机页面 收藏网站 回到头部