C++第七节课要点摘抄-类模板和函数模板

                                                                                    函数模板和类模板

 

         C++提供了函数模板(function template)。所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。凡是函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。

 

1）C++提供两种模板机制：函数模板、类模板

2）类属 —— 类型参数化，又称参数模板

使得程序（算法）可以从逻辑功能上抽象，把被处理的对象（数据）类型作为参数传递。

总结：

模板把函数或类要处理的数据类型参数化，表现为参数的多态性，称为类属。

模板用于表达逻辑结构相同，但具体数据元素类型不同的数据对象的通用行为。

 

函数模板定义形式 

template    < 类型形式参数表 >    

类型形式参数的形式为：

            typename T1 ,  typename T2 , …… , typename Tn 

或     class T1 ,  class T2 , …… , class Tn  

 

模板函数和普通函数的区别：

函数模板不允许自动类型转化

普通函数能够进行自动类型转换

 

模板函数和普通函数在一起的调用规则：

  1 函数模板可以像普通函数一样被重载

  2 C++编译器优先考虑普通函数

  3 如果函数模板可以产生一个更好的匹配，那么选择模板

  4 可以通过空模板实参列表的语法限定编译器只通过模板匹配

 

编译器并不是把函数模板处理成能够处理任意类的函数

编译器从函数模板通过具体类型产生不同的函数

编译器会对函数模板进行两次编译

在声明的地方对模板代码本身进行编译；在调用的地方对参数替换后的代码进行编译。

 

 

类模板：

为什么要用类模板

类模板用于实现类所需数据的类型参数化 

类模板在表示如数组、表、图等数据结构显得特别重要，这些数据结构的表示和算法不受所包含的元素类型的影响

 

类模板的static关键字

从类模板实例化的每个模板类有自己的类模板数据成员，该模板类的所有对象共享一个static数据成员

 和非模板类的static数据成员一样，模板类的static数据成员也应该在文件范围定义和初始化

 每个模板类有自己的类模板的static数据成员副本

 

小结

模板是C++类型参数化的多态工具。C++提供函数模板和类模板。

 模板定义以模板说明开始。类属参数必须在模板定义中至少出现一次。

 同一个类属参数可以用于多个模板。

 类属参数可用于函数的参数类型、返回类型和声明函数中的变量。

 模板由编译器根据实际数据类型实例化，生成可执行代码。实例化的函数模板称为模板函数；实例化的类模板称为模板类。

 函数模板可以用多种方式重载。

 类模板可以在类层次中使用 。