Skip to content

Latest commit

 

History

History
187 lines (173 loc) · 6.09 KB

File metadata and controls

187 lines (173 loc) · 6.09 KB

模板(template)是C++实现代码重用机制的重要工具,是泛型技术(即与数据类型无关的通用程序设计技术)的基础。 模板是C++中相对较新的?语言机制,它实现了与具体数据类型无关的通用算法程序设计,能够提高软件开发的效率,是程序代码复用的强有力工具。

本章主要介绍了函数模板和类模板两类,以及STL库中的几个常用模板数据类型。 一、模板 1、模板概念 模板是对具有相同特性的函数或类的再抽象,模板是一种参数多态性的工具,可以为逻辑功能相同而类型不同的程序提供一种代码共享的机制。 一个模板并非一个实实在在的函数或类,仅仅是一个函数或类的描述,是参数化的函数和类。 2、模板分类 函数模板 类模板 3.函数模板与模板函数 函数模板提供了一种通用的函数行为,该函数行为可以用多种不同的数据类型进行调用,编译器会据调用类型自动将它实例化为具体数据类型的函数代码,也就是说函数模板代表了一个函数家族。 与普通函数相比,函数模板中某些函数元素的数据类型是未确定的,这些元素的类型将在使用时被参数化;与重载函数相比,函数模板不需要程序员重复编写函数代码,它可以自动生成许多功能相同但参数和返回值类型不同的函数。 二、函数模板 1、函数模板的定义

template <class T1, class T2,…>返回类型 函数名(参数表){
   	…… 								//函数模板定义体
}

template是定义模板的关键字;写在一对<>中的T1,T2,…是模板参数,其中的class表示其后的参数可以是任意类型。 模板参数常称为类型参数或类属参数,在模板实例化(即调用模板函数时)时需要传递的实参是一种数据类型,如int或double之类。 函数模板的参数表中常常出现模板参数,如T1,T2 2、使用函数模板的注意事项 ① 在定义模板时,不允许template语句与函数模板定义之间有任何其他语句。

template <class T>
int x;                 //错误,不允许在此位置有任何语句
T min(T a,T b){…}

② 函数模板可以有多个类型参数,但每个类型参数都必须用关键字class或typename限定。此外,模板参数中还可以出现确定类型参数,称为非类型参数。例:

template <class T1,class T2,class T3,int T4>
T1 fx(T1 a, T 2 b, T3 c){…}

在传递实参时,非类型参数T4只能使用常量 ③ 不要把这里的class与类的声明关键字class混淆在一起,虽然它们由相同的字母组成,但含义是不同的。这里的class表示T是一个类型参数,可以是任何数据类型,如int、float、char等,或者用户定义的struct、enum或class等自定义数据类型。 ④ 为了区别类与模板参数中的类型关键字class,标准C++提出?了用typename作为模板参数的类型关键字,同时也支持使用class。比如,把min定义的template 写成下面的形式是完全等价的:

template <typename T> 
T min(T a,T b){…}

3.函数模板的实例化

  • 实例化发生的时机 模板实例化发生在调用模板函数时。当编译器遇到程序中对函数模板的调用时,它才会根据调用语句中实参的具体类型,确定模板参数的数据类型,并用此类型替换函数模板中的模板参数,生成能够处理该类型的函数代码,即模板函数。
  • 当多次发生类型相同的参数调用时,只在第1次进行实例化。假设有下面的函数调用:
int x=min(2,3);     
int y=min(3,9);
int z=min(8.5);

编译器只在第1次调用时生成模板函数,当之后遇到相同类型的参数调用时,不再生成其他模板函数,它将调用第1次实例化生成的模板函数。

  • 实例化的方式

隐式实例化

编译器能够判断模板参数类型时,自动实例化函数模板为模板函数

template <typename T> T max (T, T);
…
int i = max (1, 2); 
float f = max (1.0, 2.0);
char ch = max (‘a’, ‘A’);
…

