Linux组件封装（四）使用RAII技术实现MutexLock自动化解锁

我们不止一次写过这种代码：

{

    mutex_.lock();

    //XXX

    if(....)

        return;



    //XXX

    mutex_.unlock();

}

显然，这段代码中我们忘记了解锁。那么如何防止这种情况，我们采用和智能指针相同的策略，把加锁和解锁的过程封装在一个对象中。

实现“对象生命期”等于“加锁周期”。

代码如下：

class MutexLockGuard : NonCopyable

{

public:

    MutexLockGuard(MutexLock &mutex) :mutex_(mutex)

    { mutex_.lock(); }

    ~MutexLockGuard()

    { mutex_.unlock(); }

private:

    MutexLock &mutex_;

};

这种把资源获取放在构造函数、资源释放放入析构函数中的做法，就是C++中的RAII技术，“资源获取即初始化”。它巧妙在C++中的栈对象是一定会析构的，所以资源一定会被释放。

这个类对于我们编写优雅的代码，好处是显而易见的，例如：

size_t Buffer::size() const

{

    mutex_.lock();

    int ret = queue_.size();

    mutex_.unlock();

    return queue_.size();

}

这段代码实在称不上美观，但是有了MutexLockGuard，我们可以写出：

size_t Buffer::size() const

{

    MutexLockGuard lock(mutex_);

    return queue_.size();

}

代码的美观性提高了许多。

当然，有一种使用方式是错误的，例如：

size_t Buffer::size() const

{

    MutexLockGuard(mutex_);

    return queue_.size();

}

这段代码的加锁周期仅限于那一行，为了防止错误使用，我们增加一个宏：

#define MutexLockGuard(m) "Error MutexLockGuard"

这样当错误使用的时候，会导致编译错误，使得我们早些发现问题。