網際網路四大服務 答客問 (1) - reference and delete 侯捷 [email protected] 2000.03.25 第一次發表於 清大.楓橋驛站（140.114.87.5）.電腦書訊版（Computer/CompBook） 本文將於日後整理於 侯捷網站 侯捷網站：www.jjhou.com ---------------------------------------------------------------- sammy wu wrote (2000/3/9) : >候老師您好, > > 日前閱讀 "網際網路親手打造四大服務" 一書. > 在第二章 p45 發現一問題.. > 在 BasicServiceThread 函式中, > > Line0085 Win32TCPEnv &Env = pStub->m_Env; > .... > 但隨即 delete pStub; > > 學生想問的是, 前面是 just 宣告 reference, > 如果作了 delete pStub, Env 還存在嗎?? > > 還是我觀念出了問題 ? > > anyway,感謝老師百忙中檢視我的疑問. 侯捷回覆： 1. 我姓「侯」，不姓「候」 2. 為什麼你不問原作者 :( 3. 好吧，我代打 :) 首先我要說，家俊的這本書涵蓋了一個不小的 library。 其間細節多如牛毛，我無法就 library 的細節部份回答你。 這方面還是請你問作者王家俊先生（他的 email addr 在其序文最後） 但我可就 local 的範圍來檢視你的觀念和你的問題。寫個測試程式， 其中變數名稱皆模仿 p45： #include <iostream> using namespace std; class CWin32TCPEnv { public: // ctor CWin32TCPEnv(int i1, int i2) : m_i1(i1), m_i2(i2) { } // copy ctor CWin32TCPEnv(const CWin32TCPEnv& Env) : m_i1(Env.m_i1), m_i2(Env.m_i2) { cout << "CWin32TCPEnv copy ctor \n"; } void show() { cout << m_i1 << ' ' << m_i2 << endl; } private: int m_i1, m_i2; }; class CClientStub { public: CClientStub(int i1, int i2) : m_Env(i1, i2) { } // public data member CWin32TCPEnv m_Env; }; void BasicServiceThread(void* lpArg) { CClientStub *pStub = (CClientStub *)lpArg; CWin32TCPEnv &Env = pStub->m_Env; Env.show(); // 9 28 (5) delete pStub; // 這裡測試 Env 還在否 Env.show(); // 7802592 6618664 亂碼，資料不在了！ (6) } int main() { CClientStub *pStub = new CClientStub(9, 28); CWin32TCPEnv &Env1 = pStub->m_Env; // (1) CWin32TCPEnv Env2 = pStub->m_Env; // CWin32TCPEnv copy ctor (2) Env1.show(); // 9 28 (3) Env2.show(); // 9 28 (4) BasicServiceThread(pStub); Env1.show(); // 7802592 6618664 亂碼，資料不在了！ (7) Env2.show(); // 9 28 (8) } 每行註解都代表其輸出。註解後的編號是為了解說方便。 如你所見，(1) 是 reference，其 assignment 動作並沒有喚起 copy ctor。 程式進行至 (5)，資料還在。delete 之後，(6) 顯示，資料已被破壞了。 (7) 受到 pass by pointer（或說 pass by reference）的影響， 資料也遺失了。 純粹從技術的角度來探討，我們有辦法讓資料不遺失。辦法是 攔截 delete pStub; 使它落到我們的控制之中。也就是說 在 class CClientStub 內將 operator delete 多載化，如下： class CClientStub { public: ... static void operator delete(void *rawMem, size_t size) { } ... }; 正常情況下它應該做點額外處理，然後將記憶體釋放。但現在 這個 operator delete 什麼都沒做，因此記憶體不會被釋還。 增加這個 operator delete 之後，上述程式的 (6)(7) 輸出就 不再是亂碼，而是 9 28（正確值），表示資料還在。 operator delete 和 operator new，可在 "Effective C++" item5~10 獲得豐富的說明和示範。 但以上純粹只是技術探討，應該沒有人會多載化 operator delete 之後 故意不釋放記憶體。我相信家俊也不會這麼做（此刻我沒有時間去 trace 他那麼大一個 library）。 既然我認為不會那麼做，那麼，程式不就有問題了嗎？於是我再往前一步， 看看 library 之中是誰在呼叫 BasicServiceThread()，我發現是 p47 的： CClientStub *pStub = new CClientStub(...); .... HANDLE theClient = ::CreateThread(NULL, 0, ::BasicServiceThread, pStub, 0, &ClientThreadId); 換句話說 BasicServiceThread 被用來做為 thread function， 而非如一般函式被直接叫用。thread functions 和一般 functions 有什麼 差異嗎？特別是在引數傳遞方面？我查了 Jeffrey Richter 的 Advanced Windows 3/e, p.82，此處對 CreateThread 的每一個參數 解釋非常詳細。我看不出來 therad function 在引數傳遞方面 和一般函式有什麼差異之處。 所以，看起來，家俊這個 library 在此有點問題。但這是一個 得過大獎的程式，被 CMP Net 的 TechWeb News 選為全球六大 source free 軟體之一（見該書 p303）。所以，是不是有什麼 我沒有看到注意到的地方？ anyway，這個問題頗有趣，我會把此 Q/A 轉給家俊。他目前正在 服役，我不知道何時才會獲得他的回音。 -- the end  -- ※ Origin: 楓橋驛站<bbs.cs.nthu.edu.tw> ◆ Mail: [email protected]