(C++程序的设计课件）第五章 模板.ppt

2018-5-24 1 1 第五章 模板 2018-5-24 2 2 int min( int a, int b ) { return a b ? a : b; } double min( double a, double b ) { return a b ? a : b; } 需要为每一种数据类型 定义一个min函数 例：求两个数的最小值 参数个数、处理流程相同 2018-5-24 3 3 ? min( ? a, ? b ) { return a b ? a : b; } 函数参数类型或返回类型能否在函数定义时不明确指定，当调用时根据实参再确定？ 5.1 函数模板 2018-5-24 4 4 template class Type Type min( Type a, Type b ) { return a b ? a : b; } 5.1.1 函数模板定义：将函数参数类型或返回类型参数化 关键字template 总是放在模板的定义与声明的最前面； 关键字后面是用逗号分隔的模板参数表，它用尖括号 括起来； 每个模板类型参数由关键字class或typename开头，参数名是用户自定义的标识符。 template typename Parm Parm min(Parm a, Parm b ) { return a b ? a : b; } 等同于 2018-5-24 5 5 template class Type Type min( Type a, Type b ) { return a b ? a : b; } void main ( ) { int ri = min( 10, 20 ); double rd = min ( 10.2, 20.1 ); } //int min ( int , int ); // double min ( double , double ); 模板实例化 2018-5-24 8 8 注意： 模板参数可以是一个模板类型参数，它代表了一种类型； 也可以是一个模板非类型参数，模板非类型参数由一个普通的参数声明构成，它代表了一个常量表达式。 int min( const int ( r_array ) [10] ) { int min_val = r_array[0]; for ( int i = 1; i 10; ++i ) if ( r_array[i] min_val ) min_val = r_array[i]; return min_val; } template class Type, int size Type min( const Type ( r_array ) [size] ) { Type min_val = r_array[0]; for ( int i = 1; i size; ++i ) if ( r_array[i] min_val ) min_val = r_array[i]; return min_val; } 2018-5-24 9 9 template class Type, int size Type min( const Type ( r_array ) [size] ); 用函数实参的类型来决定模板实参的类型和值的过程被称为模板实参推演。（函数返回类型并不用于模板实参推演） void main () { int ai [ ] = { 12, 7, 9, 39, 3 }; double ad [3] = { 2.3, 4.5, 1.8 }; int i = min ( ai ); double d = min ( ad ); int a = min ( ad ); } 5.1.2 函数模板实例化 // Type为int , size为5 // Type为double , size为3 // Type为double , size为3 2018-5-24 10 10 template class T1, class T2, class T3 T1 sum ( T2 a, T3 b ) { T1 s; s = a+b; return s; } char a= ‘0’; int i = 1; char b = sum(a,i); char sum (char, int ); ? char c = sum char, char, int (a, i); 显式模板实参，可省略尾部模板实参 char d = sum char (a, i); //省略T2,T3 2018-5-24 11 11 5.1.3 模板编译