捕获异常的处理器也可以决定不处理异常或释放资源，然后让其他处理器处理这个异常。这时，处理器只要再抛出异常，如下所示：
throw；
这种不带参数的throw再抛出异常。如果开始没有抛出异常，则再抛出异常调用terminate。
将空throw语句放在catch处理器之外，执行这种throw会调用terminate。即使处理器能处理异常，不管这个异常是否进行处理，处理器仍然可以再抛出异常以便在处理器之外继续处理。再抛出异常由外层try块检测，由所在try块之后列出的异常处理器处理。
用catch(...)进行与异常类型无关的恢复，如释放共用资源。可以再抛出异常以警示更具体的外展catch块。
图13．2的程序演示了再抛出异常。在main第26行的try块中，调用函数throwwExcepion。在函数throwException的try块中，第13行的throw语句抛出标准库类exception的实例(在头文件 <exception>中定义)。这个异常在第15行的catch处理器中立即捕获，打印一个错误消息，然后再抛出异常。因此终止函数throwException并将控制返回main中的try/catch块。第30行再次捕获异常并打印一个错误消息。
&// Fig. 13.2: fig13_02.cpp
// Demonstration of rethrowing an exception.
#include <iostream>
#include <exception>
using namespace std;
void throwException() throw ( exception )
{
// Throw an exception and immediately catch it.
try {
cout << "Function throwException\n";
throw exception(); // generate exception
}
catch( exception e )
{
cout << "Exception handled in function throwException\n";
throw; // rethrow exception for further processing
}
cout << "This also should not print\n";
}
int main()
{
try {
throwException();
cout << "This should not print\n";
}
catch ( exception e )
{
cout << "Exception handled in main\n";
}
cout << "Program control continues after catch in main"
<< endl;
return 0;
}
输出结果：
Function throwException Exception handled in function throwException Exception handled in main Program control continues after catch in main
异常指定可以由指定函数抛出一列异常：
int g( float h ) throw (a, b, c) { // function body }可以限制从函数抛出的异常类型。函数声明中可以指定异常类型作为异常指定(也称为抛出表，throw list)。异常指定列出可抛出的异常。函数可以抛出指定异常或派生类型。尽管这样好像保证不会抛出其他异常类型，但其实也可以抛出其他异常类型。如果抛出异常指定中没有列出的异常，则调用函数unexpected。
将throw(即空异常指定)放在函数的参数表之后表示该函数不抛出任何异常。但这种函数仍然可以抛出异常，这时也调用函数unexpected。
如果抛出函数异常指定中没有的异常，则调用函数unexpcted不带异常指定的函数可以抛出任何异常：
void g()； // this function can throw any exceptionunexpected函数的含义可以调用函数set_unexpected重新定义。
异常处理的一个有趣方面是函数在throw表达式中包含函数异常指定中未列出的异常时，编译器不产生语法错误。函数在执行时抛出这个异常之后才会捕获错误。
如果函数抛出特定类的类型的异常，则函数也可以抛出用public继承从该类派生的所有类异常。
函数unexpected调用set_unexpected函数指定的函数。如果没有用set_unexpected函数指定函数，则默认调用terminate。
函数terminate可以显式调用，在无法捕获抛出的异常时、在异常处理期间打乱堆栈时、作为调用unexpected的默认操作时或在异常导致堆栈解退时析构函数抛出异常的情况下都会调用terminate。
函数set_terminate可以指定调用terminate时调用的函数，否则terminate调用abort。
函数赞set_terminate和set_unexpected的函数原型分别在头文件 <terminate.h)和<unexpected.h>中。
函数set_terminate和set_unexpected分别返回terminatee和unexpected调用的最后一个函数的指针。这样就使程序员可以保存函数指针，以便后面恢复。
函数set_terminate和set_unexpected取函数指针为参数。每个参数指向返回类型为void和无参数的函数。
如果用户自定义终止函数的景后一个操作不是退出程序，则执行用户自定义终止函数的其他语句之后自动调用abort函数终止程序。
特定范围中拄出异常而未捕获时，函数调用堆栈解退，试图在外层try/catch块中捕获这个异常。函数调用堆栈解退表示未捕获异常的函数终止，删除函数的所有局部变量，控制返回函数调用点。如果函数调用点在try块中，则试捕获这个异常，如果函数调用点不在try块中或没有捕获这个异常，则再次发生堆栈解退。上节曾介绍过，如果程序不捕获异常，则调用函数terminate以终止程序。图13．3的程序演示了堆栈解退。
// Fig. 13.3: fig13_03.cpp
// Demonstrating stack unwinding.
#include <iostream>
#include <stdexcept>
using namespace std;
void function3() throw ( runtime_error )
{
throw runtimeerror( "runtime_error in function3" );
}
void function2() throw ( runtimeerror )
{
function3();
}
void functionl() throw ( runtime_error )
{
function2();
}
int main()
{
try {
functionl();
}
catch ( runtime_error e }
{
cout << "Exception occurred: "<< e.what() << endl;
}
return 0;
}
在main中，第25行的try块调用function1。然后第18行定义的function1调用funclion2。然后第13行定义的function2调用function3。function3的第10行抛出exception对象。由于第10行不在try块中，因此发生堆栈解退，function3终止．控制返回function2(第15行)。由于第15行不在try块中，再次发生堆栈解退，function2终止，控制返回funetio1(第20行)。由于第20行不在try块中，又一次发生堆栈解退，fonetion1终止，控制返回main(第26行)。由于第26行在try块中，可以捕获异常，并在try块后面第一个匹配的catch处理器中处理(第28行)。