接下來，從三種不同的情況來討論函式模板推導規則：

• 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. 實驗

在這個系列的文章中，我準備了大量的程式碼來驗證我們的想法。您可以拉取所有程式碼進行閱讀，歡迎隨時留言提問。

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 為引用或指標但不是通用引用的推導規則

下一篇，我們介紹通用引用的推導規則。