第九章 C++模板

函数形参

函数实参

模板形参

模板实参

用类模板定义一个对象时，不能省略实参

类模板只能有虚拟类型参数

类模板本身在编译中不会生成任何代码

类模板的成员函数都是模板函数

const

static

 void

class

函数模板

重载函数

递归函数

模板函数

cast(i);

cast(i);

cast<char*,int>(i);

cast<double,int>(i);

sum<int,4,3>(5);

sum<4,3>(5);

sum<int,int,int>(5);

sum(5);

模板声明中的第一个符号总是关键字template

在模板声明中用括起来的部分是模板的形参表

类模板不能有数据成员

在一定条件下函数模板的实参可以省略

func(3,5);

func(3.0,5);

func(3,5.5);

func(3,5.5);

cast(i);

cast(i);

cast<char*,int>(i);

cast<double,int>(i);

对于虚拟类型参数所对应的模板实参，如果能从模板函数的实参中获得相同的信息，则都可以省略

对于虚拟类型参数所对应的模板实参，如果它们是参数表中的最后的若干个参数，则都可以省略

对于虚拟类型参数所对应的模板实参，若能够省略则必须省略

对于常规参数所对应的模板实参，任何情况下都不能省略

 函数形参

函数实参

模板形参

模板实参

 template T abs(T x){ return x<0?-x:x; }

 template T abs(T x){ return x<0?-x:x; }

 template T abs(T x){ return x<0?-x:x; }

 template T abs(T x){ return x<0?-x:x; }

对象模板和函数模板

对象模板和类模板

函数模板和类模板

变量模板和对象模板

 函数模板不能含有常规形参

函数模板的一个实例就是一个函数定义

类模板的成员函数不能是模板函数

用类模板定义对象时，绝对不能省略模板实参

这可能是一个函数模板的声明

这可能是一个类模板的声明

这既可能是一个函数模板的声明，也可能是一个类模板的声明

这肯定是一个错误的模板声明

调用模板函数时，在一定条件下可以省略模板实参

可以用int、double这样的类型修饰符来声明模板参数

模板声明中的关键字class都可以用关键字typename替代

模板的形参表中可以有多个参数

从模板实参表和从模板函数实参获得信息矛盾时，以模板实参的信息为准

对于常规参数所对应的模板实参，任何情况下都不能省略

虚拟类型参数没有出现在模板函数的形参表中，不能省略模板实参

模板参数表不能为空

模板形参表必须在关键字template之后

 模板形参表必须用圆括号()括起来

可以用class修饰模板形参

可以用typename修饰模板形参

类模板的成员函数都是模板函数

可以为类模板参数设置默认值

类模板描述了一组类

类模板中只允许有一个类型参数

如果一个类中存在纯虚函数，这个类就是类模板

函数模板不能有形式参数表

类模板是一种参数化类型的类，是类的生成器

 类模板中不能包含构造函数

 sum<double,double,int>(d1,d2);

sum<double,double,double>(d1,d2);

sum(d1,d2);

sum(d1,d2);

函数模板是一个实例函数

使用函数模板定义的函数没有返回类型

函数模板的类型参数与函数的参数相同

通过使用不同的类型参数，可以从函数模板得到不同的实例函数

 FUN(9)

FUN<9>

FUN(9)

 FUN<9>(double)

类模板的成员函数都是模板函数

函数模板是一种参数化类型的函数

满足一定条件时可以省略模板实参

模板形参只能由关键字typename声明

template void swap(T a[],T b[],int size);

template void swap(int size,T a[],T b[]);

template<typename T1,typename T2> void swap(T1 a[],T2 b[],int size);

template<class T1,class T2> void swap(T1 a[],T2 b[],int size);

typename

template

class

typedef

mySwap(i1,i2)

mySwap(d1,d2)

 mySwap(i1,d1)

mySwap(i2,d2)

类模板的主要作用是生成抽象类

类模板实例化时，编译器将根据给出的模板实参生成一个类

 在类模板中的数据成员都有同样类型

类模板中的成员函数都没有返回值

程序中的typename都可以替换为class

程序中的class都可以替换为typename

在模板形参表中只能用typename来声明参数的类型

在模板形参表中只能用class或typename来声明参数的类型

 模板参数可以作为数据成员的类型

 模板参数可以作为成员函数的返回类型

模板参数可以作为成员函数的参数类型

模板参数不能作为成员函数的局部变量的类型

template T fun(T t){return t;}

template T fun(T t){return x;}

template T fun(T x,int n){return x*n;}

 template T classA{T n;}

()

 []

<>

 {}

 template<class T1, class T2> class A;

template<class T1, typename T2> class A;

template<typename T1, class T2> class A;

 template<typename T1, T2> class A;

 1

2

3

0

 调用模板函数时，有时可以省略模板实参

函数模板的每个实例就是一个函数定义

类模板的每个实例就是一个类定义

类模板的实例是一个类对象

template class Buffer{/.../};

template class Buffer{/.../};

template<class T1, class T2> class Buffer{/.../};

template<> class Buffer{/.../};

 template<> T

template<T1,T1,T2>

template<class T1,class T2>

template<class T1; class T2>

类模板的成员函数都是模板函数

 类模板本身在编译过程中不会产生任何代码

类模板只能有虚拟类型的参数

用类模板定义一个对象时，实参不能省略