接下来，从三种不同的情况来讨论函数模板推导规则：
- ParamType 是引用或指针，但不是通用引用
- ParamType 是通用引用
- ParamType 既非指针也非引用
1. ParamType 是引用或指针，但不是通用引用
template<typename T>
void f(ParamType param) // 例如：ParamType = T&，ParamType = const T&, ParamType = T*
f(expr);
- step 1. 若 expr 具有引用型别，先将引用部分忽略。
- step 2. 对 expr 的型别与 ParamType 匹配，决定 T 的型别。我们简单的用 type of expr = ParamType，对 T 进行计算。
step 1 非常容易理解，step 2 举个例子，你也就会了。
例 1：
template<typename T>
void f(T& param)
int x = 27;
const int cx = x;
const int& rx = x;
// Step 1. expr = x, expr 的型别是 int
// Step 2. int = T，=> T = int
f(x); // T = int, ParamType = T& = int&
// Step 1. expr = cx, expr 的型别是 const int
// Step 2. const int = T，=> T = const int
f(cx); // T = int, ParamType = T& = const int&
// Step 1. expr = rx, expr 的型别是 const int&，忽略引用部分，变成 const int
// Step 2. const int = T，=> T = const int
f(rx); // T = const int, ParamType = T& = const int&
上面的例子需要注意的地方在于，type of expr = ParamType，注意把 ParamType 中的 & 先去掉。
例 2：
template<typename T>
void f(const T& param)
int x = 27;
const int cx = x;
const int& rx = x;
// Step 1. expr = x, expr 的型别是 int
// Step 2. int = const T，=> T = int （因为 = 左侧的 int 没有 const，
// 相消的角度来看，T 没法被推导，但在这里，我们采取尽可能让等式两边相等的策略执行匹配，
// 因此只有 T = int 最合适）
f(x); // T = int, ParamType = const T& = const int&
// Step 1. expr = cx, expr 的型别是 const int
// Step 2. const int 与 const T 执行模式匹配，=> T = int
f(cx); // T = int, ParamType = const T& = const int&
// Step 1. expr = rx, expr 的型别是 const int&，忽略引用部分，变成 const int
// Step 2. const int = const T，=> T = int
f(rx); // T = int, ParamType = const T& = const int&
- 例3
template<typename T>
void f(T* param)
int x = 27;
const int* px = &x;
// Step 1. expr = &x, expr 的型别是 int*
// Step 2. int* = T*，=> T = int
f(&x); // T = int, ParamType = T* = int*
// Step 1. expr = px, expr 的型别是 const int*
// Step 2. const int* = T*，=> T = const int
f(px); // T = int, ParamType = T* = const int*
- 例4
template<typename T>
void f(const T* param)
int x = 27;
const int* px = &x;
// Step 1. expr = &x, expr 的型别是 int*
// Step 2. int* = const T*，=> T = int (同例 2，只有 T 被推导为 int 的时候，等式两边最接近)
f(&x); // T = int, ParamType = const T* = const int*
// Step 1. expr = px, expr 的型别是 const int*
// Step 2. const int* = const T*，=> T = int
f(px); // T = int, ParamType = const T* = const int*
2. 实验
在这个系列的文章中，我准备了大量的代码来验证我们的想法。您可以拉取所有代码进行阅读，欢迎随时留言提问。
所有的验证代码都托管在这里：https://github.com/ivanallen/emc
2.1 void f(T& param)
路径：emc/item01/demo01.cpp
2.2 void f(const T& param)
路径：emc/item01/demo02.cpp
2.3 void f(T* param)
路径：emc/item01/demo03.cpp
3. 总结
- 掌握 ParamType 为引用或指针但不是通用引用的推导规则
下一篇，我们介绍通用引用的推导规则。
