深度剖析C++中的異常機制

更新時間：2023年07月30日 08:53:02 作者：linux大本營

異常是面向?qū)ο笳Z言常用的一種處理錯誤的方式，當(dāng)一個函數(shù)發(fā)現(xiàn)自己無法處理的錯誤時就可以拋出異常，本文我們將對C++ 異常機制進行深入剖析，感興趣的同學(xué)跟著小編一起來看看吧

傳統(tǒng)排錯

我們早在 C 程序里面?zhèn)鹘y(tǒng)的錯誤處理手段有：

終止程序，如 assert；缺陷是用戶難以接受，說白了就是一種及其粗暴的手法，比如發(fā)生內(nèi)存錯誤，除0錯誤時就會終止程序。
返回錯誤碼。缺陷是需要我們自己去查找錯誤，如系統(tǒng)的很多庫的接口函數(shù)都是通過把錯誤碼放到 errno 中，表示錯誤。
C標(biāo)準(zhǔn)庫中 setjmp 和 longjmp 組合（不常用）

實際中 C 語言基本都是使用返回錯誤碼的方式處理錯誤，部分情況下使用終止程序處理非常嚴重緊急的錯誤，因此異常機制就時運而橫空出世

概念

異常是面向?qū)ο笳Z言常用的一種處理錯誤的方式，當(dāng)一個函數(shù)發(fā)現(xiàn)自己無法處理的錯誤時就可以拋出異常，讓函數(shù)直接或間接調(diào)用者自己來處理這個錯誤

throw：當(dāng)程序出現(xiàn)問題時，可以通過 throw 關(guān)鍵字拋出一個異常
try：try 塊中放置的是可能拋出異常的代碼，該代碼塊在執(zhí)行時將進行異常錯誤檢測，try 塊后面通常跟著一個或多個 catch 塊。
catch：如果try塊中發(fā)生錯誤，則可以在 catch 塊中定義對應(yīng)要執(zhí)行的代碼塊。

try-catch 語句的語法實例：

try
{
	//被保護的代碼
}
catch (ExceptionName e1)
{
	//catch塊
}
catch (ExceptionName e2)
{
	//catch塊
}
catch (ExceptionName eN)
{
	//catch塊
}

用法

異常是通過拋出對象而引發(fā)的，該對象的類型決定了應(yīng)該激活哪個 catch 的處理代碼，如果拋出的異常對象沒有捕獲，或是沒有匹配類型的捕獲，那么程序會終止報錯

異常捕獲和拋出

被選中的處理代碼（catch塊）是調(diào)用鏈中與該對象類型匹配且離拋出異常位置最近的那一個

拋出異常對象后，會生成一個異常對象的拷貝，因為拋出的異常對象可能是一個臨時對象，所以會生成一個拷貝對象 \color{red} {因為拋出的異常對象可能是一個臨時對象，所以會生成一個拷貝對象}因為拋出的異常對象可能是一個臨時對象，所以會生成一個拷貝對象，這個拷貝的臨時對象會在被 catch 以后銷毀（類似于函數(shù)的傳值返回）

catch(…) 可以捕獲任意類型的異常，但捕獲后無法知道異常錯誤是什么，實際異常拋出和捕獲的匹配原則有個例外，捕獲和拋出的異常類型并不一定要完全匹配，可以拋出派生類對象，使用基類進行捕獲，這個在實際中非常有用

在函數(shù)調(diào)用鏈中異常棧展開的匹配原則：

當(dāng)異常被拋出后，首先檢查 throw 本身是否在 try 塊內(nèi)部，如果在則查找匹配的 catch 語句，如果有匹配的就跳到 catch 的地方進行處理

如果當(dāng)前沒有匹配的 catch 則退出當(dāng)前函數(shù)棧，繼續(xù)在上一個調(diào)用中進行查找 catch。找到匹配的 catch 子句并處理以后，會沿著 catch 子句后面繼續(xù)執(zhí)行，而不會跳回到原來拋異常的地方，如果到達 main 函數(shù)的棧，依舊沒有找到匹配的 catch 則終止程序

