C++程序運(yùn)行時(shí)的異常處理
程序中的錯(cuò)誤分為編譯時(shí)的錯(cuò)誤和運(yùn)行時(shí)的錯(cuò)誤。編譯時(shí)的錯(cuò)誤主要是語法錯(cuò)誤,比如:句尾沒有加分號(hào),括號(hào)不匹配,關(guān)鍵字錯(cuò)誤等,這類錯(cuò)誤比較容易修改,因?yàn)榫幾g系統(tǒng)會(huì)指出錯(cuò)誤在第幾行,什么錯(cuò)誤。而運(yùn)行時(shí)的錯(cuò)誤則不容易修改,因?yàn)槠渲械腻e(cuò)誤是不可預(yù)料的,或者可以預(yù)料但無法避免的,比如內(nèi)存空間不夠,或者在調(diào)用函數(shù)時(shí),出現(xiàn)數(shù)組越界等錯(cuò)誤。如果對(duì)于這些錯(cuò)誤沒有采取有效的防范措施,那么往往會(huì)得不到正確的運(yùn)行結(jié)果,程序不正常終止或嚴(yán)重的會(huì)出現(xiàn)死機(jī)現(xiàn)象。我們把程序運(yùn)行時(shí)的錯(cuò)誤統(tǒng)稱為異常,對(duì)異常處理稱為異常處理。C++中所提供的異常處理機(jī)制結(jié)構(gòu)清晰,在一定程度上可以保證程序的健壯性。
C++中處理異常的過程是這樣的:在執(zhí)行程序發(fā)生異常,可以不在本函數(shù)中處理,而是拋出一個(gè)錯(cuò)誤信息,把它傳遞給上一級(jí)的函數(shù)來解決,上一級(jí)解決不了,再傳給其上一級(jí),由其上一級(jí)處理。如此逐級(jí)上傳,直到***一級(jí)還無法處理的話,運(yùn)行系統(tǒng)會(huì)自動(dòng)調(diào)用系統(tǒng)函數(shù)terminate,由它調(diào)用abort終止程序。這樣的異常處理方法使得異常引發(fā)和處理機(jī)制分離,而不在同一個(gè)函數(shù)中處理。這使得底層函數(shù)只需要解決實(shí)際的任務(wù),而不必過多考慮對(duì)異常的處理,而把異常處理的任務(wù)交給上一層函數(shù)去處理。
C++的異常處理機(jī)制有3部分組成:try(檢查),throw(拋出),catch(捕獲)。把需要檢查的語句放在try模塊中,檢查語句發(fā)生錯(cuò)誤,throw拋出異常,發(fā)出錯(cuò)誤信息,由catch來捕獲異常信息,并加以處理。一般throw拋出的異常要和catch所捕獲的異常類型所匹配。異常處理的一般格式為:
- try
- {
- 被檢查語句
- throw 異常
- }
- catch(異常類型1)
- {
- 進(jìn)行異常處理的語句1
- }
- catch(異常類型2)
- {
- 進(jìn)行異常處理的語句2
- }
- ...
下面我們用示例演示一下異常處理:
- #include "stdafx.h"
- #include <iostream>
- template <typename T>
- T Div(T x,T y)
- {
- if(y==0)
- throwy;//拋出異常
- returnx/y;}
- intmain()
- {
- intx=5,y=0;
- doublex1=5.5,y1=0.0;
- try
- {//被檢查的語句
- std::cout<<x<<"/"<<y<<"="<<Div(x,y)<<std::endl;
- std::cout<<x1<<"/"<<y1<<"="<<Div(x1,y1)<<std::endl;
- }
- catch(int)//異常類型
- {
- std::cout<<"除數(shù)為0,計(jì)算錯(cuò)誤!"<<std::endl;//異常處理語句
- }
- catch(double)//異常類型
- {
- std::cout<<"除數(shù)為0.0,計(jì)算錯(cuò)誤!"<<std::endl;//異常處理語句
- }
- return0;
- }
結(jié)果:
看了上述的示例代碼,也許有人會(huì)問,第二個(gè)雙精度類型的除法計(jì)算也應(yīng)該拋出異常才對(duì)啊,在實(shí)際的運(yùn)行過程中并非如此,其實(shí)該雙精度類型除法函數(shù)根本沒有被執(zhí)行過。以上程序的執(zhí)行規(guī)程為:調(diào)用函數(shù)Div(x,y)時(shí)發(fā)生異常,由函數(shù)Div中的語句"throw y"拋出異常,并不在往下執(zhí)行return x/y,接著catch捕獲int類型的異常并處理異常,***直接執(zhí)行"return 0"。因此函數(shù)Div(x1,y1)和catch(double){}模塊根本沒有被執(zhí)行。如果,我們把y的值改為1,則結(jié)果就變成為:
如果在執(zhí)行try語句模塊時(shí),沒有發(fā)生異常,則catch語句塊不起作用,流程轉(zhuǎn)到其后的語句繼續(xù)執(zhí)行。從上述兩個(gè)結(jié)果中可知***次throw拋出的int類型所以找到處理該類型的catch,而第二次是拋出double類型所找到的是處理double類型的catch。
下面對(duì)異常處理補(bǔ)充幾點(diǎn):(1)try和catch塊中必須要用花括號(hào)括起來,即使花括號(hào)內(nèi)只有一個(gè)語句也不能省略花括號(hào);(2)try和catch必須成對(duì)出現(xiàn),一個(gè)try_catch結(jié)果中只能有一個(gè)try塊,但可以有多個(gè)catch塊,以便與不同的異常信息匹配;(3)如果在catch塊中沒有指定異常信息的類型,而用刪節(jié)號(hào)"...",則表示它可以捕獲任何類型的異常信息;(4)如果throw不包括任何表達(dá)式,表示它把當(dāng)前正在處理的異常信息再次拋出,傳給其上一層的catch來處理;(5)C++中一旦拋出一個(gè)異常,如果程序沒有任何的捕獲,那么系統(tǒng)將會(huì)自動(dòng)調(diào)用一個(gè)系統(tǒng)函數(shù)terminate,由它調(diào)用abort終止程序
***還是一樣,我將用一個(gè)示例來總結(jié)一下今天所講的內(nèi)容(開發(fā)工具:vs2010):
- #include "stdafx.h"
- #include <iostream>
- template <typename T>
- T Div(T x,T y)
- {
- if(y==0)
- throwy;//拋出異常
- returnx/y;
- }
- intmain(){
- intx=5,y=1;
- doublex1=5.5,y1=0.0;
- try
- {//被檢查的語句
- std::cout<<x<<"/"<<y<<"="<<Div(x,y)<<std::endl;
- std::cout<<x1<<"/"<<y1<<"="<<Div(x1,y1)<<std::endl;
- }
- catch(...)//捕獲任意類型異常
- {
- try
- {
- std::cout<<"任意類型異常!"<<std::endl;
- throw;//拋出當(dāng)前處理異常信息給上一層catch
- }
- catch(int)//異常類型
- {
- std::cout<<"除數(shù)為0,計(jì)算錯(cuò)誤!"<<std::endl;//異常處理語句
- }
- catch(double)//異常類型
- {std::cout<<"除數(shù)為0.0,計(jì)算錯(cuò)誤!"<<std::endl;//異常處理語句
- }
- }
- return0;
- }
結(jié)果:
原文鏈接:http://www.cnblogs.com/CaiNiaoZJ/archive/2011/08/19/2145349.html