在程序設(shè)計(jì)過(guò)程中，我們總是希望自己設(shè)計(jì)的程序是天衣無(wú)縫的，但這幾乎又是不可能的。即使程序編譯通過(guò)，同時(shí)也實(shí)現(xiàn)了所需要的功能，也并不代表程序就已經(jīng)完美無(wú)缺了，因?yàn)檫\(yùn)行程序時(shí)還可能會(huì)遇到異常，例如當(dāng)我們?cè)O(shè)計(jì)一個(gè)為用戶計(jì)算除法的程序時(shí)，用戶很有可能會(huì)將除數(shù)輸入為零，又例如當(dāng)我們需要打開(kāi)一個(gè)文件的時(shí)候確發(fā)現(xiàn)該文件已經(jīng)被刪除了……類似的這種情況很有很多，針對(duì)這些特殊的情況，不加以防范是不行的。

我們通常希望自己編寫(xiě)的程序能夠在異常的情況下也能作出相應(yīng)的處理，而不至于程序莫名其妙地中斷或者中止運(yùn)行了。在設(shè)計(jì)程序時(shí)應(yīng)充分考慮各種異常情況，并加以處理。

在C++中，一個(gè)函數(shù)能夠檢測(cè)出異常并且將異常返回，這種機(jī)制稱為拋出異常。當(dāng)拋出異常后，函數(shù)調(diào)用者捕獲到該異常，并對(duì)該異常進(jìn)行處理，我們稱之為異常捕獲。

C++新增throw關(guān)鍵字用于拋出異常，新增catch關(guān)鍵字用于捕獲異常，新增try關(guān)鍵字嘗試捕獲異常。通常將嘗試捕獲的語(yǔ)句放在 try{ } 程序塊中，而將異常處理語(yǔ)句置于 catch{ } 語(yǔ)句塊中。

異常處理的基本語(yǔ)法如下所述。首先說(shuō)一下拋出異常的基本語(yǔ)法：
throw 表達(dá)式;
拋出異常由throw關(guān)鍵字加上一個(gè)表達(dá)式構(gòu)成。拋出異常后需要捕獲異常以及異常處理程序，其基本語(yǔ)法如下：
try
{
//可能拋出異常的語(yǔ)句
}
catch (異常類型1)
{
//異常類型1的處理程序
}
catch (異常類型2)
{
//異常類型2的處理程序
}
// ……
catch (異常類型n)
{
//異常類型n的處理程序
}

由try程序塊捕獲throw拋出的異常，然后依據(jù)異常類型運(yùn)行catch程序塊中的異常處理程。catch程序塊順序可以是任意的，不過(guò)均需要放在try程序塊之后。

[例1] C++異常處理示例：

#include<iostream>
using namespace std;
enum index{underflow, overflow};
int array_index(int *A, int n, int index);
int main()
{
  int *A = new int[10];
  for(int i=0; i<10; i++)
    A[i] = i;
  try
  {
    cout<<array_index(A,10,5)<<endl;
    cout<<array_index(A,10,-1)<<endl;
    cout<<array_index(A,10,15)<<endl;
  }
  catch(index e)
  {
    if(e == underflow)
    {
      cout<<"index underflow!"<<endl;
      exit(-1);
    }
    if(e == overflow)
    {
      cout<<"index overflow!"<<endl;
      exit(-1);
    }
  }
  return 0;
}
int array_index(int *A, int n, int index)
{
  if(index < 0) throw underflow;
  if(index > n-1) throw overflow;
  return A[index];
}

本例展示了一個(gè)數(shù)組越界的異常捕獲程序。array_index函數(shù)用于返回?cái)?shù)組index下標(biāo)的數(shù)值，如果出現(xiàn)異常則拋出異常。try程序塊中的程序語(yǔ)句為可能出現(xiàn)異常情況的語(yǔ)句，catch則為針對(duì)異常的處理語(yǔ)句。在程序一開(kāi)始我們定義了一個(gè)全局的枚舉類型變量index，并且定義了兩個(gè)值，分別為underflow和overflow，這兩個(gè)值作為拋出異常的返回值。當(dāng)在主函數(shù)要求輸出越界的數(shù)組值時(shí)，調(diào)用array_index函數(shù)，一旦有預(yù)定異常拋出，則通過(guò)try捕獲并根據(jù)catch語(yǔ)句針對(duì)異常情況作出處理。

在前面我們介紹了new和delete動(dòng)態(tài)分配內(nèi)存操作符，如果new或new[]不能成功分配所請(qǐng)求的，將會(huì)拋出一個(gè)bad_alloc異常。在使用new或new[]操作符分配動(dòng)態(tài)內(nèi)存，可以通過(guò)如下方式檢測(cè)并捕獲存儲(chǔ)空間分配失敗的異常。

[例2] 捕獲new、new[] 拋出的異常：

int * p;
try
{
  p = new int[10];
}
catch(bad_alloc)
{
  cerr<<"allocate failure!"<<endl;
  exit(-1);
}

在C語(yǔ)言中，異常通常是通過(guò)函數(shù)返回值獲得，但這樣一來(lái)，函數(shù)是否產(chǎn)生異常則需要通過(guò)檢測(cè)函數(shù)的返回值才能得知。而在C++中，當(dāng)函數(shù)拋出一個(gè)返回值時(shí)，即使不用try和catch語(yǔ)句，異常還是會(huì)被處理的，系統(tǒng)會(huì)自動(dòng)調(diào)用默認(rèn)處理函數(shù)unexpected來(lái)執(zhí)行。

下面是其他網(wǎng)友的補(bǔ)充

#include <exception> 
#include <iostream> 
using namespace std; 
 
/********************************** 
//project -> Properties -> C/C++ -> Code Generation --> Enable C++ Exceptions 
//選擇 Yes with SEH Exceptions (/EHa) 這樣的話C++的try catch 也可以捕獲到空指針，內(nèi)存越界，0除異常 
//默認(rèn)是選擇Yes (/EHsc) 
**********************************/ 
 
void TestIntType() 
{ 
  try 
  { 
    throw 1; 
  } 
  catch(...) 
  { 
    cout<< "在 try block 中, 準(zhǔn)備拋出一個(gè)異常." << endl; 
  } 
} 
 
void TestDoubleType() 
{ 
  try 
  { 
    throw 0.5; 
  } 
  catch(...) 
  { 
    cout<< "在 try block 中, 準(zhǔn)備拋出一個(gè)異常." << endl; 
  } 
} 
 
void TestEmptyPointType() 
{ 
  try 
  { 
    int* p = NULL; 
    *p = 3; 
  } 
  catch(...) 
  { 
    cout<< "非法地址操作異常" << endl; 
  } 
} 
 
void TestDivZeroType() 
{ 
  try 
  { 
    int b = 0; 
    int a = 3/b; 
  } 
  catch(...) 
  { 
    cout<< "0除異常" << endl; 
  } 
} 
 
void TestMemoryOutType() 
{ 
  int * a = new int[4]; 
  try 
  { 
    for (int i = 0; i<245; i++) 
    { 
      a++; 
    } 
    *a = 3; 
  } 
  catch(...) 
  { 
    cout<< "內(nèi)存越界異常" << endl; 
  } 
} 
 
int main(int argc, char* argv[]) 
{ 
  TestEmptyPointType(); 
  //TestDivZeroType(); 
  TestMemoryOutType(); 
  return 1; 
}

這篇文章就介紹到這，希望大家以后多多支持腳本之家。