int n; int a[n]; //这种定义是不允许的
但是在实际的编程中,往往会出现所需的内存空间大小取决于实际要处理的数据多少,而实际要处理的数据数量在编程时无法确定的情况。如果总是定义一个尽可能大的数组,又会造成空间浪费。何况,这个“尽可能大”到底应该多大才够呢?
为了解决上述问题,C++ 提供了一种“动态内存分配”机制,使得程序可以在运行期间,根据实际需要,要求操作系统临时分配一片内存空间用于存放数据。此种内存分配是在程序运行中进行的,而不是在编译时就确定的,因此称为“动态内存分配”。
在 C++ 中,通过 new 运算符来实现动态内存分配。new 运算符的第一种用法如下:
T *p = new T;
其中,T 是任意类型名,p 是类型为 T* 的指针。
这样的语句会动态分配出一片大小为 sizeof(T) 字节的内存空间,并且将该内存空间的起始地址赋值给 p。例如:
int* p; p = new int; *p = 5;
第二行动态分配了一片 4 个字节大小的内存空间,而 p 指向这片空间。通过 p 可以读写该内存空间。
new 运算符还有第二种用法,用来动态分配一个任意大小的数组:
T *p =new T[N];
其中,T 是任意类型名,p 是类型为 T* 的指针,N 代表“元素个数”,可以是任何值为正整数的表达式,表达式中可以包含变量、函数调用等。这样的语句动态分配出 N × sizeof(T) 个字节的内存空间,这片空间的起始地址被赋值给 p。例如:
int* pn; int i = 5 ; pn = new int[i*20]; pn[0] = 20 ; pn[100] = 30;
最后一行编译时没有问题,但运行时会导致数组越界。因为上面动态分配的数组只有 100 个元素,pn[100] 已经不在动态分配的这片内存区域之内了。
如果要求分配的空间太大,操作系统找不到足够的内存来满足,那么动态内存分配就会失败,此时程序会拋出异常。关于这一点,将在后续章节中介绍。
程序从操作系统动态分配所得的内存空间在使用完后应该释放,交还操作系统,以便操作系统将这片内存空间分配给其他程序使用。C++ 提供 delete 运算符,用以释放动态分配的内存空间。delete 运算符的基本用法如下:
delete p;
p 是指向动态分配的内存的指针。p 必须指向动态分配的内存空间,否则运行时很可能会出错。例如:
int* p = new int; *p = 5; delete p; delete p; //本句会导致程序出错
上面的第一条 delete 语句正确地释放了动态分配的 4 个字节内存空间。第二条 delete 语句会导致程序出错,因为 p 所指向的空间已经释放,p 不再是指向动态分配的内存空间的指针了。
如果是用 new 的第二种用法分配的内存空间,即动态分配了一个数组,那么释放该数组时,应以如下形式使用 delete 运算符:
delete[] p;
p 依然是指向动态分配的内存的指针。例如:
int* p = new int[20]; p[0] = 1; delete[] p;
同样地,要求被释放的指针 p 必须是指向动态分配的内存空间的指针,否则会出错。
如果动态分配了一个数组,但是却用delete p
的方式释放,没有用[]
,则编译时没有问题,运行时也一般不会发生错误,但实际上会导致动态分配的数组没有被完全释放。
牢记,用 new 运算符动态分配的内存空间,一定要用 delete 运算符释放。否则,即便程序运行结束,这部分内存空间仍然不会被操作系统收回,从而成为被白白浪费掉的内存垃圾。这种现象也称为“内存泄露”。
如果一个程序不停地进行动态内存分配而总是没有释放,那么可用内存就会被该程序大量消耗,即便该程序结束也不能恢复。这就会导致操作系统运行速度变慢,甚至无法再启动新的程序。但是,只要重新启动计算机,这种情况就会消失。
编程时如果进行了动态内存分配,那么一定要确保其后的每一条执行路径都能释放它。
另外还要注意,释放一个指针,并不会使该指针的值变为 NULL。
原创文章,作者:奋斗,如若转载,请注明出处:https://blog.ytso.com/tech/pnotes/21509.html