在之前我們所寫過的程序中,所必需的內存空間的大小都是在程序執行之前就已經確定了。但如果我們需要內存大小為一個變量,其數值只有在程序運行時 (runtime)才能確定,例如有些情況下我們需要根據用戶輸入來決定必需的內存空間,那么該怎么辦呢?
答案是動態內存分配(dynamic memory),為此C++ 集成了操作符 new 和 delete。
1. new 和 new [] 操作符
動態內存分配用操作符 new 。new 后面跟一個數據類型,如果要求的元素多於一個,需要加上 [],元素數量放在 [] 中。它返回一個指向內存塊開始位置的指針。語法是:
pointer = new type
pointer = new type [number_of_elements]
第一個表達式為數據類型為 ‘type’ 的一個元素分配內存地址。第二個表達式為數據類型為 ‘type’ 的一組元素分配一塊內存,其中 number_of_elements 是整數型,表示元素的個數。例如:
int* foo;
foo = new int[5];
在這個例子里,操作系統分配了可存儲5個整型int元素的內存空間,返回指向這塊空間開始位置的指針並將它賦給foo。因此,現在foo 指向一塊可存儲5個整型元素的合法的內存空間,如下圖所示。
這里,foo 是一個指針,foo指向的第一個元素可以通過語句 foo[0] 或 *foo 得到,兩者是等價的。第二個元素可以通過語句 foo[1] 或 *(foo+1) 得到,依次類推......
那么剛才所作的給指針分配內存空間與定義一個普通的數組有什么不同呢?最重要的不同是,一個普通數組的長度必須是一個常量,這就將它的大小在程序執行之前就被決定了。而采用動態內存分配時,數組的長度可以常量或變量,其值可以在程序執行過程中再確定。
動態內存分配通常由操作系統控制,在多任務的環境中,它可以被多個應用(applications)共享,因此內存有可能被用光。如果這種情況發生,操作系統將不能在遇到操作符new 時分配所需的內存,一個空值指針(null pointer)將被返回。
C++ 提供兩種標准機制來檢查內存是否分配成功:
(1)處理異常。
這種方法,當內存分配失敗時,會拋出一個 bad_alloc 類型的異常。然后程序被終止。
這個方法是默認使用 new 時具有的異常方法,也就是:
foo = new int[5];
(2)使用 nothrow 。
當內存分配失敗時,它不拋出異常 或 終止程序,而是被 new 返回一個空值指針,程序照常執行。
nothrow 是一個在頭文件 <new> 中被聲明的特殊對象,作為 new 的參數:
foo = new (nothrow) int[5];
當分配內存時,可以檢查 foo 的值,若是 空值指針 null pointer 則是分配失敗:
int* foo;
foo = new (nothrow)int[5];
if (foo == nullptr){//采取的措施}
2. delete 和 delete[] 操作符
大部分情況下,動態分配的內存只在程序運行的具體的階段內才有用,一旦它不再被需要,就要被釋放掉,以便后面的內存分配能夠使用。這就用到了delete 操作符。語法:
delete pointer;
delete []pointer;
第一種表達形式用來刪除給單個元素分配的內存,第二種表達形式用來刪除多元素(數組)的內存分配。
用 delete 釋放內存時,被釋放的指針,其指向的內存要么是通過 new 分配的;要么是空指針(null pointer)(對於空指針,delete 不會做任何操作)。
#include <iostream> #include <new>//不寫vs2010不會報錯
using namespace std; int main{ int i ,n; int* p; cout<<"How many numbers would you like to type ? " cin>>i;
p = new (nothrow)int [i]; //根據用戶輸入動態分配內存
if (p == nullptr) //檢查內存是否分配成功
{cout<<"Error: member could not be allocatec!"} else { for(n = 0; n < i; n++) { cout<<"Enter number :"; cin>>p[n]; } cout<<"You have entered :"
for(n = 0; n < i; n++) { cout<<p[n]<<", "; } delete []p; } return 0; }
C語言中使用 malloc, calloc, realloc 和 free 操作內存。C++ 也支持這些語法,這些語法定義在頭文件 <cstdlib> 中 (C 語言是在<stdlib.h>)。但這些與 new, delete 並不兼容,不要混用。