关于mutex的try_lock函数使用的注意点

对于mutex的普通上锁解锁而言，有三个函数：lock、try_lock、unlock。
这三个函数的原型如下：

	void lock()
		{	// lock the mutex
		_Mtx_lockX(_Mymtx());
		}

	bool try_lock()
		{	// try to lock the mutex
		return (_Mtx_trylockX(_Mymtx()) == _Thrd_success);
		}

	void unlock()
		{	// unlock the mutex
		_Mtx_unlockX(_Mymtx());
		}

在介绍try_lock函数之前，先说一说lock函数，lock是对互斥量mutex进行上锁，解锁采用的是unlock函数。

注意：要保证lock与unlock的统一性，也就是说一个lock对应一个unlock，这点对于try_lock同样适用。

我所说的问题是，在使用try_lock的时候，一定要判断其返回的值是否为true，只有在true的时候才能够执行unlock操作。
原因就是刚才介绍的注意点，上锁和解锁的次数一定要匹配，如果不匹配，会出现问题。

#include <iostream>
#include <thread>
#include <mutex>

using namespace std;

mutex mt;
volatile int g_iCount = 0;

void printHello()
{
    for (int i(0); i<10000; ++i)
    {
        if (mt.try_lock())
        {
            ++g_iCount;
            mt.unlock();
        }
    }
}

int main()
{
    thread ths[10];

    for (int i(0); i<10; ++i)
    {
        ths[i] = thread(printHello);
    }

    for (auto &th : ths)
    {
        th.join();
    }

    cout << g_iCount << endl;

    return 0;
}

上述代码执行是正确的，但是如果我将printHello函数的try_lock的部分改成如下所示，就会出现问题：

    for (int i(0); i<10000; ++i)
    {
        mt.try_lock();
        ++g_iCount;
        mt.unlock();
    }

以下是报错信息：

注意其中的这个：

提示是试图去解锁一个没有所有权的互斥量。
这句话的意思就是说，你在试图解锁一个没有上锁的互斥量，这是会出问题的。

总结：上锁和解锁的次数一定要对应——在使用lock的时候，后面一定要写上unlock（虽然不建议这么写，更建议使用lock_guard，不过这里仅仅是为了说明问题）；如果使用的是try_lock，那么一定要判断其返回值，只有在其正确上锁之后，才能执行unlock操作。