C++模板参数的具体概念是什么

这篇文章给大家介绍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++模板参数，能从函数调用中推导出来。

关于C++模板参数的具体概念是什么就分享到这里了，希望以上内容可以对大家有一定的帮助，可以学到更多知识。如果觉得文章不错，可以把它分享出去让更多的人看到。