Effective Modern C++（1. 型别推导）

条款1：理解模板型别推导

如果一个复杂系统的用户对于该系统的运作方式一无所知，然而却对其提供的服务表示满意，这就充分说明系统设计得好。
函数模板大致形如：

template<typename T>
void f(ParamType param);

而一次调用则形如：

f(expr);		// 以某表达式调用f

在编译期，编译器会通过 expr 推导两个型别：一个是 T 的型别，另一个是 ParamType 的型别，这两个型别往往不一样。因为 ParamType 常常会包含一些修饰词，如 const 或引用符号等限定词。例如，若模板声明如下：

template<typename T>
void f(const T& param);		// ParamType 是 const T&

而调用语句如下：

int x = 0;
f(x);		// 以一个 int 调用 f

在此例中，T 被推导为 int，而 ParamType 则被推导为 const int&。
我们很自然地认为，T 的型别推导结果和传递给函数的实参型别是同一的。换句话说，T 的型别就是 expr 的型别。在上例中，情况确实如此：x 的型别就是 int，T 的型别也推导为 int。但是，这一点并不总是成立。T 的型别推导结果，不仅仅依赖 expr 的型别，还依赖 ParamType 的形式。具体要分三种情况讨论：

• ParamType 具有指针或引用型别，但不是个万能引用。
• ParamType 是一个万能引用。
• ParamType 既非指针也非引用。
  这么一来，我们就有了三种型别推导场景进行分情况考察。在对他们逐一考察时，我们仍采用前述模板和调用的一般形式。

template<typename T