c++中的異常處理

第11章異常處理18.1.1異常處理的任務(wù)程序編制者不僅要考慮程序沒有錯誤的理想情況，更要考慮程序存在錯誤時的情況，應(yīng)該能夠盡快地發(fā)現(xiàn)錯誤，消除錯誤。11.1異常處理2程序中常見的錯誤有兩大類:語法錯誤和運行錯誤。在編譯時，編譯系統(tǒng)能發(fā)現(xiàn)程序中的語法錯誤。有的程序雖然能通過編譯，也能投入運行。但是在運行過程中會出現(xiàn)異常，得不到正確的運行結(jié)果，甚至導(dǎo)致程序不正常終止，或出現(xiàn)死機(jī)現(xiàn)象。這類錯誤比較隱蔽，不易被發(fā)現(xiàn)，往往耗費許多時間和精力。這成為程序調(diào)試中的一個難點。3在設(shè)計程序時，應(yīng)當(dāng)事先分析程序運行時可能出現(xiàn)的各種意外的情況，并且分別制訂出相應(yīng)的處理方法，這就是程序的異常處理的任務(wù)。若無異常處理，如果運行時出現(xiàn)異常，程序只能終止運行。如果在程序中設(shè)置了異常處理機(jī)制，則在運行情況出現(xiàn)異常時，由于程序本身已規(guī)定了處理的方法，于是程序的流程就轉(zhuǎn)到異常處理代碼段處理。4C++采取的辦法是:如果在執(zhí)行一個函數(shù)過程中出現(xiàn)異常，可以不在本函數(shù)中立即處理，而是發(fā)出一個信息，傳給它的上一級(即調(diào)用它的函數(shù))，它的上級捕捉到這個信息后進(jìn)行處理。如果上一級的函數(shù)也不能處理，就再傳給其上一級，由其上一級處理。如此逐級上送，如果到最高一級還無法處理，最后只好異常終止程序的執(zhí)行。11.1.2異常處理的方法5這樣做使異常的發(fā)現(xiàn)與處理不由同一函數(shù)來完成。好處是使底層的函數(shù)專門用于解決實際任務(wù)，而不必再承擔(dān)處理異常的任務(wù)，以減輕底層函數(shù)的負(fù)擔(dān)，而把處理異常的任務(wù)上移到某一層去處理。這樣可以提高效率。C++處理異常的機(jī)制是由3個部分組成的，即檢查(try)、拋出(throw)和捕捉(catch)。把需要檢查的語句放在try塊中，throw用來當(dāng)出現(xiàn)異常時發(fā)出一個異常信息，而catch則用來捕捉異常信息，如果捕捉到了異常信息，就處理它。6例11.1給出三角形的三邊a,b,c，求三角形的面積。只有a+b>c,b+c>a,c+a>b時才能構(gòu)成三角形。設(shè)置異常處理，對不符合三角形條件的輸出警告信息，不予計算。先寫出沒有異常處理時的程序:#include<iostream>#include<cmath>usingnamespacestd;intmain(){doubletriangle(double,double,double);doublea,b,c;

cin>>a>>b>>c;while(a>0&&b>0&&c>0){cout<<triangle(a,b,c)<<endl;

cin>>a>>b>>c;}return0;7}doubletriangle(doublea,doubleb,doublec){doublearea;doubles=(a+b+c)/2;area=sqrt(s*(s-a)*(s-b)*(s-c));returnarea;}運行情況如下:654↙(輸入a,b,c的值)9.92157(輸出三角形的面積)11.52↙(輸入a,b,c的值)0.726184(輸出三角形的面積)121↙(輸入a,b,c的值)0(輸出三角形的面積，此結(jié)果顯然不對,因為不是三角形)106↙(輸入a,b,c的值)(結(jié)束)8修改程序，在函數(shù)traingle中對三角形條件進(jìn)行檢查，如果不符合三角形條件，就拋出一個異常信息，在主函數(shù)中的try-catch塊中調(diào)用traingle函數(shù)，檢測有無異常信息，并作相應(yīng)處理。修改后的程序如下:#include<iostream>#include<cmath>usingnamespacestd;voidmain(){doubletriangle(double,double,double);doublea,b,c;

cin>>a>>b>>c;try//在try塊中包含要檢查的函數(shù){while(a>0&&b>0&&c>0){cout<<triangle(a,b,c)<<endl;

