c++11中noexcept關鍵字

1. 概念

noexcept關鍵字是c++11之后新增的。該關鍵字會告訴編譯器，被修飾的函數(shù)不會發(fā)生異常,這有利于編譯器對程序做更多的優(yōu)化。

2. 兩種形式

1）noexcept

2）noexcept(expression)

noexcept(true) 表示被修飾的函數(shù)不拋出異常，noexcept(false) 表示被修飾的函數(shù)會拋出異常。

3. 異常處理

//例1
bool Compare(int x, int y) throw() ? //C++11之前
{
?? ?return x > y;
}
?
//例2
bool Compare(int x, int y) noexcept(noexcept(x > y)) ?//C++11
{
?? ?return x > y;
}

例2用到了noexcept運算符，表示，如果x > y不發(fā)生異常，則Compare函數(shù)不會發(fā)生異常。

4. 實現(xiàn)原理

noexecpt函數(shù)向外拋出了異常（如果函數(shù)內(nèi)部捕捉了異常并完成處理，這種情況不算拋出異常），程序會直接終止，調(diào)用std::terminate()函數(shù)，該函數(shù)內(nèi)部會調(diào)用std::abort()終止程序。

5. 使用場景

1）移動構造函數(shù)

2）移動分配函數(shù)

3）析構函數(shù)

4）葉子函數(shù)

c++11關鍵字noexcept替代throw

相比于斷言適用于排除邏輯上不可能存在的狀態(tài)，異常通常是用于邏輯上可能發(fā)生的錯誤。

在異常處理的代碼中，程序員有可能看到過如下的異常聲明表達形式：

void excpt_func() throw(int, double) { ... }

在excpt_func函數(shù)聲明之后，我們定義了一個動態(tài)異常聲明throw(int, double)，該聲明指出了excpt_func可能拋出的異常的類型。事實上，該特性很少被使用，因此在C++11中被棄用了（參見附錄B），而表示函數(shù)不會拋出異常的動態(tài)異常聲明throw()也被新的noexcept異常聲明所取代。

noexcept形如其名地，表示其修飾的函數(shù)不會拋出異常。不過與throw()動態(tài)異常聲明不同的是，在C++11中如果noexcept修飾的函數(shù)拋出了異常，編譯器可以選擇直接調(diào)用std::terminate()函數(shù)來終止程序的運行，這比基于異常機制的throw()在效率上會高一些。這是因為異常機制會帶來一些額外開銷，比如函數(shù)拋出異常，會導致函數(shù)棧被依次地展開（unwind），并依幀調(diào)用在本幀中已構造的自動變量的析構函數(shù)等。

noexcept修飾符有兩種形式

• 一種就是簡單地在函數(shù)聲明后加上noexcept關鍵字。比如：void excpt_func() noexcept; 
• 另外一種則可以接受一個常量表達式作為參數(shù)，如下所示：void excpt_func() noexcept (常量表達式); 

常量表達式的結(jié)果會被轉(zhuǎn)換成一個bool類型的值。該值為true，表示函數(shù)不會拋出異常，反之，則有可能拋出異常。這里，不帶常量表達式的noexcept相當于聲明了noexcept(true)，即不會拋出異常。

在C++98中，new可能會包含一些拋出的std::bad_alloc異常。

void* operator new(std::size_t) throw(std::bad_alloc); ?
void* operator new[](std::size_t) throw(std::bad_alloc); ?

而在C++11中，則使用noexcept(false)來進行替代。  

void* operator new(std::size_t) noexcept(false);
void* operator new[](std::size_t) noexcept(false); ?

當然，noexcept更大的作用是保證應用程序的安全。比如一個類析構函數(shù)不應該拋出異常，那么對于常被析構函數(shù)調(diào)用的delete函數(shù)來說，C++11默認將delete函數(shù)設置成noexcept，就可以提高應用程序的安全性。 

void operator delete(void*) noexcept;
void operator delete[](void*) noexcept; ?

而同樣出于安全考慮，C++11標準中讓類的析構函數(shù)默認也是noexcept(true)的

另外：

void fun (); // 能拋出任何類型的異常
void fun () throw(except1,except2,except3) // 后面括號里面是一個異常參數(shù)表，本例中只能拋出這3中異常
void fun () throw() ? // 參數(shù)表為空，不能拋出異常

以上為個人經(jīng)驗，希望能給大家一個參考，也希望大家多多支持腳本之家。

最新評論