为什么C++没有finally

最新推荐文章于 2023-10-31 12:51:39 发布

原创最新推荐文章于 2023-10-31 12:51:39 发布 · 7k 阅读

7 ·

CC 4.0 BY-SA版权

C++ 专栏收录该内容

3 篇文章

订阅专栏

本文介绍C++中如何使用资源获得即初始化（RAII）技术管理资源，避免资源泄漏。通过实例展示了如何创建资源句柄类实现自动资源管理。

第一部分

标准 C++ 是没有类似 finally 这样的语句结构的。C# / Java 中保证无论是否出现异常，finally block 的代码均会得到执行；而 C++ 中，不论是否出现异常，局部变量的析构函数是会保证执行的，所以相对应与 finally block，C++ 的解决办法是 RAII。

在C++中通常使用RAII，即Resource Aquisition Is Initialization.就是将资源封装成一个类，将资源的初始化封装在构造函数里，释放封装在析构函数里。要在局部使用资源的时候，就实例化一个local object。在抛出异常的时候，由于local object脱离了作用域，自动调用析构函数，会保证资源被释放。

第二部分

因为C++提供了另外一种方法，它几乎总是更好的：“资源获得即初始化”（resourceacquisiton is initialization）技术。基本的思路是，通过一个局部对象来表现资源，于是局部对象的析构函数将会释放资源。这样，程序员就不会忘记释放资源了。举例来说：
class File_handle {
FILE* p;
public:
File_handle(const char* n, const char* a)
{ p = fopen(n,a); if (p==0) throw Open_error(errno); }
File_handle(FILE* pp)
{ p = pp; if (p==0) throw Open_error(errno); }
~File_handle() { fclose(p); }
operator FILE*() { return p; }
// ...
};
void f(const char* fn){
File_handle f(fn,"rw"); //打开fn 进行读写
// 通过f 使用文件
}

在一个系统中，需要为每一个资源都使用一个“资源句柄”类。无论如何，我们不需要为每一个资源获得都写出“finally”语句。在实时系统中，资源获得要远远多于资源的种类，因此和使用“finally”构造相比，“资源获得即初始化”技术会产生少得多的代码。