99精品久久精品,国产精品美女久久久久av爽,国产精品久久久久久久午夜片

由一個空對象指針引起的思考

經常存在這樣一種情況，寫代碼的時候按照一種固有思維去寫，可能時間久了都沒有考慮過為什么這么寫，不這么寫會引起什么錯誤。我時常有這樣的困惑，了解太少，有時候遇到蹊蹺的事情也沒時間探究。
今天在跟蹤mfc庫的時候，遇到一件事情使我非常驚訝，徹底打破了我對空對象指針的看法。在我的概念里面，空的對象指針是不能使用的，不能調用方法。不知道大家有沒有這樣的想法，事實證明是不對的。下面看看我跟蹤的代碼：

CWnd * ?PASCAL?CWnd::FromHandle(HWND?hWnd)

{

????CHandleMap * ?pMap? = ?afxMapHWND(TRUE);? // create?map?if?not?exist

????ASSERT(pMap? != ?NULL);

????CWnd * ?pWnd? = ?(CWnd * )pMap -> FromHandle(hWnd);

#ifndef?_AFX_NO_OCC_SUPPORT

????pWnd -> AttachControlSite(pMap);

#endif

????ASSERT(pWnd? == ?NULL? || ?pWnd -> m_hWnd? == ?hWnd);

???? return ?pWnd;

}

上面代碼中，pWnd指針是空的，然而可以調用方法。我百思不得其解，無奈只有寫一個例子看看。

#include?<iostream>

using?namespace?std;

class?CObj

{

public:

????void?Test();

public:

????static?int?m_iInt;

};

int?CObj::m_iInt?=?100;

void?CObj::Test()

{

????cout?<<?m_iInt?<<?endl;

}

int?main(int?argc,?char*?argv[])

{

????CObj*????????pObj????=?(CObj*)1;

????pObj->Test();

????((CObj*)0)->Test();

????((CObj*)1)->Test();

????CObj????????obj;

????obj.Test();

????return?0;

}

一個類，包含一個靜態變量和一個實例方法。可以通過空指針，非法指針訪問靜態變量和實例方法，前提是方法里面不可以訪問成員變量，否則在運行期出現非法訪問錯誤，因為對象在內存中不存在，而方法是存在的。我開始懷疑靜態方法的威力了，它只不過提供了編譯期成員的安全訪問罷了。

下面看看匯編，因為只有通過匯編才能了解更深的問題：

25:???????CObj*???????pObj????=?(CObj*)1;

00401848???mov?????????dword?ptr?[ebp-4],1

26:???????pObj->Test();

0040184F???mov?????????ecx,dword?ptr?[ebp-4]

00401852???call????????@ILT+565(CObj::Test)?(0040123a)

27:???????((CObj*)0)->Test();

00401857???xor?????????ecx,ecx

00401859???call????????@ILT+565(CObj::Test)?(0040123a)

28:???????((CObj*)1)->Test();

0040185E???mov?????????ecx,1

00401863???call????????@ILT+565(CObj::Test)?(0040123a)

29:???????CObj????????obj;

30:???????obj.Test();

00401868???lea?????????ecx,[ebp-8]

0040186B???call????????@ILT+565(CObj::Test)?(0040123a)

俺不懂匯編，臨時查了一下，獻丑了。
ecx里面存放的是對象的this指針，@ILT是函數的入口點，調用時將ecx傳遞到函數內部，其實對于編譯器函數是全局的，函數調用的時候都需要傳遞this指針作為第一個參數傳遞過去。所以可以上面的代碼在內存訪問方面都是合法的，一旦訪問this的非靜態成員變量，勢必導致非法內存訪問。

順便侃侃編譯器優化，我不懂到底那個操作效率高，只談談區別。
((CObj*)0)->Test();和((CObj*)1)->Test();對應的匯編：
00401857???xor?????????ecx,ecx
00401859???call????????@ILT+565(CObj::Test)?(0040123a)
和
0040185E???mov?????????ecx,1
00401863???call????????@ILT+565(CObj::Test)?(0040123a)
靠，這都有區別，0指針的時候異或一下剛好是0。無奈啊，編譯器確實好智能。

posted on 2006-09-20 11:49 萬連文閱讀(1277) 評論(3) 編輯收藏引用所屬分類: 亂七八糟

相冊

搜索

只有注冊用戶登錄后才能發表評論。
【推薦】100%開源！大型工業跨平臺軟件C++源碼提供，建模，組態！

相關文章: 幫朋友尋找一個后臺開發我對谷歌的chromium和android發展的看法一些自己的想法，歡迎討論 2010年總結: 停止博客更新臨時備忘設置樹節點高度的一種方法技術回歸01-Windows內存分配工具筆記本顯示器不亮，有人遇見過嗎？？ linux學習一：wchar輸出

網站導航: 博客園 IT新聞 BlogJava 博問 Chat2DB 管理

常用鏈接

留言簿(66)

隨筆分類

隨筆檔案

相冊

搜索

最新評論

閱讀排行榜

評論排行榜