cin>>a>>b>>c;}}9catch(double)//用catch捕捉異常信息并作相應(yīng)處理{cout<<″a=″<<a<<″,b=″<<b<<″,c=″<<c<<″,thatisnotatriangle!″<<endl;}

cout<<″end″<<endl;}doubletriangle(doublea,doubleb,doublec)//計算三角形的面積的函數(shù){doubles=(a+b+c)/2;if(a+b<=c||b+c<=a||c+a<=b)throwa;//當(dāng)不符合三角形條件拋出異常信息

returnsqrt(s*(s-a)*(s-b)*(s-c));}10程序運行結(jié)果如下:654↙(輸入a,b,c的值)9.92157(計算出三角形的面積)11.52↙(輸入a,b,c的值)0.726184(計算出三角形的面積)121↙(輸入a,b,c的值)a=1,b=2,c=1,thatisnotatriangle!(異常處理)end11現(xiàn)在結(jié)合程序分析怎樣進(jìn)行異常處理。(1)首先把可能出現(xiàn)異常的、需要檢查的語句或程序段放在try后面的花括號中。(2)程序開始運行后，按正常的順序執(zhí)行到try塊，開始執(zhí)行try塊中花括號內(nèi)的語句。如果在執(zhí)行try塊內(nèi)的語句過程中沒有發(fā)生異常，則catch子句不起作用，流程轉(zhuǎn)到catch子句后面的語句繼續(xù)執(zhí)行。(3)如果在執(zhí)行try塊內(nèi)的語句(包括其所調(diào)用的函數(shù))過程中發(fā)生異常，則throw運算符拋出一個異常信息。throw拋出異常信息后，流程立即離開本函數(shù)，轉(zhuǎn)到其上一級的函數(shù)(main函數(shù))。throw拋出什么樣的數(shù)據(jù)由程序設(shè)計者自定，可以是任何類型的數(shù)據(jù)。12(4)這個異常信息提供給try-catch結(jié)構(gòu)，系統(tǒng)會尋找與之匹配的catch子句。(5)在進(jìn)行異常處理后，程序并不會自動終止，繼續(xù)執(zhí)行catch子句后面的語句。由于catch子句是用來處理異常信息的，往往被稱為catch異常處理塊或catch異常處理器。13下面講述異常處理的語法。throw語句一般是由throw運算符和一個數(shù)據(jù)組成的，其形式為throw表達(dá)式;try-catch的結(jié)構(gòu)為try{被檢查的語句}catch(異常信息類型[變量名]){進(jìn)行異常處理的語句}14說明:(1)被檢測的函數(shù)必須放在try塊中，否則不起作用。(2)try塊和catch塊作為一個整體出現(xiàn)，catch塊是try-catch結(jié)構(gòu)中的一部分，必須緊跟在try塊之后，不能單獨使用，在二者之間也不能插入其他語句。但是在一個try-catch結(jié)構(gòu)中，可以只有try塊而無catch塊。即在本函數(shù)中只檢查而不處理，把catch處理塊放在其他函數(shù)中。(3)try和catch塊中必須有用花括號括起來的復(fù)合語句，即使花括號內(nèi)只有一個語句，也不能省略花括號。(4)一個try-catch結(jié)構(gòu)中只能有一個try塊，但卻可以有多個catch塊，以便與不同的異常信息匹配。15(5)catch后面的圓括號中，一般只寫異常信息的類型名，如catch(double)catch只檢查所捕獲異常信息的類型，而不檢查它們的值。因此如果需要檢測多個不同的異常信息，應(yīng)當(dāng)由throw拋出不同類型的異常信息。異常信息可以是C++系統(tǒng)預(yù)定義的標(biāo)準(zhǔn)類型，也可以是用戶自定義的類型(如結(jié)構(gòu)體或類)。如果由throw拋出的信息屬于該類型或其子類型，則catch與throw二者匹配，catch捕獲該異常信息。catch還可以有另外一種寫法，即除了指定類型名外，還指定變量名，如catch(doubled)16此時如果throw拋出的異常信息是double型的變量a，則catch在捕獲異常信息a的同時，還使d獲得a的值，或者說d得到a的一個拷貝。什么時候需要這樣做呢？有時希望在捕獲異常信息時，還能利用throw拋出的值，如catch(doubled){cout<<″throw″<<d;}這時會輸出d的值(也就是a值)。當(dāng)拋出的是類對象時，有時希望在catch塊中顯示該對象中的某些信息。這時就需要在catch的參數(shù)中寫出變量名(類對象名)。(6)如果在catch子句中沒有指定異常信息的類型，而用了刪節(jié)號“…”，則表示它可以捕捉任何類型的異常信息，如17catch(…){cout<<″OK″<<endl;}它能捕捉所有類型的異常信息，并輸出″OK″。這種catch子句應(yīng)放在trycatch結(jié)構(gòu)中的最后，相當(dāng)于“其他”。如果把它作為第一個catch子句，則后面的catch子句都不起作用。(7)try_catch結(jié)構(gòu)可以與throw出現(xiàn)在同一個函數(shù)中，也可以不在同一函數(shù)中。當(dāng)throw拋出異常信息后，首先在本函數(shù)中尋找與之匹配的catch，如果在本函數(shù)中無try_catch結(jié)構(gòu)或找不到與之匹配的catch，就轉(zhuǎn)到離開出現(xiàn)異常最近的try_catch結(jié)構(gòu)去處理。18(8)在某些情況下，在throw語句中可以不包括表達(dá)式，如throw;表示“我不處理這個異常，請上級處理”。(9)如果throw拋出的異常信息找不到與之匹配的catch塊，那么系統(tǒng)就會調(diào)用一個系統(tǒng)函數(shù)terminate，使程序終止運行。19C++允許在聲明函數(shù)時列出可能拋出的異常類型，如可以將例11.1中第二個程序的第3行改寫為doubletriangle(double,double,double)throw(double);表示triangle函數(shù)只能拋出double類型的異常信息。如果寫成doubletriangle(double,double,double)throw(int,double,float,char);則表示triangle函數(shù)可以拋出int,double,float或char類型的異常信息。異常指定是函數(shù)聲明的一部分，必須同時出現(xiàn)在函數(shù)聲明和函數(shù)定義的首行中，否則在進(jìn)行函數(shù)的另一次聲明時，編譯系統(tǒng)會報告“類型不匹配”。11.1.3在函數(shù)聲明中進(jìn)行異常情況指定20如果在聲明函數(shù)時未列出可能拋出的異常類型，則該函數(shù)可以拋出任何類型的異常信息。如例11.1中第2個程序中所表示的那樣。如果想聲明一個不能拋出異常的函數(shù)，可以寫成以下形式:doubletriangle(double,double,double)throw();//throw無參數(shù)這時即使在函數(shù)執(zhí)行過程中出現(xiàn)了throw語句，實際上也并不執(zhí)行throw語句，并不拋出任何異常信息，程序?qū)⒎钦＝K止。21如果在try塊(或try塊中調(diào)用的函數(shù))中定義了類對象，在建立該對象時要調(diào)用構(gòu)造函數(shù)。在執(zhí)行try塊的過程中如果發(fā)生了異常，此時流程立即離開try塊。這樣流程就有可能離開該對象的作用域而轉(zhuǎn)到其他函數(shù)，因而應(yīng)當(dāng)事先做好結(jié)束對象前的清理工作。C++的異常處理機(jī)制會在throw拋出異常信息被catch捕獲時，對有關(guān)的局部對象進(jìn)行析構(gòu)(調(diào)用類對象的析構(gòu)函數(shù))，析構(gòu)對象的順序與構(gòu)造的順序相反，然后執(zhí)行與異常信息匹配的catch塊中的語句。11.1.4在異常處理中處理析構(gòu)函數(shù)22例11.3在異常處理中處理析構(gòu)函數(shù)。這是一個為說明在異常處理中調(diào)用析構(gòu)函數(shù)的示例，為了清晰地表示流程，程序中加入了一些cout語句，輸出有關(guān)的信息，以便對照結(jié)果分析程序。#include<iostream>#include<string>usingnamespacestd;classStudent{public:

Student(intn,stringnam)//定義構(gòu)造函數(shù){cout<<″constructor-″<<n<<endl;num=n;name=nam;}~Student(){cout<<″destructor-″<<num<<endl;}//定義析構(gòu)函數(shù)

voidget_data();//成員函數(shù)聲明private:intnum;stringname;};23voidStudent::get_data()//定義成員函數(shù){if(num==0)thrownum;//如num=0,拋出int型變量numelsecout<<num<<″″<<name<<endl;//若num≠0，輸出num,name

cout<<″inget_data()″<<endl;//輸出信息，表示目前在get_data函數(shù)中}voidfun(){Studentstud1(1101,″Tan″);//建立對象stud1stud1