比如下面的代碼中調(diào)用了 func3，func3 中調(diào)用 func2，func2 中調(diào)用 func1，func1 中拋出了一個 string 的異常對象：

void func1()
{
	throw string("這是一個異常");
}
void func2()
{
	func1();
}
void func3()
{
	func2();
}
int main()
{
	try
	{
		func3();
	}
	catch (const string& s)
	{
		cout << "錯誤描述：" << s << endl;
	}
	catch (...)
	{
		cout << "未知異常" << endl;
	}
	return 0;
}

首先會檢查 throw 本身是否在 try 塊內(nèi)部，這里就會因此退出 func1 所在的函數(shù)棧，繼續(xù)在上一個調(diào)用棧中進行查找，即 func2 所在的函數(shù)棧，由于 func2 中也沒有匹配的 catch，因此會繼續(xù)復(fù)讀套娃，最終在 main 函數(shù)棧中找到匹配的 catch

這時就會跳到 main 函數(shù)中對應(yīng)的 catch 塊中執(zhí)行對應(yīng)的代碼塊，執(zhí)行完后繼續(xù)執(zhí)行該代碼塊后續(xù)的代碼：

當(dāng)然為了防止還有漏網(wǎng)之魚，一般此時我們還會搞一個 catch(…) 進行全捕獲。

異常的重新拋出

要知道一個 catch 是無法完全搞定異常的，如果我們對異常進行修正后，希望交付給上層調(diào)用鏈進行異常的異常信息日志記錄，此時就需要我們重新對上層函數(shù)拋異常：

void func1()
{
	throw string("這是一個異常");
}
void func2()
{
	int* array = new int[10];
	func1();
	//省略函數(shù)對應(yīng)實現(xiàn)
    //……
	delete[] array;
}
int main()
{
	try
	{
		func2();
	}
	catch (const string& s)
	{
		cout << s << endl;
	}
	catch (...)
	{
		cout << "未知異常" << endl;
	}
	return 0;
}

這里 func2 最后應(yīng)該 delete 進行空間釋放，但由于 func2 中途調(diào)用 func1 ，func1 內(nèi)部拋出了一個異常，這時會直接跳轉(zhuǎn)到 main 函數(shù)中的 catch 塊執(zhí)行對應(yīng)的異常處理程序，并且在處理完后繼續(xù)沿著 catch 塊往后執(zhí)行，這時就導(dǎo)致 func2 中內(nèi)存塊沒有得到釋放，造成了內(nèi)存泄露！

此時我們應(yīng)該在 func2 中先對 func1 拋出的異常進行捕獲，捕獲后先將內(nèi)存釋放再重新拋出異常，就可以避免內(nèi)存泄露：

void func2()
{
	int* array = new int[10];
	try
	{
		func1();
		//省略函數(shù)對應(yīng)實現(xiàn)
        //……
	}
	catch (...)
	{
		delete[] array;
		throw; //將捕獲到的異常再次重新拋出
	}
	delete[] array;
}

try-catch 中 new 和 delete 之間可能還會拋出其他類型的異常，因此在 fun2 中最好再進行 catch(…) ，將申請到的內(nèi)存 delete 后再通過throw 重新拋出；重新拋出異常對象時，此時 throw 可以不用指明要拋出的異常對象，其實 catch(…) 也不知道自己到底捕了個什么異常對象

安全第一條

還是那句話，道路千萬條，拋異常要謹慎：

