Re: 網際網路四大服務 答客問 (1) - reference and delete 侯捷 [email protected] 2000.03.26 第一次發表於 清大.楓橋驛站（140.114.87.5）.電腦書訊版（Computer/CompBook） 本文將於日後整理於 侯捷網站 侯捷網站：www.jjhou.com ---------------------------------------------------------------- 網際網路四大服務 答客問 (1) 之中，我代作者王家俊先生回覆了 sammy 讀者的一個問題。但我自己亦從中心生疑惑。所以我把 答客問 (1) 轉給家俊。雖然家俊正在服兵役，卻很快做了回覆。 以下是其來信。 jcwang wrote (2000/03/26) : > 侯大哥，您好： > > 感謝您替我對讀者 sammy 做了這麼詳盡的回答。我想讀者會選擇直接 > 問侯捷而不問作者，想必是因為「侯捷」這個招牌已經成了「有問 > 必答」的代名詞，寫信問原作者還未必能得到如此詳盡的回覆呢！ :) > 這是一件可喜可賀的事！ > > 我把一個比較接近我原意的程式寫在下方： > > // jcw 032600 > > #include <iostream.h> > > class A // 類似原來的 CWin32TCPEnv > { > public: > int val ; > } ; > > class B // 類似原來的 ClientStub > { > public: > B( A &initval ) : val( initval ) {} > A &val ; // 請注意，這裡是 by reference，這是關鍵！ > } ; > > int main( void ) > { > A myA ; > myA.val = 5 ; > > B *pB = new B( myA ) ; // B 將 myA 關聯到它的 val 成員 > > A &finalA = pB->val ; // 類似 CWin32TCPEnv &Env = pStub->m_Env ; > > cout << finalA.val << endl ; // 輸出 5 > > delete pB ; > > cout << finalA.val << endl ; // 仍舊輸出 5。顯然 delete pB > // 並未自動解構參照成員 > > return 0 ; > // 這個時候 A 才被解構。替 A 寫一個 destructor 便可知。 > } > > 所以觀察到的是 desructor 並不會呼叫其「參照成員」的 destructor > (但確定會解構其實體成員)。從我手中的資料無法判斷這是 VC++ 的 bug > 還是標準行為，不過 HelloTCPIP 能正常工作完全依據的就是這一點。 > > 請侯大哥指教。 侯捷補充： > 我想讀者會選擇直接問侯捷而不問作者，想必是因為「侯捷」這個招牌 > 已經成了「有問必答」的代名詞。 不不不。侯捷絕非「有問必答」。除了對侯捷所著所譯之書籍提出 疑惑或指正，我會比較積極回答之外，其他則要看時間、看心情、 看主題、看能力。這陣子我整理信件加以回覆，竟然有「上個世紀」 寫來的讀者來函，說實在有點不好意思。對方可能早就犯嘀咕了吧。 回到正題。上封信中，我沒有仔細看書中 ClientStub's data member Env 的宣告方式，想當然爾地以 by value 方式來宣告它： class CClientStub { ... CWin32TCPEnv m_Env; }; 書中其實是以 by reference 方式來宣告它：(p45, #0076) class CClientStub { ... CWin32TCPEnv &m_Env; // <-- a reference member }; 換句話說 CClientStub 有一個 reference member。這便是關鍵所在。 我把書中程式重新簡化如下： #include <iostream> using namespace std; class CWin32TCPEnv { public: // default ctor CWin32TCPEnv() : m_i1(9), m_i2(28) { cout << "CWin32TCPEnv default ctor \n"; } // copy ctor CWin32TCPEnv(const CWin32TCPEnv& Env) : m_i1(Env.m_i1), m_i2(Env.m_i2) { cout << "CWin32TCPEnv copy ctor \n"; } // dtor ~CWin32TCPEnv() { cout << "CWin32TCPEnv dtor \n"; } void show() { cout << m_i1 << ' ' << m_i2 << endl; } private: int m_i1, m_i2; }; class CClientStub { public: // ctor CClientStub(CWin32TCPEnv& Env) : m_Env(Env) // (c) { cout << "CClientStub ctor \n"; } // dtor ~CClientStub() { cout << "CClientStub dtor \n"; } // public data member CWin32TCPEnv &m_Env; // 注意，是個 reference member. }; void BasicServiceThread(void* lpArg) { CClientStub *pStub = (CClientStub *)lpArg; CWin32TCPEnv &Env = pStub->m_Env; delete pStub; // CClientStub dtor (a) // 這裡測試 Env 還在否? Env.show(); // 9 28。資料仍在，顯示 delete operator 並不會解構 // 「物件內之 reference member」所代表的物件。 // scope 結束前，並未喚起 Env 的 CWin32TCPEnv dtor // 因為此處 Env 是個 reference。 (b) } int main() { CWin32TCPEnv Env; // CWin32TCPEnv default ctor Env.show(); // 9 28 CClientStub *pStub = new CClientStub(Env); // CClientStub ctor BasicServiceThread(pStub); // 這裡測試 Env 還在否? Env.show(); // 9 28 // scope 結束前，喚起 Env 的 CWin32TCPEnv dtor } 讓我們從 C++ 語言層面探討之。reference members 和 pointer members 的表現有以下兩個相同點： (1) 當物件被解構，其 reference members 或 pointer members 所代表 （所指向）的物件並不會被一併解構。見上例 (a) (2) pointer 或 reference 不會因為退出 scope 而使其 「所代表之物件」被自動解構。見上例 (b)。 （但可能因為其他原因而被解構） 此外，reference member 一定得於 member initialization list 中 初始化。見上例 (c)。參考《C++ Primer 中文版》p720. 針對上述 (1)，Effective C++ 的 item6 給了一個忠告： item 6 : "Use delete on pointer members in destructors." 否則會出現 memory leak 問題。 家俊說： > 我手中的資料無法判斷這是 VC++ 的 bug 還是標準行為， > 不過 HelloTCPIP 能正常工作完全依據的就是這一點。 這是 C++ 標準行為。不過一般而言，reference 主要用於 函式的型式參數（formal parameters）；一般程式較少使用 reference 獨立物件。 -- the end  -- ※ Origin: 楓橋驛站<bbs.cs.nthu.edu.tw> ◆ Mail: [email protected]