C++模板总结

1.泛型编程

    理解：就是编写与类型无关的通用代码，是代码复用的一种手段。

    为什么要实现泛型编程？

        我们已经知道在C++中函数可重载，在函数重载有些地方不好使用：代码的复用率比较低；代码的可维护性比较低。因为C++中有模板，所以采用模板可以实现泛型编程，从而生成代码，这样就不需要我们去一个一个重载一些通用的函数。（比如：交换函数）

     从这里我们引出模板，模板分为函数模板和类模板。

2.函数模板

    理解：简单来说函数模板代表了一个函数家族，此函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

    格式：template<typename T1, typename T2,....,typename Tn>

               返回值类型 函数名(参数列表){}

               举例：

                          

                说明：T就是模板函数参数，交换两个相同类型的的值

                注意：交换不同类型的值，若模板参数只要一个编译器就会报错，因为编译器也不知道将T推演成什么类型；若模板有两个参数，可以通过交换地址来实现交换。

    注意：typename是用来定义模板参数关键字，也可以使用class（不能使用struct代替class）

    原理：在编译阶段，编译器根据传递的实参进行类型的推演，产生一份专门处理实参类型的函数。

    实例化：分为隐式实例化和显示实例化

        理解：用不同类型的参数使用函数模板，即实例化

        隐式实例化：让编译器根据实参推演模板参数的实际类型

        显示实例化：在函数名后的<>中指定模板参数的实际类型（比如：Swap<int>(a,b)）；注意：如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。

    模板参数的匹配原则：

        1.一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数

        2.对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生一实例。如果模板可以产生一个具有更好匹