muduo BlockingQueue详解

1. 简介

利用条件变量和std::deque实现阻塞队列

2. 类与接口

插入数据，有2个版本

void put(const T& x)
非常量可以初始化一个底层const，反过来却不行
可以接收任何能转换成类型T的任何对象

void put(T&& x)
只可以传递非const右值，由于精确匹配规则，传递非const右值时，会调用该版本，尽管上面版本也可以接受。
一般来说，我们不需要为函数操作定义接受一个const T&&或是一个普通的T&参数的版本。
当我们希望从实参“窃取‘数据时，通常传递一个右值引用。为了达到这一目的，实参不能使const的。
类似的，从一个对象进行拷贝的操作，不应该改变该对象，因此，通常不需要定义一个接受一个普通的T&参数的版本
参考 3.&& 的特性

T take()
获取数据，使用了std::move()
参考 4. move

3. && 的特性

在C++中，并不是所有情况下 && 都代表是一个右值引用，具体的场景体现在模板和自动类型推导中，如果是模板参数需要指定为T&&，如果是自动类型推导需要指定为auto &&，在这两种场景下 &&被称作未定的引用类型。另外还有一点需要额外注意const T&&表示一个右值引用，不是未定引用类型。

先来看第一个例子，在函数模板中使用&&:

template<typename T>
void f(T&& param);
void f1(const T&& param);
f(10); 	
int x = 10;
f(x); 
f1(x);

在上面的例子中函数模板进行了自动类型推导，需要通过传入的实参来确定参数param的实际类型。

第4行中，对于f(10)来说传入的实参10是右值，因此T&&表示右值引用
第6行中，对于f(x)来说传入的实参是x是左值，因此T&&表示左值引用
第7行中，f1(x)的参数是const T&&不是未定引用类型，不需要推导，本身就表示一个右值引用

4. move

在C++11添加了右值引用，并且不能使用左值初始化右值引用，如果想要使用左值初始化一个右值引用需要借助std::move()函数，使用std::move方法可以将左值转换为右值。使用这个函数并不能移动任何东西，而是和移动构造函数一样都具有移动语义，将对象的状态或者所有权从一个对象转移到另一个对象，只是转移，没有内存拷贝。

从实现上讲，std::move基本等同于一个类型转换：static_cast<T&&>(lvalue);，函数原型如下:

template<class _Ty>
_NODISCARD constexpr remove_reference_t<_Ty>&& move(_Ty&& _Arg) _NOEXCEPT
{	// forward _Arg as movable
    return (static_cast<remove_reference_t<_Ty>&&>(_Arg));
}

5. 源码

Github