構(gòu)造函數(shù)完成對象的構(gòu)造和初始化，最好不要在構(gòu)造函數(shù)中拋出異常，否則可能導(dǎo)致對象不完整或沒有完全初始化
析構(gòu)函數(shù)完成對象資源的清理，最好不要在析構(gòu)函數(shù)中拋出異常，否則可能導(dǎo)致內(nèi)存泄露，句柄未關(guān)閉等
C++ 中在 new 和 delete 中拋出異常經(jīng)常是內(nèi)存泄漏的罪魁禍?zhǔn)?，?lock 和 unlock 之間拋出異常導(dǎo)致死鎖，C++ 經(jīng)常使用 RAII 的方式來解決類似問題

規(guī)范使用

站在異常的嚴謹立場上， C++ 也在盡量提高咱的使用規(guī)范：

在函數(shù)的后面接throw(type1, type2, …)，列出這個函數(shù)可能拋擲的所有異常類型在函數(shù)的后面接throw()或noexcept（C++11），表示該函數(shù)不拋異常若無異常接口聲明，則此函數(shù)可以拋擲任何類型的異常（異常接口聲明不是強制的）

//這里可能會拋出A/B/C/D類型的異常
void func() throw(A, B, C, D);
//這里只會拋出 bad_alloc 的異常
void* operator new(std::size_t size) throw(std::bad_alloc);
//這里不會拋出異常
void* operator new(std::size_t size, void* ptr) throw();

異常體系

因為異常屬實需要嚴謹與規(guī)范的操作，所以在很多公司里面都會制定自己的一套異常的規(guī)范管理：

公司中的項目一般會進行模塊劃分，讓不同的人或小組完成不同的模塊，如果不對拋異常這件事進行規(guī)范，那么在最外層捕獲異常的冤種就會問候親媽了，因為他會來給各位擦屁股，捕獲大家拋出的所以異常對象 \color{red} {那么在最外層捕獲異常的冤種就會問候親媽了，因為他會來給各位擦屁股，捕獲大家拋出的所以異常對象}那么在最外層捕獲異常的冤種就會問候親媽了，因為他會來給各位擦屁股，捕獲大家拋出的所以異常對象

我們之前說過異常語法可以用基類捕獲拋出的派生類對象，因此實際中都會先定義一個最基礎(chǔ)的異常類，所有人拋出的異常對象都必須是繼承于該異常類的派生類對象，，因此最外層就只需捕獲基類就行了

?最基礎(chǔ)的異常類至少需要包含錯誤編號和錯誤描述兩個成員變量，甚至還可以包含當(dāng)前函數(shù)棧幀的調(diào)用鏈等信息，該異常類中一般還會提供兩個成員函數(shù)，分別用來獲取錯誤編號和錯誤描述

class Exception
{
public:
	Exception(int errid, const char* errmsg)
		:_errid(errid)
		, _errmsg(errmsg)
	{}
	int GetErrid() const
	{
		return _errid;
	}
	virtual string what() const
	{
		return _errmsg;
	}
protected:
	int _errid;  //錯誤編號
	string _errmsg; //錯誤描述
	//...
};

其他人如果要對這個異常類進行擴展，必須先繼承基礎(chǔ)異常類，然后按需添加某些成員變量，或是對虛函數(shù)what 進行重寫，使其能告知更多的異常信息：

class CacheException : public Exception
{
public:
	CacheException(int errid, const char* errmsg)
		:Exception(errid, errmsg)
	{}
	virtual string what() const
	{
		string msg = "CacheException: ";
		msg += _errmsg;
		return msg;
	}
protected:
	//...
};
class SqlException : public Exception
{
public:
	SqlException(int errid, const char* errmsg, const char* sql)
		:Exception(errid, errmsg)
		, _sql(sql)
	{}
	virtual string what() const
	{
		string msg = "CacheException: ";
		msg += _errmsg;
		msg += "sql語句: ";
		msg += _sql;
		return msg;
	}
protected:
	string _sql; //異常的SQL語句
	//...
};

異常類的成員變量不能設(shè)置為私有，因為私有成員在子類中是不可見的。基類 Exception 中 what 成員函數(shù)最好定義為虛函數(shù)，方便子類對其進行重寫，從而達到多態(tài)的效果