函数模板（Function Template）及带默认参数的函数

函数模板（Function Template）及带默认参数的函数

1、函数模板（Function Template）

       C++提供了函数模板(function template)。所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。凡是函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。

 

例：
#include <iostream>

template<typename T> //模板声明，其中T为类型参数
T mymax(T a,T b,T c) //定义一个通用函数，用T做为虚拟的类型
{
    if(b>a)
        a=b;
    if(c>a)
        a=c;
    return a;
}
int main()
{
    int i1=185,i2=76,i3=576,i;
    double d1=56.22,d2=22.12,d3=12.01,d;

    i=mymax(i1,i2,i3);
    d=mymax(d1,d2,d3);
    std::cout<<"i_max="<<i<<std::endl;
    std::cout<<"d_max="<<d<<std::endl;
    return 0;
}

定义函数模板的一般形式为

       template < typename T>  或  template

    通用函数定义                  通用函数定义

在建立函数模时，用虚拟的类型名T代替具体的数据类型。在对程序进行编译时，遇到第调用函数mymax (i1,i2,i3)，编译系统会将函数名mymax与模板mymax相匹配，将实参的类型取代了函数模板中的虚拟类型T。

       类型参数可以不只一个，可以根据需要确定个数。如

              template

可以看到，用函数模板比函数重载更方便，程序更简洁。但应注意它只适用于函数的参数个数相同而类型不同，且函数体相同的情况，如果参数的个数不同，则不能用函数模板。

 

 

2、带默认参数的函数

       一般情况下，在函数调用时形参从实参那里取得值，因此实参的个数应与形参相同。有时多次调用同一函数时用同样的实参，C++提供简单的处理办法，给形参一个默认值，这样形参就不必一定要从实参取值了。如有一函数声明

    float area(float r=6.5);

指定r的默认值为6.5，如果在调用此函数时，确认r的值为6.5，则可以不必给出实参的值，如 

area( ); //相当于area(6.5);
area(7.5); //形参得到的值为7.5，而不是6.5

这种方法比较灵活，可以简化编程，提高运行效率。

如果有多个形参，可以使每个形参有一个默认值，也可以只对一部分形参指定默认值，另一部分形参不指定默认值。

       实参与形参的结合是从左至右顺序进行的。因此指定默认值的参数必须放在形参表列中的最右端，否则出错。例如：

void f1(float a，int b=0，int c，char d=′a′);     //不正确

void f2(float a，int c，int b=0, char d=′a′);     //正确

如果调用上面的f2函数，可以采取下面的形式：

f2(3.5, 5, 3, ′x′)                  //形参的值全部从实参得到

f2(3.5, 5, 3)                      //最后一个形参的值取默认值′a′

f2(3.5, 5)                         //最后两个形参的值取默认值，b=0,d=′a′

可以看到，在调用有默认参数的函数时，实参的个数可以与形参的个数不同，实参未给定的，从形参的默认值得到值。

在使用带有默认参数的函数时有两点要注意：

       (1) 如果函数的定义在函数调用之前，则应在函数定义中给出默认值。如果函数的定义在函数调用之后，则在函数调用之前需要有函数声明，此时必须在函数声明中给出默认值，在函数定义时可以不给出默认值。

       (2) 一个函数不能既作为重载函数，又作为有默认参数的函数。因为当调用函数时如果少写一个参数，系统无法判定是利用重载函数还是利用默认参数的函数，出现二义性，系统无法执行。