c++教程 第六章

运行程序
第6章 模 板
程序运行结果如下: · · · the max of il，i2 is:56 the max of fl，f2 is:24·5 the max of dl，d2 is:4656·346
the max of cl，c2 isห้องสมุดไป่ตู้n
第6章 模 板
例 6·2一个与指针有关的例子。 #include<iostream· h>
2．使用宏定义为上述这些函数只写出一套代码:
#define max(x，y)((x)y)?x:y)
第6章 模 板
3．新问题： （1）宏定义避开了C十十的类型检查机制，会导致两个不 同类型参数之间的比较。 （2）宏定义可能在不该替换的地方进行了替换，如: class x{ public: int max(int，int); //此处宏扩展将导致语法错误 //· · · 4．使用模板。 模板是实现代码重用机制的一种工具，它以实现类型参数 化，即把类型定义为参数，从而实现了真正的代码可重用性。 （1）函数模板：构造模板函数 （2）类模板：构造模板类。
第6章 模 板
main()
{ //定义字符堆栈 stack<char>s1，s2; //创建两个模板参数为 char型的对象 int i; s1·init(); s2·init( ); sl·push('a'); s2·push('x'); sl·push('b'); s2·push('y'); sl·push('c'); s2·push('z'); for(i= 0;i<3;i十 十)cout<<"pop.sl:"<<sl.pop()<<endl; for(I=O;i<3;i十十)cout<<”pop.s2:”<<s2.pop()<<endl; }
第6章 模 板
6.2 函数模板与模板函数
6.2 .1 函数模板的声明与模板函数的生成 （1）函数模板的声明格式: template<class type>
返回类型 函数名(参数表)
{ 函数体 }
第6章 模 板
模板形参T:它既可取系统预定义的数据类型，又可以取用户
自定义的类型。
函数模板: max()函数代表的是一类函数, 称为~。函数模板 代表了一类函数.
void stack <type>:push( type ob)
{ if(tos==size) {cout<<”slack is full”; return; } stck[tos]=ob;
tos++;
} template<class type>
type stack<type> :pop()
{ if(tos==0){ cout<<"stack is empty"; return 0;} tos--; return stck[tos]; }
max(c，c);
max(i，c); max(c，i);
//正确，调用max(char，char)
//错误 //错误
}
第6章 模 板
解决方法: (1)采用强制类型转换，如将调用语句 max(i，c); 改写成 max(i，int(c)); (2)用非模板函数重载函数模板: ①只声明一个非模板函数的原型，而不给出函数体，它重载 版本时会自动调用函数模板的函数体。 ②定义一个完整的非模板函数。
const int size=l0 template<class type>
class stack{
type stck[size]; public: int tos;
void init() { tos=O; }
void push(type ch); type pop(); };
第6章 模 板
template<class type>
程序运行结果为: l0 hao 0.123 10
第6章 模 板
(2)在template语句与函数模板定义语句之间不允许有别的语句。 //ThiswillnotcompiIe· template<class T> int i; //错误，不允许有别的语句 T max(T x，T y) { return(x>y)?x:y; } (3)模板函数类似于重载函数，只不过它更严格一些而已。同一 函数模板实例化后的所有模板函数都必须执行相同的动作。 下面的重载函数就不能用模板函数代替，因为它们所执行的 动作是不同的。 Void outdate(int i) { cout<<i; } Void outdata(double d) {cout<<”d=”<<d<<endl;}
(4)若(1)(2)、(3)均未找到匹配的函数，则是一个错误的调用。
(5) 如果在第(1)步有多于一个的选择，那么这个调用是意义不明 确的，是一个错误调用。
第6章 模 板
6.3 类模板与模板类
一个类模板允许用户为类定义一种模式，使得类中的某些 数据成员、成员函数的参数或返回值，能取任意数据类型。
其格式如下:
第6章 模 板
6· 2· 2 函数模板的异常处理 1. 虽然函数模板中的模板形参T可以实例化为各种类型，但 实例化T的各模板实参之间必须保持完全一致的类型，否 则会发生错误。 Template<class T> T max(T x，T y) { return(x>y)?x:y; } void fun(int i，char c) { max(i,i); //正确，调用max(int，int)
template<class T>
T sum (T *array,int size=0)
{ T total=0; for (int i=0;i=size; i++) total+=array[i];
return total;
} int int_array[ ]={l，2，3，4，5，6，7，8，9，10}; double double_array[ ]={(1.l,2.2,3.3,4.4,5.5, 6.6,7.7,8.8,9.0,10.10);
模板实参: 若要用这个max()函数进行最大值操作，必须首先
将模板形参T实例化为确定的数据类型(如int等)， 将T实例化的参数称为~. 模板函数: 用模板实参实例化的函数称为~ 。模板函数表示 某一具体的函数。
第6章 模 板
例6· 1#include<iostream· h> #include<string· h> template<class AT> AT max(AT x，AT y) { return(x>y)?x:y; } main() { int i1=10, i2=56; float f1=12.5, f2=24.5; double d1=50.344, d2=4656.346; char c1=‟k‟, c2=‟n‟; cout<<”the max of i1,i2 is: <<max(i1,i2) <<endl; cout<<”the max of f1,f2 is: “<<max(f1,f2) <<endl; cout<<”the max of d1,d2 is:”<<max(d1,d2)<<endl; cout<<”the max of c1,c2 is:”<<max(c1,c2)<<endl; return 0; }
第6章 模 板
例如，成员函数push()和pop()在类定义体外定义为: template<class type> void stack <type>:push( type ob) { if(tos==size) {cout<<”slack is full”; return; } stck[tos]=ob; tos++; } template<class type> type stack<type>:pop() { if(tos==0){ cout<<"stack is empty"; return 0;} tos--; return stck[tos]; }
第6章 模 板
①Template<class T> T max( T x，T y) { return(X>y)?X:y; } int max(int，int); void fun(int i，char c) { max(i，i); //正确，调用max(int，int) max(c，c); //正确，调用max(char，char) max(i，c); //正确，调用max(int，int) max(c，i); //正确，调用max(int，int) } 或 ② char *max(char *x，char *y) { return(strcmp(x，y)>O)?x:y; } 当出现调用语句 max("abcd"，"efgh"); 时，执行的是这个重载的非模板函数。
cout<<”The summary of double array are:” <<dtotal<<endl;
}
程序运行结果为 : The summary of integer array are:55 The summary of double array are:59.6