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

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

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

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

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

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

不仅普通函数可以定义为模板，类的成员函数也可以定义为模板。