template

//参考  http://prglab.com/cms/pages/c-tutorial/advanced-concepts/templates.php

函数模板( Function templates)

模板是通用语言的特性,模板又叫参数化类型(parametrized types)。利用模板机制可以显著减少冗余信息,能大幅度地节约程序代码,进一步提高面向对象程序的可重用性和维护性

模板(Templates)使得我们可以生成通用的函数,这些函数能够接受任意数据类型的参数,可返回任意类型的值,而不需要对所有可能的数据类型进行函数重载。这在一定程度上实现了宏(macro)的作用。它们的原型定义可以是下面两种中的任何一个:

template function_declaration;

template function_declaration;

上面两种原型定义的不同之处在关键字class typename的使用。它们实际是完全等价的,因为两种表达的意思和执行都一模一样。

 

例如,要生成一个模板,返回两个对象中较大的一个,我们可以这样写:

template

GenericType GetMax (GenericType a, GenericType b) { return (a>b?a:b); }

在第一行声明中,我们已经生成了一个通用数据类型的模板,叫做GenericType。因此在其后面的函数中,GenericType 成为一个有效的数据类型,它被用来定义了两个参数a b ,并被用作了函数GetMax的返回值类型。

 

GenericType 仍没有代表任何具体的数据类型;当函数 GetMax 被调用的时候,我们可以使用任何有效的数据类型来调用它。这个数据类型将被作为pattern来代替函数中GenericType 出现的地方。用一个类型pattern来调用一个模板的方法如下:

function (parameters);

例如,要调用GetMax 来比较两个int类型的整数可以这样写:

int x,y;

GetMax (x,y);

因此,GetMax 的调用就好像所有的GenericType 出现的地方都用int 来代替一样。

 

这里是2个例子:

1 template //class 也可以换成typename,后者是新来的。

  void swap(any &a,any &b)

  {

  ......

  }

 

2// function template

#include

template T GetMax (T a, T b) {

    T result; 

    result = (a>b)? a : b; 

    return (result); 

} 

int main () { 

    int i=5, j=6, k; 

    long l=10, m=5, n;

    k=GetMax(i,j);

    n=GetMax(l,m); 

    cout << k << endl;

    cout << n << endl;

    return 0;

}

6

10

(在这个例子中,我们将通用数据类型命名为T 而不是 GenericType ,因为T短一些,并且它是模板更为通用的标示之一,虽然使用任何有效的标示符都是可以的。)

 

在上面的例子中,我们对同样的函数GetMax()使用了两种参数类型:int long,而只写了一种函数的实现,也就是说我们写了一个函数的模板,用了两种不同的pattern来调用它。

如你所见,在我们的模板函数 GetMax() 里,类型 T 可以被用来声明新的对象   T result;

result 是一个T类型的对象,就像a b一样,也就是说,它们都是同一类型的,这种类型就是当我们调用模板函数时写在尖括号<> 中的类型。

 

template // 最常用的:一个class 参数。

template // 两个class 参数。

template // 一个class 和一个整数。

template // 有一个默认值。

template // 参数为一个函数。

 

在函数模板中允许使用多个类型参数。但是应当注意template定义部分的每个类型参数前必须有关键字. 函数模板的异常处理。函数模板有一个特点,虽然函数模板中德类型参数T可以实例化为各种类型,但是采用类型参数T的每个参数必须实例化成完全相同的类型。模板类型不具有隐式的类型转换。如果不注意这一点,可能产生错误。

你可能感兴趣的:(C++)