异常是指存在于运行时的反常行为，这些行为超出了函数正常功能的范围。当程序的某部分检测到一个他无法处理的问题时，需要用到异常处理。如果程序中含有可能引发异常的代码，那么通常会有专门的代码处理问题。例如“如果程序的问题是输入无效，则异常处理部分可能会要求用户重新输入正确的数据。
异常处理机制为程序中异常检测和异常处理这两部分的协作提供支持。
在C++中，异常处理包括：
如果有一个块抛出一个异常，捕获异常的方法会使用try和catch关键字。try块中放置可能抛出异常的代码，try块中的代码被称为保护代码。
try
{
// 保护的标识代码
}catch( ExceptionName e1 )
{
// catch 块
}catch( ExceptionName e2 )
{
// catch 块
}catch( ExceptionName eN )
{
// catch 块
}
try语句块的一开始是关键字try，跟在try块后面的是一个或者多个catch子句。catch子句包括三部分， 关键字，catch，括号内一个(可能未命名的)对象的声明(称作异常声明(exception declaration))。当选中了某个catch子句处理异常之后，执行与之对应的块。 在try语句块内声明的变量在块外部是无法访问的，特别是在catch子句内也无法访问。
程序的异常检测部分使用throw表达式引发一个异常。 throw+表达式;，表达式的类型就是抛出的异常类型。
double Division(int a, int b)
{
// 当b == 0时抛出异常
if (b == 0)
throw "Division by zero condition!";
else
return ((double)a / (double)b);
}
void Func()
{
int len, time;
cin >> len >> time;
cout << Division(len, time) << endl;
}
int main()
{
try
{
Func();
}
catch (const char* errmsg)
{
cout << errmsg << endl;
}
catch (...)
{
cout << "unkown exception" << endl;
}
return 0;
}
在复杂的系统中，程序在遇到抛出异常的代码前，器质性路径可能已经经过了多个try语句块。如，一个try语句块可能调用了包含另一个try的语句块的函数，新的try语句块可能调用了包含有一个try语句块的新函数，以此类推。
寻找处理代码的过程与函数调用链刚好相反。当异常被抛出的时候，首先搜索抛出该异常的函数。如果没有找到匹配的catch子句，终止该函数，并在调用该函数的函数中继续寻找。如果还是没有找到匹配的catch子句，这个新的函数也被终止，继续搜索调用它的函数。以此类推，沿着程序执行路径逐层回退，直到找到适当类型的catch’子句为止—这个过程被称为 栈展开
如果最终还是没有找到任何匹配的catch子句(也就是到达main函数的栈，依旧没有匹配的)，程序转到名为 terminate的标准库函数。该函数的行为于系统有关，一般情况下，执行该函数将导致程序非正常退出。
异常中断了程序的正常流程。异常发生时，调用者请求的一部分计算可能已经完成了，另一部分没有完成。略过的程序可能会导致对象处于无效或者未完成的状态，或者资源没有正常释放等等问题。那些在异常发生期间正确执行了 “清理”工作的程序被称作异常安全(exception safe)的代码。
// 这里表示这个函数会抛出A/B/C/D中的某种类型的异常
void fun() throw(A，B，C，D);
// 这里表示这个函数只会抛出bad_alloc的异常
void* operator new (std::size_t size) throw (std::bad_alloc);
// 这里表示这个函数不会抛出异常
void* operator delete (std::size_t size, void* ptr) throw();
// C++11 中新增的noexcept，表示不会抛异常
thread() noexcept;
thread (thread&& x) noexcept
C++标准库定义了一组类，用于报告标准库函数遇到的问题。这些异常类也可以在用户编写的程序中使用，他们定义在4个头文件中。
exception头文件定义了最通用的异常类exception。它只报告异常的发生，不提供任何额外信息。
stdexcept头文件定义了几种常用的异常类。
new头文件定义了bad_alloc异常类型。
type_info头文件定义了bad_cast异常类型。
定义的异常类
| 异常名 | 问题 |
|---|---|
| exception | 最常见的问题 |
| runtime_error | 只有在运行时才能检测出的问题 |
| range_error | 运行时错误:生成的结果超出了有意义的值域范围 |
| overflow_error | 运行时错误:计算上溢 |
| underflow_error | 运行时错误:计算下溢 |
| logic_error | 程序逻辑错误 |
| domain_error | 逻辑错误:参数对应的结果值不存在 |
异常类型只定义了一个名为what的成员函数，该函数没有任何参数，返回值是一个指向C风格字符串的 const char*该字符串的目的是提供关于异常的一些文本信息。
what函数返回的字符串的内容与异常对象的类型有关。如果异常类型有一个字符串初始值，则what返回该字符串。对于无初始值的异常类型来说，what返回的内容由编译器决定。