隐式实例化,表面上是在调用模板,实际上是调用其实例

显示实例化explicit instantiation 时机,编译器不能判断模板参数类型或常量值 需要使用特定数据类型实例化 语法形式:: 模板名称<数据类型,…,常量值,…> (参数)

template <class T> T max (T, T);
…
int i = max (1, ‘2’); 
// error: data type can’t be deduced
int i = max<int> (1, ‘2’);
…

4.函数模板的特化

  • 特化的原因 但在某些情况下,模板描述的通用算法不适合特定的场合(数据类型等) 比如:如max函数
char * cp = max (“abcd”, “1234”);
实例化为:char * max (char * a, char * b){return a > b ? a : b;}

这肯定是有问题的,因为字符串的比较为:

char * max (char * a, char * b)
{	return strcmp(a, b)>0 ? a : b;   }
  • 特化 所谓特化,就是针对模板不能处理的特殊数据类型,编写与模板同名的特殊函数专门处理这些数据类型。 模板特化的定义形式: template <> 返回类型 函数名<特化的数据类型>(参数表) { …… } 说明: ① template < >是模板特化的关键字,< >中不需要任何内容; ② 函数名后的< >中是需要特化处理的数据类型。

5.说明 ① 当程序中同时存在模板和它的特化时,特化将被优先调用; ② 在同一个程序中,除了函数模板和它的特化外,还可以有同名的普通函数。其区别在于C++会对普通函数的调用实参进行隐式的类型转换,但不会对模板函数及特化函数的参数进行任何形式的类型转换。 6.调用顺序 当同一程序中具有模板与普通函数时,其匹配顺序如下: 完全匹配的非模板函数 完全匹配的模板函数 类型相容的非模板函数 三、类模板 1.类模板的概念 类模板可用来设计结构和成员函数完全相同,但所处理的数据类型不同的通用类。 如栈,存在 双精度栈:

class doubleStack{
    private:
    double data[size];
    ……
};

字符栈:

class charStack{
    private:
    char data[size];
    ……
};

这些栈除了数据类型之外,操作完全相同,就可用类模板实现。

2.类模板的声明

template<class T1,class T2,…>
class 类名{
    	……								// 类成员的声明与定义
}

其中T1、T2是类型参数 类模板中可以有多个模板参数,包括类型参数和非类型参数

3.非类型参数

非类型参数是指某种具体的数据类型,在调用模板时只能为其提供用相应类型的常数值。非类型参数是受限制的,通常可以是整型、枚举型、对象或函数的引用,以及对象、函数或类成员的指针,但不允许用浮点型(或双精度型)、类对象或void作为非类型参数

在下面的模板参数表中,T1、T2是类型参数,T3是非类型参数。

template<class T1,class T2,int T3>

在实例化时,必须为T1、T2提供一种数据类型,为T3指定一个整常数(如10),该模板才能被正确地实例化。

4.类模板的成员函数的定义 方法1:在类模板外定义,语法 template <模板参数列表> �返回值类型 类模板名<模板参数名表>::成员函数名 (参数列表)�{� ……�}; 方法2:成员函数定义,与常规成员函数的定义类似,另外 “模板参数列表”引入的“类型标识符”作为数据类型使用 “模板参数列表”引入的“普通数据类型常量”作为常量使用 5.类模板特化

特化 解决例9-9的方法是特化。即用与该模板相同的名字为某种数据类型专门重写一个模板类。 类模板有两种特化方式:一种是特化整个类模板,另一种是特化个别成员函数 特化成员函数的方法:

template <> 返回类型 类模板名<特化的数据类型>::特化成员函数名(参数表){
   …… 								//函数定义体
}
template<>  void Array<char *>::Sort(){
    for(int i=0;i<Size-1;i++){
        int p=i;
        for(int j=i+1;j<Size;j++)
            if(strcmp(a[p],a[j])<0)
                p=j;
        char* t=a[p];
        a[p]=a[i];
        a[i]=t;
    }
}