C++型别自动推导

C++是一门静态型别语言，每个变量的型别在编译期确定，我们有职责设定每个变量的型别，有时候，型别的名字相当冗长，如：

std::map<std::string, std::unique_ptr<data>> m;
std::map<std::string, std::unique_ptr<data>>::iterator iter = m.find("my key");

传统的解决办法使用typedef缩短型别标识符，借此解决类型不一致的问题。若变量在声明时进行初始化，依照的初始值与自身型别相同，就能用auto设定其类型。编译器会自动推导，判定该变量与初始化表达式是否相同。上述例子可以写成：

auto iter = m.find("my_key");

变量的声明因此简化。

函数模版的参数也可以发生型别推导：

template <typename T>
void func(T t1, T t2)
{
    std::cout << t1 <<std::endl;
    std::cout << t2 <<std::endl;
    return;
}

int main()
{
    func(123, 456);
}

但是若改为func(123, 456.0)则无法通过编译 ，提示(int, double)参数列表不匹配，此时可以使用外敷模版禁用自动推导：

template <typename T>
struct outer//外敷类
{
    typedef T type;
};

template <typename T>
void func(typename outer<T>::type t1, T t2)//禁用t1自动推导
{
    std::cout << t1 <<std::endl;
    std::cout << t2 <<std::endl;
    return;
}

int main()
{
    func(123, 456.0);//t2自动推导为double，此时参数类型T为double
}

类模版的参数推导

C++17拓展了模版参数的自动推导，根据对象初始化表达式，可以推导出模版参数的型别。例如std::lock_guard<>，单独接收一个模版参数，其类型是某种互斥类，根据传入构造函数的参数型别，就能推导出类模版的参数型别：

std::mutex m;
std::lock_guard guard(m);//推导出std::lock_guard<std::mutex>

同样适用于具有多个模版参数的std::scoped_lock<>（同时锁住多个互斥）：

std::mutex m1;
std::shared_mutex m2;			//#include <shared_mutex>
std::scoped_lock guard(m1, m2);//推导出std::scoped_lock<std::mutex, std::shared_mutex>