C++ Template学习笔记之函数模板(2)——函数模板实例化

王朝c/c++·作者佚名  2006-01-22
窄屏简体版  字體: |||超大  

函数模板指定了怎样根据一组或更多实际类型或值构造出独立的函数。这个构造过程被称为模板实例化。这个过程是隐式发生的,它可以被看作是函数模板调用或取函数模板的地址的副作用。

为了判断用作模板实参的实际类型和值,编译器需要检查函数调用中提供的函数实参的类型。用函数实参的类型来决定模板实参的类型和值的过程被称为模板实参推演。我们也可以不依赖模板实参推演过程,而是显式地指定模板实参。

在取函数模板实例的地址时,必须能够通过上下文环境为一个模板实参决定一个唯一的类型或值。如果不能决定出这个唯一的类型或值,就会产生编译时错误。如:

template <typename Type,int size>

Type min( Type ( &r_array ) [ size ] ) { /* . . . */ }

typedef int (&rai) [10];

typedef double (&rad) [20];

void func( int (*) (rai) );

void func( double (*) (rad) );

int main() {

//错误:到底是哪一个min()的实例?

func( &min );

}

因为func()函数被重载了,所以编译器不能通过查看func()的参数类型,来为模板参数Type决定唯一的类型,以及为size的模板实参决定一个唯一值。我们可以用一个强制类型转换显式地指出实参的类型来消除编译时错误:

int main() {

//OK:强制转换指定实参类型

func( static_cast< double(*)(rad) >(&min) );

}

但是更好的方案是用显式模板实参。

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航