[問題] delete [] 順序？

[xatier (xatier)]

開發平台(Platform): (Ex: VC++, GCC, Linux, ...) 

Ubuntu Linux 12.04 / gcc 4.6.3


問題(Question)：


期中考筆試考題，以下 code 的 output 是什麼？


#include <iostream>

using namespace std;

struct T {
    T(int n=0) : a(n) {cout << a;}
    ~T() {cout << a ;}
    int a;
};

int main (void)
{
    delete [] new T[3] {1, 2, 3};
    return 0;
}



預期的正確結果(Expected Output)：

123123

錯誤結果(Wrong Output)：

123321


補充說明(Supplement)：

用 delete [] 釋放 new [] 來的 array 時，

他去呼叫 dtor 的順序為什麼是倒過來的？這樣設計有什麼特別原因嗎？


對於 C++ 裏面物件何時呼叫自己的 dtor 把殺死自己的時間點不是很清楚

我只知道一般物件(區域變數)在碰到區塊 } 時會結束生命

而動態 new 出來的物件則是要自己 delete 時才會去找 dtor

求詳細觀念導正@@

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.113.247.99
→ diabloevagto:你的觀念基本上是對的，在程式結束的時候也會delete
→ diabloevagto:不知道array跟繼承class的dtor有沒有關系
→ diabloevagto:繼承的話ctor是從父類別先，dtor是從子類別先
→ diabloevagto:http://ideone.com/GhSeA
→ purpose:沒聽過、沒看過有書或人，保證 delete [] 時的 dtor 順序
→ purpose:你也只是從結果看，也許別的系統不是這樣，應該不用在意吧
→ xatier:恩，因為這個是老師的考題，我也很懷疑會不會是 undefined
→ xatier:behavior ，所以上來問大家一下 :D
→ xatier:@diabloevagto 明白了，感謝！
推 purpose:我認為 array 內物件的建、解構順序應該是冷門而不重要的
→ purpose:誰在乎同類別的物件先後順序呢？通常都是關心異類的，主要
→ purpose:就是 1. base 的 ctor 早 dtor 晚; 2. 類別成員被定義(宣
→ purpose:告) 的比較早的，則 ctor 也會比較早 (所以 dtor 就晚)
→ xatier:http://goo.gl/U4cFq 這邊有人說是  in reverse order 的
→ xatier:@purpose: 為什麼 ctor 比較早 dtor 會比較晚？這邊不懂@@
→ xatier:剛剛又複習了一下這邊的概念，總算有點頭緒了，感謝 p 大！
推 purpose:我回文講比較好寫
→ xatier:恩恩，麻煩您了！謝謝！   等等下課再回來看 :P
→ diabloevagto:＠x：可以這麼想，要先有父親才有兒子，所以要先有
→ diabloevagto:base的ctor才有sub的ctor
→ diabloevagto:至於dtor因為在sub內包含base的data，所以要先把sub
→ diabloevagto:dtor才能再把base dtor，可以想想如果先把base tor
→ diabloevagto:                                             dtor
→ diabloevagto:那sub包含的東西不就不見了
→ diabloevagto:我大概是這樣理解的，有錯請指教＠＠
→ xatier:要先有父親才有兒子 XDDDD
推 loveme00835:try out  -fno-elide-constructors option
→ xatier:xtended initializer lists only available with -std=c++0
→ xatier:這個是什麼意思阿@@ C++11 有新的規則?
→ xatier:forces G++ to call the copy constructor in all cases
→ xatier:看了一下 man g++，是強迫打開所有 copy ctor 的意思
→ xatier:原本就有用 std=c++0x 的 flag，剛剛嘗試版主說的那行就忘
→ xatier:了XDD 不過為什麼結果會變成 111222333321 呢@@?
推 loveme00835:also try this code http://ideone.com/pdWiP
→ loveme00835:keyword: initializer_list
→ xatier:看起來是會丟給 move ctor 去工作
→ loveme00835:所以正常情況下, 答案都不對 XD
→ loveme00835:上課學到哪些 c++11 的 feature呢? 真羨慕 <3
→ xatier:可是當這些 feature 變成作業海和考試山就悲劇了XDDDD
→ linotwo:一般的情況下，從系統分配記憶體的順序和歸還的順序
→ linotwo:應該是反過來的。最先分配的最晚歸還。
→ linotwo:這樣的效率最高並且可以減少記憶體碎片。
→ linotwo:用 [] 來 new 的記憶體是一整塊，但是在 class 裡面
→ linotwo:可能會需要從系統分配記憶體
→ linotwo:所以 delete 的時後順序倒過來，是正常釋放記憶體的順序
推 snaketsai:C++11 working draft n3337,Sect. 12.6 :
→ snaketsai:Destructors for the array elements are called in \
→ snaketsai:reverse order of their construction.
→ snaketsai:不過真的很冷門就是了@@