C++ Template 基础篇（一）：函数模板详解

Template所代表的泛型编程是C++语言中的重要的组成部分，我将通过几篇blog对这半年以来的学习做一个系统的总结，本文是基础篇的第一部分。泛型编程弥补了这个缺点，通过把通用逻辑设计为模板，摆脱了类型的限制，提供了继承机制以外的另一种抽象机制，极大地提升了代码的可重用性。把处理不同类型的公共逻辑抽象成函数，就得到了函数模板。函数模板可以声明为inline或者constexpr的，将它们放在template之后，返回值之前即可。下面定义了一个名叫compare的函数模板，支持多种类型的通用比较逻辑。为了方便使用，除了直接为函数模板指定类型参数之外，我们还可以让编译器从传递给函数的实参推断类型参数，这一功能被称为模板实参推断。