std相关用法介绍

一、 std::mutex

<mutex>是C++标准程序库中的一个头文件，定义了C++11标准中的一些互斥访问的类与方法等。其中std::mutex就是lock、unlock。std::lock_guard与std::mutex配合使用，把锁放到lock_guard中时，mutex自动上锁，lock_guard析构时，同时把mutex解锁。mutex又称互斥量。

1. Mutex 系列类

1.1 std::mutex，最基本的 Mutex 类，是一个同步原语，可用于保护共享数据被同时由多个线程访问。std::mutex提供独特的，非递归的所有权语义。

std::mutex 是C++11 中最基本的互斥量，std::mutex 对象提供了独占所有权的特性——即不支持递归地对 std::mutex 对象上锁，而 std::recursive_lock 则可以递归地对互斥量对象上锁。

• 构造函数：std::mutex不支持copy和move操作，最初的std::mutex对象是处于unlocked状态。
•  lock函数：互斥锁被锁定。线程申请该互斥锁，如果未能获得该互斥锁，则调用线程将阻塞(block)在该互斥锁上；如果成功获得该互诉锁，该线程一直拥有该互斥锁直到调用unlock解锁；如果该互斥锁已经被当前调用线程锁住，则产生死锁(deadlock)。
• unlock函数：解锁，释放调用线程对该互斥锁的所有权。
• try_lock：尝试锁定互斥锁。如果互斥锁被其他线程占有，则当前调用线程也不会被阻塞，而是由该函数调用返回false；如果该互斥锁已经被当前调用线程锁住，则会产生死锁。其中std::mutex就是lock、unlock。std::lock_guard与std::mutex配合使用，把锁放到lock_guard中时，mutex自动上锁，lock_guard析构时，同时把mutex解锁。
• native_handle：返回当前句柄。

1.2 std::recursive_mutex，递归 Mutex 类。

std::recursive_mutex 允许同一个线程对互斥量多次上锁（即递归上锁），来获得对互斥量对象的多层所有权，std::recursive_mutex 释放互斥量时需要调用与该锁层次深度相同次数的 unlock()，可理解为 lock() 次数和 unlock() 次数相同。

1.3 std::time_mutex，定时 Mutex 类。

std::time_mutex 比 std::mutex 多了两个成员函数，try_lock_for()，try_lock_until()。

• try_lock_for 函数接受一个时间范围，表示在这一段时间范围之内线程如果没有获得锁则被阻塞住（与 std::mutex 的 try_lock() 不同，try_lock 如果被调用时没有获得锁则直接返回 false），如果在此期间其他线程释放了锁，则该线程可以获得对互斥量的锁，如果超时（即在指定时间内还是没有获得锁），则返回 false。
• try_lock_until 函数则接受一个时间点作为参数，在指定时间点未到来之前线程如果没有获得锁则被阻塞住，如果在此期间其他线程释放了锁，则该线程可以获得对互斥量的锁，如果超时（即在指定时间内还是没有获得锁），则返回 false。

1.4 std::recursive_timed_mutex，定时递归 Mutex 类。

2.  Lock 类

• std::lock_guard，与 Mutex RAII 相关，方便线程对互斥量上锁。
• std::unique_lock，与 Mutex RAII 相关，方便线程对互斥量上锁，但提供了更好的上锁和解锁控制。

二、 std::queue

std::queue<int> myQueue;

队列是一种类型的容器的适配器，FIFO（先进先出），其中元素被插入到所述容器的一端，并从其另一端进行提取操作。

• 入队，如例：q.push(x); 将x接到队列的末端。
• 出队，如例：q.pop(); 弹出队列的第一个元素，注意，并不会返回被弹出元素的值。
• 访问队首元素，如例：q.front()，即最早被压入队列的元素。
• 访问队尾元素，如例：q.back()，即最后被压入队列的元素。
• 判断队列空，如例：q.empty()，当队列空时，返回true。
• 访问队列中的元素个数，如例：q.size()