C++中的类型推导

最新推荐文章于 2024-02-06 01:45:19 发布

Shepherd_Lsx

最新推荐文章于 2024-02-06 01:45:19 发布

阅读量563

点赞数

文章标签： C++

本文链接：https://blog.csdn.net/Hacker_LiuSX/article/details/102828667

版权

本文参考Effective Morden C++
C++98只有一种类型推导规则：函数模板。而C++11改变了其中的一些规则，并添加了另外两种类型推导，他们是auto和decltype。C++14又有了进一步的扩充。
一、首先来看函数模板中的类型推导：
一般函数模板的原型如下：

template<typename T>
void f(ParamType param);

调用代码如下：

f(expr);

编译器编译时通过expr推导出T的类型和ParamType的类型。ParamType和T的区别可能包括一些修饰，例如:const或引用特性等。根据ParamType的形式不同，可分为以下三类：

ParamType是一个指针或者左值引用类型;
如果expr是一个类型的引用，则忽略引用的部分，然后用expr的类型和ParamType对比来判断T的类型。下面仅以引用为例，指针和引用类似。模板代码如下：

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

并且有以下的变量声明代码：

int x = 27;           //x类型为int
const int cx = x;     //cx类型为const int
const int& rx = x;    //rx类型为const int 的引用

则param和T在不同的调用代码中的类型推导如下：

f(x);    //T类型为int, param类型为int&;
f(cx);   //T类型为const int , param类型为const int&;
f(rx);   //同上

分析：对于第二、第三行来说，由于cx和rx被指定为const类型，则T类型为const int。对象的const特性是T类型推导的一部分。第三行中，rx本身的引用特性被忽略。
而如果我们直接用cosnt修饰param，如下所示：

template<typename T>
void f(const T&<

关注