一、new和delete基本用法
程序开发中内存的动态分配与管理永远是一个让C++开发者头痛的问题,在C中,一般是通过malloc和free来进行内存分配和回收的,在C++中,new和delete已经完全包含malloc和free的功能,并且更强大、方便、安全。
new一般用法:
new 类型 (初值)
用new分配数组空间时不能指定初值。
delete一般用法:
delete [] 指针变量
[]部分是可选的,当释放数组所占内存时必须加[]。当你对一个指针使用 delete,delete 知道是否有数组大小信息的唯一方法就是由你来告诉它。如果你在你使用的 delete 中加入了方括号,delete 就假设那个指针指向的是一个数组。否则,就假设指向一个单一的对象。
int *i = new int; //没有初始值
int *j = new int(); //初始值为100
int *iArr = new int[]; //分配具有3个元素的数组
delete i; //释放单个变量所占用的内存
delete j;
delete []iArr; //释放数组所占用的内存
一般我们常说的内存泄漏是指堆内存的泄漏。堆内存是指程序从堆中分配的,大小任意的(内存块的大小可以在程序运行期决定),使用完后必须显示释放的内存。应用程序一般使用malloc,realloc,new等函数从堆中分配到一块内存,使用完后,程序必须负责相应的调用free或delete释放该内存块,否则,这块内存就不能被再次使用,我们就说这块内存泄漏了。
二、new/delete和malloc/free的区别
对于非内部数据类型的对象而言,光用maloc/free无法满足动态对象的要求。对象在创建的同时要自动执行构造函数,对象在消亡之前要自动执行析构函数。
由于malloc/free是库函数而不是运算符,不在编译器控制权限之内,不能够把执行构造函数和析构函数的任务强加于malloc/free。
C++语言需要一个能完成动态内存分配和初始化工作的运算符new,以及一个能完成清理与释放内存工作的运算符delete。new出来的指针是直接带类型信息的。而malloc返回的都是void指针。
例1:
#include <iostream>
#include <malloc.h>
using namespace std;
class myclass
{
public:
myclass()
{
i = ;
}
void myfoo()
{
cout << "i = " << i << endl;
}
private:
int i;
};
int main()
{
myclass *p = new myclass;
myclass *q = (myclass *)malloc(sizeof(myclass));
p->myfoo();
q->myfoo();
delete p;
free(q);
return ;
}
程序执行结果为:
i = 1
i = 0
从上例可看出,new调用了类myclass的构造函数,而malloc只是分配了空间,并没有调用构造函数,因此会出现调用q->myfoo()函数时,输出的结果具有随机性。如果用free释放“new创建的动态对象”,那么该对象因无法执行析构函数而可能导致程序出错。如果用delete释放“malloc申请的动态内存”,理论上讲程序不会出错,但是该程序的可读性很差。所以new/delete必须配对使用,malloc/free也一样。
例2:
#include <iostream>
using namespace std;
class myclass
{
public:
~myclass()
{
cout << "Goodbye" << endl;
}
};
int main()
{
myclass *p = new myclass;
free(p);
return ;
}
上例中,~myclass()为类的析构函数,对象离开作用域或被delete的时候会调用。指针p指向了一个堆上创建的myclass对象,若用free来释放内存,则不会调用析构函数,所以上面的程序没有输出。如将free(p)改为:
delete p
程序执行时将会调用到myclass类的析构函数,输出结果为:
Goodbye
三、new和多维数组
当使用new运算符定义一个多维数组变量或数组对象时,它产生一个指向数组第一个元素的指针,返回的类型保持了除最左边维数外的所有维数。例如:
int *p1 = new int[];
返回的是一个指向int的指针int*。
int (*p2)[] = new int[][];
new了一个二维数组,去掉最左边那一维[3],剩下int[10],所以返回的是一个指向int[10]这种一维数组的指针int (*)[10]。
int (*p3)[][] = new int[][][];
new了一个三维数组, 去掉最左边那一维[5], 还有int[3][10],所以返回的是一个指向二维数组int[2][10]这种类型的指针int (*)[3][10]。
四、内存分配时的出错处理
我们都知道,使用 malloc/calloc 等分配内存的函数时,一定要检查其返回值是否为“空指针”,即检查分配内存的操作是否成功,这是良好的编程习惯,也是编写可靠程序所必需的。但是,如果你简单地把这一招应用到 new 上,那可就不一定正确了。
例如:
int* p = new int[SIZE];
if ( p = = ) // 检查 p 是否空指针
return -;
其实,这里的 if( p == 0 )完全是没意义的。在C++里,如果 new 分配内存失败,默认是抛出异常的。所以,如果分配成功,p == 0 就绝对不会成立;而如果分配失败了,也不会执行 if ( p == 0 ),因为分配失败时,new 就会抛出异常跳过后面的代码。如果你想检查 new 是否成功,应该捕捉异常:
try
{
int* p = new int[SIZE];
}
catch ( const bad_alloc& e )
{
return -;
}
事实上,C++中并非只有抛出异常的new,也有不抛异常的new,即通常所说的“nothrow new”。可以这样使用它:
T* p = new (nothrow) T(MAX_SIZE);
其中,nothrow是头文件<new>中定义的一个类型为std::nothrow_t的常量,我们可以直接使用它。这时,如果内存分配失败,p的值将为空(0),且不会有异常抛出,跟C的malloc很像了。
四、内存分配的“栈”和“堆”
栈,就是那些由编译器在需要的时候分配,在不需要的时候自动清除的变量的存储区。里面的变量通常是局部变量、函数参数等。
堆,就是那些由new分配的内存块,他们的释放编译器不去管,由我们的应用程序去控制,一般一个new就要对应一个delete。如果程序员没有释放掉,那么在程序结束后,操作系统会自动回收。
下面通过汇编代码来了解下栈和堆内存的分配:
int main()
{
int* p = new int;
return ;
}
其中,“int* p = new int;
”对应汇编代码为:
0041358E push //分配一个int型数据大小内存(4个字节),相当于call operator new前,参数入栈
call operator new (4111D6h)
add esp, //call operator new后,恢复栈结构
mov dword ptr [ebp-0D4h],eax //eax值给call operator new返回的结果生成一个临时变量
0041359E mov eax,dword ptr [ebp-0D4h] //临时变量的值赋给寄存器eax
004135A4 mov dword ptr [p],eax //寄存器eax值赋给栈上指针p
上面这句代码就涉及了内存分配的堆和栈,new分配了一块堆内存,指针p分配的是一块栈内存,这句代码的意思就是:在栈内存中存放了一个指向一块堆内存的指针p。在程序会先确定在堆中分配内存的大小,然后调用operator new分配内存,调用结束后返回值存入eax中,再将内存的首地址放入栈中(为p赋值)。
堆和栈主要的区别有以下几点:
(1)管理方式和碎片问题
对于栈来讲,是由编译器自动管理,无需我们手工控制;对于堆来说,释放工作由程序员控制,容易产生内存碎片。
(2)分配效率
栈是系统提供的数据结构,计算机会在底层对栈提供支持,分配专门的寄存器存放栈的地址,压栈出栈都有专门的指令执行,这就决定了栈的效率比较高。堆则是C/C++提供的,它的机制相对复杂,显然堆的效率比栈要低得多。
下面通过汇编代码分析下栈和堆内存存取的效率。
void main()
{
char a = ;
char c[] = "";
char* p = (char *)malloc();
strcpy(p, c);
a = c[];
a = p[];
return;
}
程序中对堆和栈存取的汇编代码为:
a = c[];
004135E7 mov al,byte ptr [ebp-1Fh]
004135EA mov byte ptr [ebp-],al
a = p[];
004135ED mov eax,dword ptr [ebp-2Ch]
004135F0 mov cl,byte ptr [eax+]
004135F3 mov byte ptr [ebp-],cl
可以看出,在栈上存取时直接就把字符串中的元素读到寄存器al中,在堆上存取时则要先把指针值读到eax中,在根据eax读取字符,显然慢了。
(3)增长方向不同
栈内存由一个栈指针esp来开辟和回收,栈内存是从高地址向低地址增长的,增长时,栈指针向低地址方向移动,指针的地址值也就相应的减小;回收时,栈指针向高地址方向移动,地址值也就增加。所以栈内存的开辟和回收都只是指针的加减。
对于堆来讲,增长方向是向上的,也就是向着内存高地址方向移动;回收时,指针向低地址方向移动,地址值也就减小。
(4)空间大小不同
一般来讲在32位系统下,堆内存可以达到4G的空间,从这个角度来看堆内存几乎是没有什么限制的。但是对于栈来讲,一般都是有一定的空间大小的。无论是堆还是栈,都要防止越界现象的发生,因为越界的结果要么是程序崩溃,要么是摧毁程序的堆、栈结构,产生以想不到的结果。