002-EMC 深入解读-理解模板型别推导

Posted 2022-12-15 --Allen--

接下来，从三种不同的情况来讨论函数模板推导规则：

• 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 为引用或指针但不是通用引用的推导规则

下一篇，我们介绍通用引用的推导规则。