c++ 类型推导

函数模板大致如下：

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个元素