模板函数初步探究1

以下文档转自fire_fuxm_USTC http://www.cnblogs.com/USTC-fuxm/archive/2011/10/18/2216295.html

///

1.模板函数为不同的模板实参定义了一个函数家族。它的表示看起来和普通的函数很相似，唯一的区别是有些函数元素是未确定的：这些参数将在使用的时候被参数化。

template <typename T>
inline T const& max(T const& a,T const& b)
{
    return a<b ? b : a; 
}

上述例子中的参数类型没有确定，用模板参数T来代替。

2.函数模板的实例化：使用具体的类型代替模板参数的过程。这个过程产生了一个模板的实例。这个过程是在编译的时候进行的。

模板内部的操作要被进行参数的类型所支持，否则会出错。

在编译的时候：

1）实例化前，先检查模板代码本身，查看语法错误等，如遗漏分号等；

2）在实例化期间，检查模板代码，查看是不是所有的调用都有效。如该实例化类型不支持某些函数的调用。

 

3.显示指定模板参数

模板参数不支持自动类型转换，每个T都必须准确的匹配。

template <typename T>
inline T const7 max(T const& a, T cosnt& b);
...
max(4,7)                    //OK
max(4,4.2)                //ERROR,第一个是int，第二个是double

有几种解决办法，

1）max(static_cast(double)(4),4.2)   //OK
2）显示指定模板参数：
max<double>(4,4.2)

3）使用连个模板参数。

4.重载函数模板

和普通函数一样，模板函数同样可以被重载，相同的函数名称可以具有不同的函数定义。

几条基本的原则：

1）非模板函数和一个同名的模板函数可以同时存在。对于非模板函数和同名的函数模板，如果其他条件都相同的话，在调用的时候将调用非模板函数，不会实例化模板函数。

2）如果模板产生一个更好的匹配，选择模板参数。

3）可以显示的指定一个空的模板实例列表，告诉编译器，用模板来匹配。

4）函数的所有重载说明在该函数被调用位置之前。

我现在的感觉是这个功能少用，很容易出问题，以后就不知道了。

有一个参考来源

http://blog.renren.com/share/221568597/4310066956

二 . 解决办法:

函数模板提供了一种机制通过它我们可以保留函数定义和函数调用的语义在一个程序位置上封装了一段代码确保在函数调用之前实参只被计算一次.

函数模板提供一个种用来自动生成各种类型函数实例的算法程序员对于函数接口参数和返回类型中的全部或者部分类型进行参数化(parameterize)而函数体保持不变.

下面是min()的函数模板定义

template <class Type>

Type min( Type a, Type b ) {

return a < b ? a : b;

} 

三.  具体操作

关键字template 总是放在模板的定义与声明的最前面关键字后面是用逗号分隔的模板参数表（template parameter list）它用尖括号<> 一个小于号和一个大于号括起来该列表是模板参数表不能为空模板参数可以是一个模板类型参数（template typeparameter）它代表了一种类型也可以是一个模板非类型参数（template nontype parameter）它代表了一个常量表达式模板类型参数由关键字class 或typename 后加一个标识符构成在函数的模板参数表中这两个关键字的意义相同。

 

模板非类型参数由一个普通的参数声明构成模板非类型参数表示该参数名代表了一个潜在的值而该值代表了模板定义中的一个常量例如size 是一个模板非类型参数它代表arr 指向的数组的长度

template <class Type, int size>

Type min( Type (&arr) [size] );

当函数模板min()被实例化时size 的值会被一个编译时刻已知的常量值代替。函数定义或声明跟在模板参数表后除了模板参数是类型指示符或常量值外函数模板的定义看起来与非模板函数的定义相同

template <class Type, int size>

Type min( const Type (&r_array)[size] )

{

/* 找到数组中元素最小值的参数化函数 */

Type min_val = r_array[0];

for ( int i = 1; i < size; ++i )

if ( r_array[i] < min_val )

min_val = r_array[i];

return min_val;

}

在程序的运行过程中Type 会被各种内置类型和用户定义的类型所代替而size 会被各种常量值所取代这些常量值是由实际使用的min()决定的记住一个函数的两种用法是调用它和取它的地址

当一个名字被声明为模板参数之后它就可以被使用了一直到模板声明或定义结束为止模板类型参数被用作一个类型指示符可以出现在模板定义的余下部分它的使用方式与内置或用户定义的类型完全一样比如用来声明变量和强制类型转换模扳非类型参数被用作一个常量值可以出现在模板定义的余下部分它可以用在要求常量的地方或许是在数组声明中指定数组的大小或作为枚举常量的初始值

 四．几点注意

①  如果在全局域中声明了与模板参数同名的对象函数或类型则该全局名将被隐藏在下面的例子中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;

} 

②  在函数模板定义中声明的对象或类型不能与模板参数同名

template <class Type>

Type min( Type a, Type b )

{

// 错误: 重新声明模板参数 Type

typedef double Type;

Type tmp = a < b ? a : b;

return tmp;

} 

③  模板类型参数名可以被用来指定函数模板的返回位

// ok: T1 表示 min() 的返回类型

// T2 和 T3 表示参数类型

template <class T1, class T2, class T3>

T1 min( T2, T3 );

 ④  模板参数名在同一模板参数表中只能被使用一次,但是模板参数名可以在多个函数模板声明或定义之间被重复使用

// 错误: 模板参数名 Type 的非法重复使用

template <class Type, class Type>

Type min( Type, Type );

 // ok: 名字 Type 在不同模板之间重复使用

template <class Type>

Type min( Type, Type );

template <class Type>

Type max( 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 );

 

⑥ 为了分析模板定义编译器必须能够区分出是类型以及不是类型的表达式对于编译器来说它并不总是能够区分出模板定义中的哪些表达式是类型例如如果编译器在模板定义中遇到表达式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 );