智能指针和异常

使用异常处理的程序能在异常发生后令程序流程继续，同时要注意的是，这种程序需要确保在异常发生后资源能被正确地释放。一个简单的确保资源被释放的方法是使用智能指针。
如果使用智能指针，即使程序块过早结束，智能指针类也能确保在内存不再需要时将其释放：

void func()
{
    // 分配一个新的对象
    shard_ptr<int> sp(new int(12));
    // 这段代码抛出一个异常，且在func中异常未被捕获
}   // 在函数结束时shared_ptr自动释放内存

函数的退出有两种可能，正常结束或发生了异常，无论哪种情况，局部对象都会被销毁。在上面的程序中，sp是一个shared_ptr，因此sp销毁时会检查引用计数。在此例中，sp是指向这块内存的唯一指针，因此内存会被释放掉。
与之相对的，当发生异常时，直接管理的内存是不会自动释放的。如果使用内置指针管理内存，且在new之后在对应的delete之前发生了异常，则内存不会被释放：

void func()
{
    // 动态分配一个新对象
    int* ip = new int(12);
    // 这段代码抛出一个异常，且在func中异常未被捕获
    delete ip;  // 在退出之前释放内存
｝

如果在new和delete之间发生异常，且异常未在func中被捕获，则内存就永远不会被释放了。在函数func之外没有指针指向这块内存，因此就无法释放它了。

标准库类在内的很多C++类都定义了析构函数，负责清理对象使用的资源。但是，不是所有的类都是这样良好定义的。

那些分配了资源，而又没有定义析构函数来释放这些资源的类，可能会遇到与使用动态内存相同的错误。类似的，如果在资源分配和释放之间发生了异常，程序也会发生资源泄漏。