构造析构的妙用－－成对出现
考虑这样一段代码：
void some_func()
{
lock(key);
……
……
unlock(key);
}
由于对some_func的不能并发访问，所以在函数的开始处加上锁key，只有key处
于解锁状态，lock才可以返回，当函数执行完毕后unlock，其他进程调用lock
方能成功，从而可以得以执行some_func。
在函数体内如果出现这样的情况：
void some_func()
{
lock(key);
.....
if(something)
return;
.....
unlock(key);
}
函数某些条件的判断而返回，这样，some_func存在了大于一个返回点，这样由
于没有执行unlock操作，其他进程或本进程对some_func的再次访问将被死锁而
永远无法得以执行。
如果我们这样解决问题：
void some_func()
{
lock(key);
.....
if(something)
{
unlock(key);
return;
}
.....
unlock(key);
}
这样可以解决部分问题，但是如果函数返回点很多，就需要在每个返回点进行
解锁unlock操作，很麻烦，同时它还存在如下问题：
void some_func()
{
lock(key);
....
my_func();//由其他程序员实现的函数。
.....
unlock(key);
}
看起来一点问题也没有，但是如果my_func()丢出异常呢？
如果我们函数里没有捕获这个异常的话 ，它会导致 some_func 函数在调用
my_func的这一点中断。那么只能在每个可能抛出异常的函数调用点用 try 捕
获所有异常，然后在 catch 里面解锁，再重新抛出。显然，这样的解法实在是
太繁琐、太容易引入错误了。
如果我们这样考虑，锁和解锁的操作是要成对出现的，而对于一个类而讲，构
造和析构函数也是成对出现的，我们可以这样设计：
class auto_lock
{
public:
auto_lock(lock_t key) : m_key(key)
{
lock(m_key);// 构造时加锁
}
~auto_lock()
{
unlock(m_key)// 析构时解锁
}
private:
lock_t m_key;
}
void some_func()
{
auto_lock my_lock(key);
……
// return 、foo ，随便什么东西都行
……
// 结束的时候同样不用解锁
}
由于my_lock是一个局部变量，他的生命周期在函数some_func内，不论some_fu
nc以什么样的方式退出，my_lock都将被销毁，析构函数被执行，锁被解开，彻
底解决了死锁的问题，解决的很完美。
同样在其他有成对出现的情况下都可以考虑使用构造和析构函数。
|
本类阅读TOP10