关闭

new和delete与内存分配

338人阅读 评论(0) 收藏 举报
分类:

一、Effective C++条款16:成对使用new和delete时采用相同的形式

通常我们使用new和delete有两种情形,第一,动态的为单一对象分配内存,第二,动态的创建数组。new和delete的使用需遵循许多规则,这里着重理解相同形式这一关键词。且看下面的动作有什么错?

std::string *stringArray = new std::string[100];

...
delete stringArray;
乍看起来,同时使用了new和delete,似乎没什么错误。这里使用new在运行阶段动态分配了100string对象,但是仅使用delete只释放掉了单一对象的所占用的内存,其中99个string对象不太可能被适当的删除,因为它们的析构函数没有被调用。

请注意:这里仅仅同时使用了new和delete,但并没有满足相同的形式这一条件。我们所面临的问题可以更简单的叙述为:即将被删除的那个指针,所指的是单一对象还是对象数组?另外,请尽量使用C++11智能指针,以防止写代码时忘记释放掉new分配的内存而导致内存泄漏。

请记住

如果在new表达式中使用了[],必须在相应的delete表达式中使用[]。如果在new表达式中不使用[],一定不要在相应的delete表达式中使用[]。确保“同时使用、相同形式”。

二、使用new动态分配内存

为单一对象(可以是数据结构,基本类型或类)获得并指定分配内存的通用格式如下:

typeName *pointter_name  = new typeName;

例如,在运行阶段为一个int值分配未命名的内存,并使用指针来访问这个值,可以写为:int * pn = new int;

程序员告诉new要为int类型的数据类型分配内存,new根据这种数据类型找到长度(在这里int为4个字节)正确的内存块,并返回内存块的地址,程序员负责将该地址赋给一个指针(pn是被声明为指向int的指针,现在pn是一个地址,而*pn为存储在那里的值)。


请看下面的例子:

int *pt = new int;

*pt = 1001;

double *pd = new double;

*pd = 3.14;


则有:如果这里int占4个字节,double占8个字节,则sizeof(pt)为4,sizeof(*pt)为4。sizeof(pd)为4,sizeof(*pd)为8。这里,指向int的指针的长度与指向double的指针相同,它们都是地址,但由于声明了指针的类型,因此程序知道*pd为8个字节的double值,*pt为4个字节的int值。

三、使用new和delete时要遵循的规则

  • 不要使用delete释放不是new分配的内存。
  • 不要使用delete释放同一个内存两次。
  • 使用new[]为数组分配的内存一定要使用delete[]释放,不能使用delete;new为单个对象分配的内存一定使用delete来释放。
  • 对空指针delete是安全的。

四、使用动态数组

创建动态数组后,如何使用数组中的元素?

int *pt = new int[10]; // get  a block of 10 ints

如果这里int占4个字节,上述语句中sizeof(pt)为4个字节,sizeof(*pt)为4 × 10个字节。那么如何使用数组中的元素呢?其实和普通数组一样。


double *pd = new double[3];

pd[0] = 1.0;

pd[1] = 2.0;

pd[2] = 3.0;


那么,pd[0](或*pd) 的值为1.0。如果有pd = pd + 1;, 那么pd[0]的值为2.0。另外请注意,不能修改数组名(常量),但指针(pd)为变量,因此可以修改它的值。而且pd+1的效果是指指针指向数组第一个元素的下一个位置,即第二个元素,因此pd[0]为2.0。

五、杂项

指针和数组等价的原因在于指针算术和C++内部处理数组的方式。首先我们来看一下算术,将整型变量加1后,其值将增加1;但将指针变量增加1后,增加的量等于它指向的数据类型的字节数,如:将指向double的指针加1后,如果系统对double使用8个字节存储,则其值增加8。另外,C++将数组名解释为数组第一个元素的地址。

double arrD[3] = {1.0, 2.0, 3.0};

short arrSh[3] = {1, 2, 3};

double *pd = arrD; // 等价于&arrD[0]

short *psh = &arrSh[0];

...

假设double占4个字节,short占2个字节,则:arrD[0] ,*arrD和*(arrD + 0)等价,其值为1;*psh为1。

sizeof(arrD)为3 × 8 = 24,sizeof(pd)为4,sizeof(*pd)为8。

sizeof(arrSh)为3 × 2 = 6,sizeof(psh)为4,sizeof(*psh)为2。

这是因为 指针为指向变量的地址,且地址占4个字节;对指针的解引用为指针指向变量的值,所占内存谓该值所属类型所占的字节数。



注意:虽然数组名被解释为指向数组第一个元素的地址,但不能修改数组名,是因为数组名为常量;可以修改指针,是因为指针(指向变量的地址)为变量。

pointerName = pointerName + 1; // valid

arrayName = arrayName + 1; // not alllowed


数组的地址

数组名被解释为其第一个元素的地址,而对数组名应用地址运算符时,得到的是整个数组的地址。

short tell[10];     // tell为20字节的数组

cout << tell ;    // &tell[0] 即数组第一个元素的地址,占2个字节的内存块的地址

cout << &tell;  //  整个数组的地址,从数字上说,该地址和tell的地址相同,但是&tell为占20个字节的内存块的地址


总之,使用new来创建数组以及使用指针来访问不同的元素时,只需要把指针当成数组名对待即可。

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:55888次
    • 积分:1902
    • 等级:
    • 排名:千里之外
    • 原创:136篇
    • 转载:6篇
    • 译文:3篇
    • 评论:7条
    个人信息