C++ —— RAII编程思想

背景

在C++程序运行的过程中免不了要进行资源的分配——尤其是在游戏中！资源可以有很多种 —— 贴图、音频、Shader到句柄、字符串这些东西都可以被称为资源。资源的管理是项目中很重要的一轮，做得不好的话轻则内存泄漏、重则内存崩溃。

而RAII则是在C++项目中用于资源管理的一种重要的编程思想。

Class的构建和析构

C++中不可或缺的东西就是class，而每个class不可或缺的就是构造函数和析构函数。前者用于对象被构造时进行的一系列操作，后者用于对象被析构时所执行的函数。

而值得一提的是，在C++中，如果一个类被声明在栈空间，则在该函数执行完毕从栈空间弹出之后，类会自动调用析构函数。可是如果被显示声明在堆空间（使用new方法或者malloc方法），则需要显式调用析构函数才能进行析构。

RAII

RAII表示的是“资源获取即初始化”(Resource Aquisition Is Initialization)，而不是某些人认为的“初始化即资源获取”(Initialization is resource acquisition)。

RAII的技术很简单，利用C++对象生命周期的概念来控制程序的资源。它的技术原理很简单，如果希望对某个重要资源进行跟踪，那么创建一个对象，并将资源的生命周期和对象的生命周期相关联。这样一来C++自带的对象管理设施就可以来管理资源了。

最简单的形式：创建一个对象，让她的构造函数获取一份资源，而析构函数则释放这个资源：

class Resource{...};
class ResourceHandle{
public:
// get resource
explicit ResourceHandle(ResourceHandle *aResource ): r_(aResource){}

// release resource
~ResourceHandle()
{
delete r_;
}

// get access to resource
Resource *get()
{
return r_;
}

private:
// make sure it can not be copied by others
ResourceHandle (const ResourceHandle &);
ResourceHandle & operator = (const ResourceHandle &);
Resource *r_;
};

ResourceHandle对象的最好的地方就是：如果它被声明为一个函数的局部变量，或者作为一个参数，或者静态变量，我们都可以保证析构函数得到调用了。这样一来就可以释放对象所引用的资源。

再看看一个反例：

void f() {
Resource *rh = new Resource;
//...
if (blahblah())
return ;
//...
g();         //catch the exceptions

// Can we make sure that it can be processed here?
delete rh ;
}

就如同注释所讲，可能一开始的时候上面那段代码是安全的，rh的资源总是可以被释放。

但是如果这段代码经历了一些维护呢？比如说上面的g()函数，有可能会造成函数的提前返回，所以就有可能运行不到最后一句释放资源的代码了，因此这段代码是危险的。

那么该如何使用RAII编程思想对这段代码进行改进呢？代码如下：

void f() {
ResourceHandle rh (new Resource );

// ...
if (blahblah())
return ;

// catch an exception?
g();

//finally the resource would be released by c++ itself.
}

这样一来RAII就使得代码就更加健壮了，因为只要是函数返回了，无论是通过何种途径，那么在返回的时候析构函数就会自动释放资源。

使用RAII只有一种情况无法保证析构函数得到调用，就是当

ResourceHandle

被动态分配到堆空间上了，这样一来就只能显示得调用

delete ResourceHandle

对象才能保证资源释放了，比如下面的代码：

ResourceHandle *rhp = new ResourceHandle(new Resource);

那么此时的问题在于，因为动态分配的东西需要显示调用

delete

才能释放，所以上面的做法通常是危险的做法。安全的做法是将RAII的handle分配到栈空间去，此时就能够保证内存的释放。

<全文完>