想想这么一个函数:
int fun(int x) { lock(...); if (...) return 1; else if (...) return 2; else throw ...; unlock(...); }
这个时候,我们忘掉解锁的机会就太大了,多个return语句,以及可能出现的异常抛出。都有可能导致我们忘记了释放掉锁。以为我们要在每个return,throw前面加上一个unlock。
还有一个东西很重要,作用域。如果没有作用域,我们的程序世界不知道会带来怎样的一种不可想象的混乱。因为作用域很重要,我们可以使用作用域的概念完成自动解锁功能
定义如下一个类ScopeLock
class ScopeLock { public: ScopeLock(pthread_mutex_t mutex) : mutex(_mutex) { pthread_mutex_lock(&mutex); } ~ScopeLock() { pthread_mutex_unlock(&mutex); } private: pthread_mutex_t mutex; };
好了,这样你就只需要在你需要锁上锁的地方顶一个一个ScopeLock的局部变量,然后就不用管了,多好的事儿啊。
需要说明这个ScopeLock不是我自己发明的,来自POSA卷2,《pattern oriented software architecture》,不错的一本书。