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++模板参数，能从函数调用中推导出来。
【编辑推荐】
