C++ Template 基础篇（一）：函数模板详解基础篇（一）：函数模板详解
Template所代表的泛型编程是C++语言中的重要的组成部分，我将通过几篇blog对这半年以来的学习做一个系统的总结，本文
是基础篇的第一部分。
为什么要有泛型编程为什么要有泛型编程
C++是一门强类型语言，所以无法做到像动态语言（python javascript）那样子，编写一段通用的逻辑，可以把任意类型的变
量传进去处理。泛型编程弥补了这个缺点，通过把通用逻辑设计为模板，摆脱了类型的限制，提供了继承机制以外的另一种抽
象机制，极大地提升了代码的可重用性。
注意：模板定义本身不参与编译，而是编译器根据模板的用户使用模板时提供的类型参数生成代码，再进行编译，这一过程被
称为模板实例化。用户提供不同的类型参数，就会实例化出不同的代码。
函数模板定义函数模板定义
把处理不同类型的公共逻辑抽象成函数，就得到了函数模板。
函数模板可以声明为inline或者constexpr的，将它们放在template之后，返回值之前即可。
普通函数模板普通函数模板
下面定义了一个名叫compare的函数模板，支持多种类型的通用比较逻辑。
template<typename T>
int compare(const T& left, const T& right) {
if (left < right) {
return -1;
}
if (right < left) {
return 1;
}
return 0;
}
compare<int>(1, 2); //使用模板函数
成员函数模板成员函数模板
不仅普通函数可以定义为模板，类的成员函数也可以定义为模板。
class Printer {
public:
template<typename T>
void print(const T& t) {
cout << t <<endl;
}
};
Printer p;
p.print<const char*>("abc"); //打印abc
为什么成员函数模板不能是虚函数为什么成员函数模板不能是虚函数(virtual)？？
这是因为c++ compiler在parse一个类的时候就要确定vtable的大小，如果允许一个虚函数是模板函数，那么compiler就需要在
parse这个类之前扫描所有的代码，找出这个模板成员函数的调用（实例化），然后才能确定vtable的大小，而显然这是不可
行的，除非改变当前compiler的工作机制。
实参推断实参推断
为了方便使用，除了直接为函数模板指定类型参数之外，我们还可以让编译器从传递给函数的实参推断类型参数，这一功能被
称为模板实参推断。
如何使用如何使用
compare(1, 2); //推断T的类型为int
compare(1.0, 2.0); //推断T的类型为double
p.print("abc"); //推断T的类型为const char*
有意思的是，还可以通过把函数模板赋值给一个指定类型的函数指针，让编译器根据这个指针的类型，对模板实参进行推断。
评论0