模板函数的几个注意点_摸板函数注意点-CSDN博客

本文链接：https://blog.csdn.net/laixingjun/article/details/8981634

1、一个函数是模板函数，如何声明呢？格式如下：

//模板函数的声明
template<class T> T min(T,T) ;

2、如果一个函数模板有一个以上的模板类型参数，则每个模板类型参数前面都必须有关键字class或typename

//OK:可以用关键字class，也可以用typename，二者可以混用
template<class T,class U>
T minus(T*,U) ;

//错误：必须是<class T,class U>或用关键字typename
template<class T,U>
T minus(T*,U) ;

3、为了分析模板定义，编译器必须能够区分出是类型以及不是类型的表达式。对于编译器来说，它总不是能够区分出模板定义中的哪些表达式是类型。例如，如果编译器在模板定义中遇到表达式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:是一个指针声明
}

4、如同非模板函数一样，函数模板也可以被声明为inline或extern。应该把指示符放在模板参数表后面，而不是在关键字template前面。

//OK：关键字跟在模板参数表之后
template <class T> inline T min(T,T) ;
//错误：inline指示符放置的位置错误
inline template<class T> T min(T,T) ;