在程序设计过程中，我们总是希望自己设计的程序是天衣无缝的，但这几乎又是不可能的。即使程序编译通过，同时也实现了所需要的功能，也并不代表程序就已经完美无缺了，因为运行程序时还可能会遇到异常，例如当我们设计一个为用户计算除法的程序时，用户很有可能会将除数输入为零，又例如当我们需要打开一个文件的时候确发现该文件已经被删除了……类似的这种情况很有很多，针对这些特殊的情况，不加以防范是不行的。
我们通常希望自己编写的程序能够在异常的情况下也能作出相应的处理，而不至于程序莫名其妙地中断或者中止运行了。在设计程序时应充分考虑各种异常情况，并加以处理。
在C++中，一个函数能够检测出异常并且将异常返回，这种机制称为抛出异常。当抛出异常后，函数调用者捕获到该异常，并对该异常进行处理，我们称之为异常捕获。
C++新增throw关键字用于抛出异常，新增catch关键字用于捕获异常，新增try关键字尝试捕获异常。通常将尝试捕获的语句放在 try{ } 程序块中，而将异常处理语句置于 catch{ } 语句块中。
异常处理的基本语法如下所述。首先说一下抛出异常的基本语法：
throw 表达式;
抛出异常由throw关键字加上一个表达式构成。抛出异常后需要捕获异常以及异常处理程序，其基本语法如下：
try
{
//可能抛出异常的语句
}
catch (异常类型1)
{
//异常类型1的处理程序
}
catch (异常类型2)
{
//异常类型2的处理程序
}
// ……
catch (异常类型n)
{
//异常类型n的处理程序
}
由try程序块捕获throw抛出的异常，然后依据异常类型运行catch程序块中的异常处理程。catch程序块顺序可以是任意的，不过均需要放在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];
}
本例展示了一个数组越界的异常捕获程序。array_index函数用于返回数组index下标的数值，如果出现异常则抛出异常。try程序块中的程序语句为可能出现异常情况的语句，catch则为针对异常的处理语句。在程序一开始我们定义了一个全局的枚举类型变量index，并且定义了两个值，分别为underflow和overflow，这两个值作为抛出异常的返回值。当在主函数要求输出越界的数组值时，调用array_index函数，一旦有预定异常抛出，则通过try捕获并根据catch语句针对异常情况作出处理。
在前面我们介绍了new和delete动态分配内存操作符，如果new或new[]不能成功分配所请求的，将会抛出一个bad_alloc异常。在使用new或new[]操作符分配动态内存，可以通过如下方式检测并捕获存储空间分配失败的异常。
[例2] 捕获new、new[] 抛出的异常：
int * p;
try
{
p = new int[10];
}
catch(bad_alloc)
{
cerr<<"allocate failure!"<<endl;
exit(-1);
}
在C语言中，异常通常是通过函数返回值获得，但这样一来，函数是否产生异常则需要通过检测函数的返回值才能得知。而在C++中，当函数抛出一个返回值时，即使不用try和catch语句，异常还是会被处理的，系统会自动调用默认处理函数unexpected来执行。
