这篇文章给大家介绍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++模板参数的具体概念是什么就分享到这里了,希望以上内容可以对大家有一定的帮助,可以学到更多知识。如果觉得文章不错,可以把它分享出去让更多的人看到。