总体分为三种情况：

• ParamType是一个指针或引用，但不是万能引用，形如：

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

• ParamType是万能引用，形如：

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

• ParamType不是指针，也不是引用，形如：

template<typename T>
void f(T param); // just T

推导方法：

对于ParamType是一个指针或引用，expr类型（传入的实参类型）去掉引用便是T类型。如：

• 例一：

int x = 27;    // x is an int
f(x);          // T is int, param's type is int&

x的类型是int，去掉引用（本身就没有），是int，所以T为int，将int带入T&，便是int&，所以ParamType 就是int&

• 例二：

const int cx = x;   // cx is a const int
f(cx);              // T is const int, param's type is const int&

cx的类型是const int，去掉引用（本身就没有），是const int，所以T是const int，将const int带入T&，ParamType便是const int&

• 例三：

const int& rx = x; // rx is a reference to x as a const int
f(rx);             // T is const int, param's type is const int&

rx的类型是const int& ，去掉引用，是const int，所以T是const int，将const int带入T&，ParamType便是const int&

ParamType是万能引用，分为两步：

1. 第一步expr类型（传入的实参类型）去掉引用，得到T
2. 如果expr类型是左值，给T再加上一个&

• 例一：

int x = 27; // as before
f(x);       // x is lvalue, so T is int&, param's type is also int&

1. expr的类型，也就是实参x的类型是int，去掉所有&（本身就没有），类型是int
2. 因为x是左值，所以再加上一个&，最终T是int&

所以将int &带入T&&，ParamType就是int& &&，引用折叠后就是int&

• 例二：

const int cx = x; // as before
f(cx);            // cx is lvalue, so T is const int&, param's type is also const int&

1. expr的类型，也就是实参cx的类型是const int，去掉所有&（本身就没有），类型是const int
2. 因为cx是左值，所以再加上一个&，最终T是const int&

所以将const int &带入T&&，ParamType就是const int& &&，引用折叠后就是const int&

• 例三：

const int& rx = x; // as before
f(rx);             // rx is lvalue, so T is const int&, param's type is also const int&

1. expr的类型，也就是实参rx的类型是const int，去掉所有&（本身就没有），类型是const int
2. 因为cx是左值，所以再加上一个&，最终T是const int&

所以将const int &带入T&&，ParamType就是const int& &&，引用折叠后就是const int&

• 例四

f(27); // 27 is rvalue, so T is int, param's type is therefore int&&

1. expr的类型，也就是实参27的类型是int，去掉所有&（本身就没有），类型是int
2. 因为27是右值，没有额外操作，T就是int

所以将int带入T&&，ParamType就是 int&&

ParamType不是指针，也不是引用，直接忽略掉expr中所有的&、const、volatile便是T：

• 例一：

int x = 27; // as before
f(x);       // T's and param's types are both int

x的类型是int，去掉&、const、volatile（本身就没有），是int，所以T为int，将int带入T，便是int，所以ParamType 就是int

• 例二：

const int cx = x; // as before
f(cx);            // T's and param's types are again both int

cx的类型是const int，去掉&、const、volatile，是int，所以T为int，将int带入T，便是int，所以ParamType 就是int

• 例三：

const int& rx = x;    // as before
f(rx);                // T's and param's types are still both int

rx的类型是const int&，去掉&、const、volatile，是int，所以T为int，将int带入T，便是int，所以ParamType 就是int
 

最后

以上就是开朗音响为你收集整理的彻底搞定模板类型推导总体分为三种情况：推导方法：的全部内容，希望文章能够帮你解决彻底搞定模板类型推导总体分为三种情况：推导方法：所遇到的程序开发问题。

如果觉得靠谱客网站的内容还不错，欢迎将靠谱客网站推荐给程序员好友。