C++ new/delete相关知识点详细解析
每个程序在执行时都占用一块可用的内存空间,用于存放动态分配的对象,此内存空间称为程序的自由存储区(free store)或堆(heap)。C语言用一堆标准库函数malloc和free在自由存储区中分配存储空间,而C++则用new和delete表达式实现相同的功能。
一、new和delete创建和释放动态数组:
数组类型的变量有三个重要的限制:数组长度固定,在编译时必须知道其长度,数组只在定义它的语句内存在。动态数组:长度固定,编译时不必知道其长度,通常是运行时确定;一直存在,直到程序显示释放它。
1、动态数组的定义:数组变量通过指定类型、数据名和维数来定义。而动态分配数组时,只需指定类型和数组长度,不必为数组对象命名,new表达式返回指向新分配数组的第一个元素的指针:int*pia=new int[10];在自由存储区中创建的数组对象没有名字,只能通过其地址间接访问堆中的对象。
2、初始化动态分配的数组:若数组元素具有类类型,将使用该类的默认构造函数初始化;若数组元素是内置类型,则无初始化。也可跟在数组长度后面的一堆空圆括号,对数组元素做值初始化。
string *psa=newstring[10]; //array of 10 empty strings
int *pia=newint[10]; //array of 10 uninitializedints
int *pia2=newint[10](); //array of 10 zero
对于动态分配的数组,其元素只能初始化为元素类型的默认值,而不能像数组变量一样,用初始化列表为数组元素提供各不相同的初值。
3、const对象的动态数组:若在堆中创建的数组存储了内置类型的const对象,则必须为这个数组提供初始化:因数组元素都是const对象,无法复制。
const int*pci_ok=new const int[100]();
C++允许定义类类型的const数组,但该类型必须提供默认构造函数。
已创建的常量元素不允许修改,所以此类数组用处不大。
4、允许动态分配空数组:动态分配数组,多是由于编译时不知道数组长度。
size_t n=get_size(); int*p=new int[n];
C++虽然不允许定义长度为0的数组变量,但明确指出,调用new创建长度为0的数组是合法的。new返回有效的非零指针。该指针不能与new返回的其他指针不同,不能进行解引用操作,因它没指向任何元素。允许的操作:比较运算。
5、动态空间的释放:程序员必须显示将其占用的存储空间返还给程序的自由存储区。C++语言为指针提供delete []表达式释放指针所指向的数组空间。
delete [] pia;[]告诉编译器该指针指向的是堆中的数组,而非单个对象,若遗漏,编译器无法发现。
二、new和delete创建和释放单个对象
定义变量时,必须指定其数据类型和名字。而动态创建对象时,只需指定其数据类型。new返回指向新创建对象的指针,通过该指针来访问此对象。
1、动态创建对象的初始化:int *pi=new int(1024)
2、动态创建对象的默认初始化:若不提供显式初始化,与函数内定义的变量初始化方式相同,类类型->默认构造函数;内置类型->无初始化。同样可做值初始化:
int *pi=newint();值初始化的()必须置于类型名后,而非变量后,int x()是声明函数。
3、撤销动态创建的对象:程序员必须显示将该对象占用的内存返回给自由存储区。delete,若指针指向不是用new分配的内存地址,则对该指针使用delete非法。
int i; int *pi=&i; delete pi;//编译器不能断定一个指针指向什么类型的对象,因此大部分编译器仍能通过(VS2005编译通过,执行到该处报错)。
4、零指针的删除:int *ip=0; delete ip;若指针值为0,则delete合法。
5、delete后,重设指针值:delete p;删除指针后,p成为悬垂指针。悬垂指针指向曾经存放对象的内存,但该对象已不存在,引用该内存报错。所以一旦删除指针所指向的对象,立即将指针置为0。
6、const对象的动态分配和回收:创建时初始化,且一经初始化,其值不可修改。
const int*pci=new const int(1024);new表达式返回int型const对象的指针。所以只能赋给指向const的指针。内置类型对象或未提供默认构造函数的类类型对象必须显示初始化。
删除const对象:delete pci;
三、与动态内存分配相关的三种常见程序错误:
1、删除指向动态分配内存的指针失败,称为memory leak。一般需等程序运行一段时间,耗尽内存时,才显露出来。
2、读写已删除的对象。若删除指针所指对象后,置指针值为0,易检查出此类错误。
3、对同一个内存空间使用两次delete表达式。第二次delete时,自由存储区可能被破坏。