C++进阶：模板类型推导

一起养成写作习惯！这是我参与「掘金日新计划 · 4 月更文挑战」的第5天，点击查看活动详情。

所谓 "推导" 指的是编译器在某些情况下，可以根据调用方提供的信息来补全用户未提供的模板参数，是模板实例化 (template instantiation) 的一个步骤，发生的时机是在函数模版的调用时(invoke time of function template)。也就是说，当需要的时候，每次模版函数的调用，均会 (根据调用方提供的信息) 触发一次潜在的模板参数类型推导。C++11 引入了 auto 和 decltype 关键字实现类型推导，通过这两个关键字不仅能方便地获取复杂的类型，而且还能简化书写，提高编码效率。在学习auto和decltype之前，我们需要先学习一下模板类型参数的推导，模板类型推断是C++11中关键字auto的基础。当在auto上下文中使用模板类型推断的时候，它不会像应用在模板中那么直观，所以理解模板类型推断是如何在auto中运作的就很重要了。只有当我们熟悉类型推导的规则，才能让我们的代码更加的灵活，通用性好。

模板是C++的重要特性，是C++标准模板库的基础。模板可以根据数据类型自动生成代码，大大减少重复代码。模板实例化的时候编译器需要根据具体变量推导数据类型，模板推导出的类型很多时候是显而易见的，有些时候却不太明显，一般，我们