类型推导

版权声明:本文为博主原创文章,遵循 CC 4.0 by-sa 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/u014603046/article/details/82503454

函数模板大致如下:

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

调用的时候 f(expr);

在编译期,编译器会通过expr来推导T的类型和ParamType的类型,这两个类型不一定是一样的。

模板型别推导分三种情况,

template<typename T>
void f(T& param);    //param是个引用
template<typename T>
void f(T&& param);     //param现在是个万能引用
template<typename T>
void f(T param);        //param现在是按值传递

1、对按值传递的形参进行推导时,若实参类型中带有const或者volatile,则他们还是会被当作不带修饰词的类型来处理;

2、在模板类型推导过程中,数组或者函数类型的实参会退化成对应的指针,除非他们被用来初始化引用。

3、其他,constexpr能够使其返回值在编译期就可用;

 


内建数组

template<typename T, std::size_t N>
constexpr std::size_t arraySize(T (&)[N]) noexcept
{
    return N;
}

int KeyVals[]={1,2,3,4,5,6,7,9};    //含有8个元素
int mappedVals[arraySize(KeyVals)];

//现代c++程序员,相对于内建数组,会优先选优std::array

std::array<int, arraySize(KeyVals)> mappedVals;    //mappedVals也指定8个元素

 

展开阅读全文

没有更多推荐了,返回首页