快捷導(dǎo)航

了解C++編程中指定的異常和未經(jīng)處理的異常

更新時(shí)間：2016年01月26日 14:17:03 投稿：goldensun

這篇文章主要介紹了C++中指定的異常和未經(jīng)處理的異常,介紹了有關(guān)noexcept和terminate的作用,并結(jié)合了C++11標(biāo)準(zhǔn)的新特性,需要的朋友可以參考下

noexcept
C++11：指定函數(shù)是否可能會(huì)引發(fā)異常。
語(yǔ)法

ReturnType FunctionName(params) noexcept;
ReturnType FunctionName(params) noexcept(noexcept(expression);

參數(shù)
表達(dá)式
計(jì)算結(jié)果是 True 或 False 的常量表達(dá)式。無(wú)條件版本相當(dāng)于 noexcept(true)。
備注
noexcept（及其同義詞 noecept(true)）指定函數(shù)絕不會(huì)引發(fā)異常，或允許從異常直接或間接調(diào)用的任何其他函數(shù)傳播異常。更具體地說(shuō)，noexcept 意味著，僅當(dāng)調(diào)用的所有函數(shù)也為 noexcept 或 const 并且沒(méi)有要求運(yùn)行時(shí)檢查、應(yīng)用于類型為多態(tài)類類型的 glvalue 表達(dá)式的 typeid 表達(dá)式或 throw 表達(dá)式的潛在已評(píng)估轉(zhuǎn)換時(shí)，該函數(shù)才是 noexcept。但是，編譯器不一定會(huì)檢查可能歸因于 noexcept 函數(shù)的異常的每個(gè)代碼路徑。如果異常確實(shí)到達(dá)標(biāo)記為 noexcept 的函數(shù)，則會(huì)立即調(diào)用 std::terminate，并且不會(huì)保證將調(diào)用任何范圍內(nèi)對(duì)象的析構(gòu)函數(shù)。
使用條件 noexcept 聲明的且計(jì)算結(jié)果為 noexcept(false) 的函數(shù)指定它確實(shí)允許傳播異常。例如，當(dāng)要復(fù)制的對(duì)象是普通的舊數(shù)據(jù)類型 (POD) 時(shí)，可將復(fù)制其參數(shù)的函數(shù)聲明為 noexcept。此類函數(shù)可以如下聲明：

#include <type_traits>

template <typename T>
T copy_object(T& obj) noexcept(std::is_pod<T>)
{
 //. . . 
}

使用 noexcept 代替異常說(shuō)明符 throw，后者在 C++11 和更高版本中已棄用。當(dāng)你確信函數(shù)絕不允許異常傳播到調(diào)用堆棧時(shí)，我們建議你將 noexcept 應(yīng)用到函數(shù)。使用 noexcept 聲明的函數(shù)使編譯器可以在多種不同的上下文中生成更高效的代碼。

未經(jīng)處理的 C++ 異常
如果無(wú)法找到當(dāng)前異常的匹配處理程序（或省略號(hào) catch 處理程序），則調(diào)用預(yù)定義的 terminate 運(yùn)行時(shí)函數(shù)。（您也可以在任意處理程序中顯式調(diào)用 terminate。）terminate 的默認(rèn)操作是調(diào)用 abort。如果您希望 terminate 在退出應(yīng)用程序之前調(diào)用程序中的某些其他函數(shù)，則用被調(diào)用函數(shù)的名稱作為其單個(gè)參數(shù)調(diào)用 set_terminate 函數(shù)。您可以在程序的任何點(diǎn)調(diào)用 set_terminate。 terminate 例程總是調(diào)用指定為 set_terminate 的參數(shù)的最后一個(gè)函數(shù)。
以下示例引發(fā) char * 異常，但不包含用于捕獲類型 char * 的異常的指定處理程序。對(duì) set_terminate 的調(diào)用指示 terminate 調(diào)用 term_func。

// exceptions_Unhandled_Exceptions.cpp
// compile with: /EHsc
#include <iostream>
using namespace std;
void term_func() {
  cout << "term_func was called by terminate." << endl;
  exit( -1 );
}
int main() {
  try
  {
   set_terminate( term_func );
   throw "Out of memory!"; // No catch handler for this exception
  }
  catch( int )
  {
   cout << "Integer exception raised." << endl;
  }
  return 0;
}

輸出：