每一本 C++ 教材上都會告訴你，使用new，new []，delete 和 delete [] 的時候必須要配對使用，否則會造成嚴重的后果。那么，到底會有什么嚴重的后果呢？
先說一下 C/C++ 中的內(nèi)存釋放的機制。當 C++ 程序從空余內(nèi)存塊中找出分配出 size 大小的內(nèi)存并且使用完之后，在釋放這塊內(nèi)存的時候，程序如何得知你當初申請了多大的內(nèi)存呢？事實上，當使用 malloc/new/new[] 申請了一塊內(nèi)存的時候，編譯器實際上會在這塊內(nèi)存的頭部保存一個 size_t 信息，記錄了這塊內(nèi)存的大小。這個size信息是需要占用額外的空間的，也就是說：

int * p = new int[10];

這行語句實際上從系統(tǒng)空閑內(nèi)存中索取了sizeof(int) * 10 + sizeof (size_t) 大小的空間，用圖形表示的話大概是這個樣子：

系統(tǒng)的內(nèi)存分布

int * p = new int[10];
delete p;

雖然沒有使用delete []，但內(nèi)存是可以正確地被歸還的，不會引起內(nèi)存泄漏之類的后果（但是，某些比較 powerful 的編譯器可能會報錯）。恰好相反，如果你覺得delete 沒有 delete [] 強勁，試圖通過一個循環(huán)歸還內(nèi)存的話：

int * p = new int[10];
for (int i = 0; i < 10; ++i) {
    delete p+i;
}

則會引發(fā)不可預(yù)知的后果，因為：1，這個時候整個數(shù)組都已經(jīng)歸還了，無需再次歸還；2，delete試圖讀取要刪除的指針頭部的size信息，對于p[1] 及之后的指針來說，前面的一塊內(nèi)存里存放了什么樣的值完全是無法預(yù)料的。同樣地，企圖刪除 new [] 申請的數(shù)組中的某一個元素也是非法的：

int * p = new int[10];
delete p + 5;  // WRONG!

既然 delete 和 delete [] 都能正確地歸還內(nèi)存，那么這兩者又有什么區(qū)別呢？為什么 new/delete、new []/delete [] 必須配對使用？
實際上是，對于C++程序，delete 不僅肩負著歸還內(nèi)存的任務(wù)，還肩負著正確地析構(gòu)對象的任務(wù)。所以，如果用偽代碼表示的話，delete [] 的行為類似于：

for (int i = 0 ; i < memory_size; i = i + sizeof(int)) {
    *((void * )p + i)->~int();  // 這只是個示例，很多編譯器會針對POD對象進行優(yōu)化，把這一步省略掉
}
free(p);

簡而言之，先循環(huán)地對數(shù)組中的對象都調(diào)用一次析構(gòu)函數(shù)，最后再把內(nèi)存歸還給系統(tǒng)。所以，如果對象存在析構(gòu)函數(shù)并且析構(gòu)函數(shù)肩負著比較重要的任務(wù)，例如釋放資源句柄之類的，則必須要使用 delete []；使用 delete 的話，雖然這塊內(nèi)存會正確地歸還，但只會針對數(shù)組內(nèi)的第一個對象執(zhí)行析構(gòu)函數(shù)，后續(xù)的對象的析構(gòu)函數(shù)都無法被執(zhí)行。

以上是 delete 和 delete [] 的區(qū)別，下面是一些奇技淫巧。

我們知道 C++ 中存在著類繼承，對于一個繼承體系下的類的對象，delete 和 delete [] 是怎么執(zhí)行的呢？

class Base {
    private:
        int a;
    public:
        virtual ~Base() {
            cout << "Good bye, Base!" << endl;
        }
};

class Derived : public Base {
    private:
        int b;
    public:
        virtual ~Derived() {
            cout << "Good bye, Derived!" << endl;
        }
};

對于下面的兩行代碼：

Base * p = new Derived();
delete p;

對虛函數(shù)有了解的人都會知道，在delete p;的時候，會執(zhí)行Derived類的析構(gòu)函數(shù)，即使p指針是一個Base類型的指針，這是由C++的虛函數(shù)機制來保證的。那么問題來了：下面兩行代碼，執(zhí)行結(jié)果是什么？

Base * p = new Derived[10];
delete [] p;

即使new []和 delete [] 正確地配對使用了，這段程序的運行依然是不正確的，會出現(xiàn)內(nèi)存訪問錯誤。問題就在于，在執(zhí)行 delete [] p的時候，實際上是這么執(zhí)行的：

for (int i = 0; i < memory_size; i = i + sizeof(Base)) {
    (Base *)((void * ) p + i)->~();
}
free(p);

實際上，在對數(shù)組中的第一個對象執(zhí)行析構(gòu)操作的時候，結(jié)果是正常的：通過虛表指針找到了虛表，再通過虛表找到了派生類的虛析構(gòu)函數(shù)并且執(zhí)行了這個虛析構(gòu)函數(shù)；但是在對第二個對象執(zhí)行析構(gòu)操作的時候，由于Base對象和Derived對象的大小并不相同，(Base *)((void * ) p + i)并不能找到虛表的地址——這個指針實際指向的并不是第二個Derived對象的開頭，而是第一個Derived對象結(jié)尾的幾個字節(jié)！程序會錯誤地把這末尾的幾個字節(jié)的內(nèi)容當做虛表的地址，所以會引發(fā)內(nèi)存訪問錯誤。
C++允許程序員完全地掌控你所寫的程序（甚至允許你嵌入?yún)R編！），但是你必須搞清楚你所寫的是什么。任何一個不恰當?shù)夭僮鞫伎赡芤l(fā)災(zāi)難性的后果，不會有 exception 讓你去 catch，而是直接 down 掉整個程序。這門語言迷人和迷惑人的地方就在這兒——從語言本身的特性來講，C++大概真的是復(fù)雜度最高的編程語言了。