函数模板是不能直接执行的，需要实例化为模板函数后才能执行。当编译系统发现有一个函数调用：
函数名（实参表）；
C＋＋将根据“实参表”中的类型生成一个重载函数，即模板函数。该模板函数的定义体与函数模板的函数定义体相同，而“形参表”的类型则以“实参表”的实际类型为依据。如以下语句实例化前面声明的函数模板：
abs(-10)；
由于-10为int型，所以实例化为以下真正的模板函数：
再以-10为参数调用该模板函数，执行结果是返回10。
从上例看到，函数模板的数据类型参数标识符实际上是一个类型形参，在使用函数模板时，要将这个形参实例化为确定的数据类型。将类型形参实例化的参数称为模板实参，用模板实参实例化的函数就是模板函数。模板函数的生成就是将函数模板的类型形参实例化的过程。
【例5.1】分析以下程序的执行结果。
解：上述程序中，声明了一个函数模板Tmin（T x，T y），其作用是从函数参数的两个值中返回较小者。在main（）中实例化为min（int，int）和min（double，double）两个模板函数。程序的执行结果如下：
较小整数：10
较小实数：5.6
对于比较两个整数和双精度型数的大小，传统做法要进行两次函数定义来处理这两次不同的调用。但这里将min（）设计成模板，从而只要声明一次。当执行min（n1，n2）（第一次调用）时，便创建了该函数模板的一个实例，这个过程被称为函数模板实例化。生成的模板函数中两个变量的类型是int，int代替占位符T，这个模板函数可以比较两个整数的大小。当执行min（d1，d2）（第二次调用）时，创建该函数模板的第二个实例，生成的模板函数中两个变量的类型是double，这个函数用double代替了占位符T并且比较两个双精度数，其实例化如图5.2所示。
图5.2 函数模板的实例化(www.chuimin.cn)
在模板函数被实例化之前，必须在程序的某个地方首先声明它，这样，就可以到后面再实例化为模板函数。
模板函数有一个特点，虽然模板参数T可以实例化成各种类型，但是采用模板参数T的各参数之间必须保持完全一致的类型。模板类型并不具有隐式的类型转换，例如在int与char之间、float与int之间、fIoat与double之间等的隐式类型转换。而这种转换在C＋＋中是非常普遍的。
【例5.2】分析以下程序中的错误。
解：上述程序中，main（）函数中的最后3个语句在编译时出现错误，原因是min模板参数T的各参数之间必须保持完全一致的类型，但这3个语句的实参的类型与形参不一致，如min（n，c），系统找不到与max（int，char）相匹配的函数定义，虽然int和char之间可以隐式转换，完全可以认为是max（int，int），但是模板类型没有这种识别能力。
【例5.3】编写一个对具有n个元素的数组a[]求最小值的程序，要求将求最小值的函数设计成函数模板。
解：设计函数模板ArrayMin用于求一个数组的最小值，在main函数中对其实例化。程序如下：
程序的执行结果如下：
a数组的最小值为：-12
b数组的最小值为：-9.8
【例5.4】分析以下程序的执行结果。
解：上述程序中，设计了一个函数模板sort，它采用冒泡排序法排序对p所指元素到q所指元素之间的所有元素进行部分排序。在main函数中，实例化该函数模板对数组a中的前4个元素进行排序。程序执行结果如下：
4 19 43 54 60 70 81 2 14 0
有关C++程序设计基础教程的文章
声明函数模板的一般格式如下：template<模板参数表>函数返回值类型函数模板名（形参表）函数模板定义由关键字template开头，表示声明一个模板。模板参数表写在尖括号<>中，参数一般由关键字class或typename后加一个标识符构成。Class和typename的意义相同，表示后面的标识符是一个参数类型，代表一个潜在的标准类型或用户定义的类型。例如，定义max函数模板求两个数中的较大者。如下面的声明是错误的：可以看出，用函数模板比函数重载更方便，程序更简洁。......
2023-11-07
类模板的成员函数被认为是函数模板，也称为类属函数。因此，当给出一个类模板的成员函数的定义时，必须遵循函数模板的定义。在类模板中，可以用类型参数名表示数据成员的类型，也可以表示成员函数返回值、形参和局部变量的类型。类模板定义中的类型参数可带默认值。说明以下类模板的功能。......
2023-11-07
和构造函数一样，析构函数也不能被继承，因此在执行派生类的析构函数时，基类的析构函数也将被调用，其顺序与执行构造函数时的顺序正好相反。最后调用基类的析构函数，多个基类则按派生类声明时列出的逆序、从右到左调用，而不是初始化列表中的次序。首先执行派生类的析构函数，然后执行派生类成员对象的析构函数，再执行基类的析构函数，最后执行基类成员对象的析构函数。......
2023-11-07
本节采用类模板设计几个通用的数据结构，这种类属程序设计方法不仅提高了程序的可靠性，而且大大提高了程序设计效率。抽象数据类型线性表的定义如下：设计满足上述定义的List
2023-11-07
内联函数不能是虚函数，因为内联函数是不能在运行中动态确定其位置的。即使虚函数在类的内部定义，编译时仍将其看作是非内联的。声明虚析构函数的目的在于：使用delete运算符删除一个对象时，能确保析构函数被正确地执行。如果不相同，则被派生类虚函数的参数类型强制转换为基类中虚函数的参数类型。......
2023-11-07
当定义类对象时，构造函数会自动执行。因为一个类可能会有包括默认构造函数在内的不止一种构造函数，下面讨论如何调用特定的构造函数。在这种情况下，会执行默认的构造函数，从而将sa的数据成员初始化为0。如果参数的类型和顺序不与任何构造函数相匹配，则C＋＋将使用类型转换并寻找最佳匹配。......
2023-11-07
C＋＋语言的重载机制包含两种类型：一种是函数重载，另一种是运算符重载。对于定义的重载某一函数名的多个函数，当调用这些函数时，必须明确调用的是哪一个函数，这个过程称为重载函数的绑定。每种实现对应着一个函数体，这些函数的名字相同，但是函数的参数类型不同，这就是函数重载的概念。abs（）函数重载的概念如图1.10所示。图1.10abs（）函数重载分析以下程序中重载函数的情况。......
2023-11-07
相关推荐