怎樣使C++編譯器實現(xiàn)異常處理
在介紹C++編譯器的前提下,先要介紹一下什么是C++編譯器,C++編譯器是一個與標準化C++高度兼容的編譯環(huán)境,這點對于編譯可移植的代碼十分重要,編譯器對不同的CPU會進行不同的優(yōu)化。
它將正常代碼 和錯誤處理代碼清晰的劃分開來,程序變得非常干凈并且容易維護。本文討論了編譯器如何實現(xiàn)異常處理。我將假定你已經(jīng)熟悉異常處理的語法和機制。本文還提供 了一個用于VC++的異常處理庫,要用庫中的處理程序替換掉VC++提供的那個,你只需要調(diào)用下面這個函數(shù):
- install_my_handler();
之后,程序中的所有異常,從它們被拋出到堆棧展開(stack unwinding),再到調(diào)用catch塊,最后到程序恢復正常運行,都將由我的異常處理庫來管理。 與其它C++特性一樣,C++標準并沒有規(guī)定編譯器應該如何來實現(xiàn)異常處理。這意味著每一個編譯器的提供商都可以用它們認為恰當?shù)姆绞絹韺崿F(xiàn)它。
下面我會 描述一下VC++是怎么做的,但即使你使用其它的編譯器或操作系統(tǒng)①,本文也應該會是一篇很好的學習材料。VC++的實現(xiàn)方式是以windows系統(tǒng)的結 構化異常處理(SEH)②為基礎的。
在本文的討論中,我認為異?;蛘呤潜幻鞔_的拋出的,或者是由于除零溢出、空指針訪問等引起的。當它發(fā)生時會產(chǎn)生一個中斷。接下來控制權就會傳遞到操作系統(tǒng) 的手中。操作系統(tǒng)將調(diào)用異常處理程序,檢查從異常發(fā)生位置開始的函數(shù)調(diào)用序列。
進行堆棧展開和控制權轉(zhuǎn)移。Windows定義了結構 "EXCEPTION_REGISTRATION",使我們能夠向操作系統(tǒng)注冊自己的異常處理程序。
- #include
- #include
- using std::cout;
- using std::endl;
- struct EXCEPTION_REGISTRATION
- {
- EXCEPTION_REGISTRATION* prev;
- DWORD handler;
- };
- EXCEPTION_DISPOSITION myHandler(
- _EXCEPTION_RECORD *ExcRecord,
- void * EstablisherFrame,
- _CONTEXT *ContextRecord,
- void * DispatcherContext)
- {
- cout << "In the exception handler" << endl;
- cout << "Just a demo. exiting..." << endl;
- exit(0);
- return ExceptionContinueExecution; //不會運行到這
- }
- int g_div = 0;
- void bar()
- {
- //初始化一個EXCEPTION_REGISTRATION結構
- EXCEPTION_REGISTRATION reg, *preg = ®
- reg.handler = (DWORD)myHandler;
- //取得當前異常處理鏈的"頭"
- DWORD prev;
- _asm
- {
- mov EAX, FS:[0]
- mov prev, EAX
- }
- reg.prev = (EXCEPTION_REGISTRATION*) prev;
- //注冊!
- _asm
- {
- mov EAX, preg
- mov FS:[0], EAX
- }
- //產(chǎn)生一個異常
- int j = 10 / g_div; //異常,除零溢出
- }
- int main()
- {
- bar();
- return 0;
- }
注意EXCEPTION_REGISTRATION必須定義在棧上,并且必須位于比上一個結點更低的內(nèi)存地址上,windows對此有嚴格要求,達不到的話,它就會立刻終止進程。
【編輯推薦】