C++模板基础篇（一）：如何深入理解函数模板？

本文共计1872个文字，预计阅读时间需要8分钟。

模板所代表的泛型编程在C++语言中是非常重要的组成部分。我计划通过几篇博客，对过去半年来的学习进行总结，构建一个系统的知识体系。本文是基础篇的第一部分。为什么需要泛型编程+C++是一门强类型语言？

Template所代表的泛型编程是C++语言中的重要的组成部分，我将通过几篇blog对这半年以来的学习做一个系统的总结，本文是基础篇的第一部分。

为什么要有泛型编程

C++是一门强类型语言，所以无法做到像动态语言（python javascript）那样子，编写一段通用的逻辑，可以把任意类型的变量传进去处理。泛型编程弥补了这个缺点，通过把通用逻辑设计为模板，摆脱了类型的限制，提供了继承机制以外的另一种抽象机制，极大地提升了代码的可重用性。

注意：模板定义本身不参与编译，而是编译器根据模板的用户使用模板时提供的类型参数生成代码，再进行编译，这一过程被称为模板实例化。用户提供不同的类型参数，就会实例化出不同的代码。

函数模板定义

把处理不同类型的公共逻辑抽象成函数，就得到了函数模板。

函数模板可以声明为inline或者constexpr的，将它们放在template之后，返回值之前即可。

普通函数模板

下面定义了一个名叫compare的函数模板，支持多种类型的通用比较逻辑。