《C++程序设计》学习笔记总结 - 第九章 函数模板与类模板.docx

第九章 函数模板与类模板 一、函数模板 设计程序中的函数时，可能会遇到函数中参数的类型有差异，但需要实现的功能类似的情形。函数重载可以处理这种情形。重载函数的参数表中，可以写不同类型的参数，从而可以处理不同的情形。 函数模板的概念 为了提高效率，实现代码复用，C++提供了一种处理机制，即使用函数模板。函数在设计时并不使用实际的类型，而是使用虚拟的类型参数。这样可以不必为每种不同的类型都编写代码段。当用实际的类型来实例化这种函数时，将函数模板与某个具体数据类型连用。编译器将以函数模板为样板，生成一个函数，即产生了模板函数，这个过程称为函数模板实例化。函数模板实例化的过程由编译器完成。程序设计时并不给出相应数据的类型，编译时，由编译器根据实际的类型进行实例化。 #includeiostream using namespace std; templatetypename T? //注意这行跟下面的是一体的，中间不能有别的代码 T abs(T x) { ????return x0?-x:x; } int main( ) { ????int n=-5; ????int m=10; ????double d=-.5; ????float f=3.2; ????coutn的绝对值是:abs(n)endl; ????coutm的绝对值是:abs(m)endl; ????coutd的绝对值是:abs(d)endl; ????coutf的绝对值是:abs(f)endl; ????return 0; } -5的绝对值是：5 10的绝对值是：10 -0.5的绝对值是：0.5 3.2的绝对值是：3.2 函数模板的示例 在主函数中，调用abs(n)时，编译器根据实参n的类型int，推导出模板中的类型参数T为int，然后实例化函数模板，生成函数模板abs的一个实例。 int abs (int x) { ?? ?return x 0 ? -x : x; } 这个实例即是模板函数。 当调用abs(d)时，根据实参d的类型double，又实例化一个新的函数。 double abs (double x){ ?? ?return x 0 ? -x : x; } 这是另一个模板函数。 实际上，函数模板不是一个具体的函数，编译器不能为其生成可执行代码。定义函数模板后只是一个对函数功能框架的描述，当它具体执行时，将根据传递的实际参数决定其功能。 虽然函数模板的使用形式与函数类似，但二者有本质的区别，主要表现在以下3个方面。 函数模板本身在编译时不会生成任何目标代码，只有当通过模板生成具体的函数实例时才会生成目标代码。 被多个源文件引用的函数模板，应当连同函数体一同放在头文件中，而不能像普通函数那样只将声明放在头文件中。 函数指针也只能指向模板的实例，而不能指向模板本身。 #includeiostream using namespace std; templateclass T void Swap(T x,T y) { ????T tmp=x; ????x=y; ????y=tmp; } class myDate { ????public: ????myDate(); ????myDate(int,int,int); ????void printDate()const; ????private: ????int year,month,day; }; myDate::myDate() { ????year=1970; ????month=1; ????day=1; } myDate::myDate(int y,int m,int d) { ????year=y; ????month=m; ????day=d; } void myDate::printDate() const { ????coutyear/month/dayendl; ????return; } int main() { ????int n=1,m=2; ????Swap(n,m);? ? //编译器自动生成void Swap（int ,int ）函数 ????coutn mendl; ????double f=1.2,g=2.3; ????Swap(f,g);? ? //编译器自动生成void Swap（double ,double ）函数 ????coutf gendl; ????myDate d1,d2(2000,1,1);? ? //创建两个对象 ????Swap(d1,d2);? ? //编译器自动生成void Swap（myDate ,myDate ）函数 ????d1.printDate(); ????d2.printDate(); ????return 0; } 函数模板中还可以带多个类型参