模板函数

来源:互联网 发布:满江红刘可知乎 编辑:程序博客网 时间:2024/03/29 04:44
                                       
模板函数的定义,和模板类几乎是一样的语法,不过函数自然比类简单,呵呵。
格式如下:
template <class Type>           // template <typename Type>是一样的效果
Type min( Type a, Type b ) { // Type 被称为模板类型参数
return a < b ? a : b;
}
就可以使用 min(a, b), 来取得各种类型的最小值,int,double,byte等等
也可以有如下形式:
template <class Type, int size> // size 被称为模板非类型参数
Type min( Type (&arr) [size] );
 
如果在全局域中声明了与模板参数同名的对象函数或类型则该全局名将被隐藏在
下面的例子中tmp 的类型不是double 是模板参数Type
typedef double Type;
template <class Type>
Type min( Type a, Type b )
{
// tmp 类型为模板参数 Type
// 不是全局 typedef
Type tmp = a < b ? a : b;
return tmp;
}
 
模板参数名在同一模板参数表中只能被使用一次。例如下面代码就有编译错误
// 错误: 模板参数名 Type 的非法重复使用
template <class Type, class Type>
Type min( Type, Type );
模板参数在函数参数表中可以出现的次数没有限制。在下面的例子中Type 用来表示两个不同函数参数的类型
#include <vector>
// ok: 在模板函数的参数表中多次使用 Type
template <class Type>
Type sum( const vector<Type> &, Type );
如果一个函数模板有一个以上的模板类型参数则每个模板类型参数前面都必须有关键
字class 或typename
// ok: 关键字 typename 和 class 可以混用
template <typename T, class U>
T minus( T*, U );
// 错误: 必须是 <typename T, class U> 或 <typename T, typename U>
template <typename T, U>
T sum( T*, U );
 
一个模板的定义和多个声明所使用的模板参数名无需相同例如下列三个min()的声明
都指向同一个函数模板
// 三个 min() 的声明都指向同一个函数模板
// 模板的前向声明
template <class T> T min( T, T );
template <class U> U min( U, U );
// 模板的真正定义
template <class Type>
Type min( Type a, Type b ) { /* ... */ }
 
为了分析模板定义编译器必须能够区分出是类型以及不是类型的表达式对于编译器
来说它并不总是能够区分出模板定义中的哪些表达式是类型例如如果编译器在模板定
义中遇到表达式Parm::name 且Parm 这个模板类型参数代表了一个类那么name 引用的是
Parm 的一个类型成员吗
template <class Parm, class U>
Parm minus( Parm* array, U value )
{
Parm::name * p; // 这是一个指针声明还是乘法乘法
}
编译器不知道name 是否为一个类型因为它只有在模板被实例化之后才能找到Parm 表
示的类的定义为了让编译器能够分析模板定义用户必须指示编译器哪些表达式是类型表
达式告诉编译器一个表达式是类型表达式的机制是在表达式前加上关键字typename 例如
如果我们想让函数模板minus()的表达式Parm::name 是个类型名因而使整个表达式是一个
指针声明我们应如下修改
template <class Parm, class U>
Parm minus( Parm* array, U value )
{
typename Parm::name * p; // ok: 指针声明
}
 
关键字typename 也可以被用在模板参数表中以指示一个模板参数是一个类型
如同非模板函数一样函数模板也可以被声明为inline 或extern 应该把指示符放在模
板参数表后面而不是在关键字template 前面
// ok: 关键字跟在模板参数表之后
template <typename Type>
inline
Type min( Type, Type );
// 错误: inline 指示符放置的位置错误
inline
template <typename Type>
Type min( Array<Type>, int );
 
原创粉丝点击