教学课件 c++程序设计（第2版）.ppt

2. 模板形参表 模板非类型参数名代表了一个潜在的值。它被用做一个常量值，可以出现在模板定义的余下部分。它可以用在要求常量的地方，或是在数组声明中指定数组的大小或作为枚举常量的初始值。在模板调用时只能为其提供相应类型的常数值。非类型参数是受限制的，通常可以是整型、枚举型、对象或函数的引用，以及对象、函数或类成员的指针，但不允许用浮点型（或双精度型）、类对象或void作为非类型参数。 §8.2.3 模板参数 2. 模板形参表 【例8-4】用函数模板实现数组的冒泡排序，数组可以是任意类型，数组的大小由模板参数指定。 §8.2.3 模板参数 #include iostream using namespace std; template typename T,int size void bubble_sort(T a[size]) { int i,j; bool change; for(i=size-1,change=true;i=1 change;--i) { change=false; for( j=0;ji;++j) if(a[j]a[j+1]) { T temp; temp=a[j];a[j]=a[j+1];a[j+1]=temp; change=true; } } } int main() { int a[]={9,7,5,3,1,0,2,4,6,8}; char b[]={A,C,E,F,D,B,U,V,W,Q}; int i; cout********a数组********endl; cout排序前：endl; for(i=0;i10;i++) couta[i] ; coutendl; bubble_sortint,10(a); cout排序后：endl; for(i=0;i10;i++) couta[i] ; coutendl; 程序运行结果如下： ********a数组******** 排序前： 9 7 5 3 1 0 2 4 6 8 排序后： 0 1 2 3 4 5 6 7 8 9 ********b数组******** 排序前： A C E F D B U V W Q 排序后： A B C D E F Q U V W cout********b数组********endl; cout排序前：endl; for(i=0;i10;i++) coutb[i] ; coutendl; bubble_sortchar,10(b); cout排序后：endl; for(i=0;i10;i++) coutb[i] ; coutendl; return 0; } §8.2.3 模板参数 程序运行结果如下： ********a数组******** 排序前： 9 7 5 3 1 0 2 4 6 8 排序后： 0 1 2 3 4 5 6 7 8 9 ********b数组******** 排序前： A C E F D B U V W Q 排序后： A B C D E F Q U V W 2. 模板形参表 本例中，size被声明为bubble_sort函数模板的非类型参数后，在模板定义的余下部分，它被当做一个常量值使用。由于bubble_sort函数不是通过引用来传递数组，故在模板调用时，必须显式指定模板实参，明确指定数组的大小。如果bubble_sort函数是通过引用来传递数组，则在模板调用时，就可以不显式指定模板实参，而由编译器自动推断出来，如下所示： §8.2.3 模板参数 2. 模板形参表 template typename T, int size void bubble_sort( T (a)[size]) { … } main()函数中的两个函数调用语句改为： bubble_sort(a); bubble_sort(b); 不过，该程序用VC++6.0的C++编译器不能编译通过，可改用其他编译器，如：VC++7.0的C++编译器、GNU C++编译器。 §8.2.3 模板参数 2. 模板形参表 另外，本程序也可以不使用模板非类型参数来指定数组的大小，而在bubble_sort()函数的参数表中增加一个传递数组大小的int型参数。修改后的函数模板代码如下： §8.2.3 模板参数 2. 模板形参表 template