C++模板参数具体概念讲解

C++编程语言是一个功能强大的计算机应用语言，它的出现在一定程度上大大降低了开发人员的负担，提高了开发效率。我们在这里先来了解一下C++模板参数的相关概念。简单的说，可以把模板看作一种类型，函数模板也不例外。

既然是类型，那么我们在使用模板函数的时候就应该是使用它的一个实例。既然是类型与实例的关系，那么就应该有一个类型的实例化的问题。我们对普通类型进行实例化的时候通常需要提供必要的参数以，模板函数也不例外。只是C++模板参数不是普通的参数，而是特定的类型。也就是说在实例化一个函数模板的时候需要以类型作为参数。通常，模板的参数分为模板参数和调用参数。例如：

template <typename T1, typename T2, typename RT> 
inline RT const& max(T1 const& a, T2 const& b)  
{  
//TODO: 代码实现  
........  
} 

其中，第一行定义了函数模板参数；第二行的函数参数则定义了调用参数，需要注意的是返回值并不属于函数模板的调用参数。

在调用一个模板的时候，最重要的是在调用的时候能正确的推导出C++模板参数。这里有几点要注意的：

1：显示的实例化函数模板。例如：

template <typename T> 
inline T const& max(T const& a, T const& b)  
{  
return a < b ? b : a;  
}  
// 实例化并调用一个模板  
max<double>(4, 4.2); 

第十行，通过显示的指定C++模板参数为double而实例化了一个模板。

2：隐式的实例化一个函数模板。例如：

template <typename T> 
inline T const& max(T const& a, T const& b)  
{  
return a < b ? b : a;  
}  
// 隐式的实例化并调用一个函数模板  
int i = max(42, 66); 

第8行，我们没有显示的指定函数模板参数，但它能自动的去推导出函数模板参数为int。这里可能有个问题。如果非模板函数它的定义和推导后的模板函数实例一样，会产生什么结果呢？例如：

inline int const& max(int const& a, int const& b)  
{  
// 为了便于区分，让返回结果＋100  
return a < b ? a+10 : b+100;  
}  
template <typename T> 
inline T const& max(T const& a, T const& b)  
{  
return a < b ? b : a;  
}  
// 这里调用的究竟是模板函数还是非模板函数？  
int i = max(42, 66); 

实际上，第14行的代码首先回去查看是否有满足要求的非模板函数；如果没有，再根据参数去匹配并实例化相应的模板函数。所以，它调用的应该是非模板的max函数。

3： 也可以使用部分缺省的C++模板参数。你不用指定全部的模板参数，比如，你可以从左到右的，指定一部分参数。例如：

// 从左至右定义了三个参数  
template <typename RT, typename T1, typename T2> 
inline RT const& max(T1 const& a, T2 const& b)  
{  
//TODO: 代码实现  
..  
}  
// 可以只指定第一个返回参数。即，要求返回double类型  
max<double>(4, 4.2); 

上面的代码中，由于返回参数类型不属于调用参数，所以必须明确的指定它为double类型。而T1和T2属于调用C++模板参数，能从函数调用中推导出来。