函数模板形如：
template<typename T> void f(ParamType param);一次调用形如：
f(expr); //以某表达式调用 f在编译期，编译器会通过expr推导T的类型和ParamType的类型（通常会包含一些修饰，例如const或引用符号等限定）。
T的类型推导结果分以下三种情况讨论：
1.ParamType具有指针或引用型别，但不是万能引用
类型推导规则如下：
- 若
expr具有引用类型，先将引用部分忽略。 - 然后，对
expr的类型和ParamType的类型执行模式匹配，来决定T的类型。
举例
模式声明如下：
template<typename T> void f(T& param); // param 是个引用声明下列变量：
int x = 27; // x 的类型是 int const int xx= x; // cx 的类型是 const int const int& rx = x; // rx 是 x 的类型为 const int 的引用各次调用的推导结果如下：
f(x); // T 的类型是 int，param 的类型是 int& f(cx); // T 的类型是 const int，param 的类型是 const int& f(rx); // T 的类型是 const int，param 的类型是 const int&右值和指针方式同理：
template<typename T> void f(T* param); // param 是个指针 int x = 27; const int *px = &x; // px 是指向 x 的指针，类型为 const int f(&x); // T 的类型是 int, param 的类型是 int* f(px); // T 的类型是 const int, param 的类型是 const int*2.ParamType是万能引用
类型推导规则如下：
- 如果
expr是个左值，T和ParamType都会被推导为左值引用。 - 如果
expr是个右值，则应用“常规＂（即情况 1 中的）规则。
举例
template<typename T> void f(T&& param); // param 是个万能引用 int x = 27; const int cx= x; const int& rx = x; f(x); // x 是个左值，所以 T 的类型是 int&, param 的类型也是 int& f(cx); // cx 是个左值，所以 T 的类型是 const int&, param 的类型也是 const int& f(rx); // rx 是个左值，所以 T 的类型是 const int&, param 的类型也是 const int& f(27); // 27 是个右值，所以 T 的类型是 int, param 的类型就成了 int&&3.ParamType既非指针也非引用
即按值传递，无论传入的是什么，param都会是它的副本，是一个新对象：
- 若
expr具有引用类型，则忽略其引用部分。 - 忽略
expr的引用性之后，若expr是个const对象，也忽略。若其是个volatile对象，同样忽略。
举例
template<typename T> void f(T param); //param现在是按值传递 int x = 27; //同前 const int cx = x; //同前 const int& rx = x; //同前 f(x); // T和param的类型都是int f(cx); // T和param的类型都是int f(rx); // T和param的类型都是int即使cx和rx代表const值，param仍然不具有const的类型。param是个完全独立于cx和rx的一个副本。从而cx和rx不可修改并不能说明param是否可以修改。
数组实参
一种边缘情况，数组类型有别于指针类型，但是在多数语境下，数组会退化成首元素的指针。
C++ 中没有真正的“数组形参”，因为函数无法直接接收数组；当数组传递给按值形参的模板时，编译器会把形参里的数组声明直接当作指针处理。但是：
尽管函数无法声明真正的数组类型的形参，但是它们能够将形参声明为数组的引用。在这种情况下T的类型会被推导成实际的数组类型。这个类型中会包含数组尺寸。
利用声明数组引用能力，可以创造出一个模板用来推导数组中含有的元素个数：
// 以编译期常量形式返回数组尺寸 // （该数组形参未起名字，因为我们只关心共含有的元素个数） template<typename T, std::size_t N> constexpr std::size_t arraySize(T (&)[N]) noexcept { return N; }将函数声明为constexpr，能够使得其返回值在编译期就可以使用。从而在声明一个数组时，指定其尺寸和另一数组相同，而后者的尺寸则从花括号初始化形式计算得出：
int keyVals[] = { 1, 3, 7, 9, 11, 22, 35 }; // keyVals 含有 7 个元素 int mappedVals [arraySize(keyVals)]; // mappedVals 被指定与之相同函数实参
函数类型也同样会退化成函数指针，并且针对数组类型推导的一切都适用于函数及其向函数指针的退化。如下：
void someFunc(int, double); // someFunc 是个函数，其类型为 void(int, double) template<typename T> void f1(T param); // 在 f1 中，param 按值传递 template<typename T> void f2 (T& param); // 在 f2 中，param 按引用传递 f1(someFunc); // param 披推导为函数指针，具体类型是 void (*)(int, double) f2(someFunc); // param 披推导为函数引用，具体类型是 void (&)(int, double)总结
- 在模板类型推导时，有引用的实参会被视为无引用，它们的引用会被忽略
- 对于通用引用的推导，左值实参会被特殊对待
- 对于传值类型推导，
const/volatile实参会被认为是non-const的和non-volatile的 - 在模板类型推导时，数组名或者函数名实参会退化为指针，除非它们被用于初始化引用
原著在线阅读地址
