function template函数模版

最新推荐文章于 2024-03-11 00:56:41 发布

keep_moving_cqu

最新推荐文章于 2024-03-11 00:56:41 发布

阅读量991

点赞数

CC 4.0 BY-SA版权

文章标签： function template 函数模版

本文链接：https://blog.youkuaiyun.com/mydreamremindme/article/details/8915601

本文详细阐述了C++模板函数的概念、实例化过程、显示指定模板参数的方法以及重载函数模板的基本原则，旨在帮助开发者深入理解并熟练应用模板函数。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.模板函数为不同的模板实参定义了一个函数家族。它的表示看起来和普通的函数很相似，唯一的区别是有些函数元素是未确定的：这些参数将在使用的时候被参数化。

template <typename T>
inline T const& max(T const& a,T const& b)
{
    return a<b ? b : a; 
}

上述例子中的参数类型没有确定，用模板参数T来代替。

2.函数模板的实例化：使用具体的类型代替模板参数的过程。这个过程产生了一个模板的实例。这个过程是在编译的时候进行的。

模板内部的操作要被进行参数的类型所支持，否则会出错。

在编译的时候：

1）实例化前，先检查模板代码本身，查看语法错误等，如遗漏分号等；

2）在实例化期间，检查模板代码，查看是不是所有的调用都有效。如该实例化类型不支持某些函数的调用。

3.显示指定模板参数

模板参数不支持自动类型转换，每个T都必须准确的匹配。

template <typename T>
inline T const7 max(T const& a, T cosnt& b);
...
max(4,7)                    //OK
max(4,4.2)                //ERROR,第一个是int，第二个是double

有几种解决办法，

1）max(static_cast(double)(4),4.2)   //OK2）显示指定模板参数：max<double>(4,4.2)

3）使用连个模板参数。

4.重载函数模板

和普通函数一样，模板函数同样可以被重载，相同的函数名称可以具有不同的函数定义。

几条基本的原则：

1）非模板函数和一个同名的模板函数可以同时存在。对于非模板函数和同名的函数模板，如果其他条件都相同的话，在调用的时候将调用非模板函数，不会实例化模板函数。

2）如果模板产生一个更好的匹配，选择模板参数。

3）可以显示的指定一个空的模板实例列表，告诉编译器，用模板来匹配。

4）函数的所有重载说明在该函数被调用位置之前。

我现在的感觉是这个功能少用，很容易出问题，以后就不知道了。

函数模板——模板函数（function template——template function）

函数模板的重点是模板。表示的是一个模板，专门用来生产函数。例子：

template <typename T>

void fun(T a)

{

…

}

在运用的时候，可以显式（explicitly）生产模板函数，fun <int> 、fun <double> 、fun <Shape*> ……。

也可以在使用的过程中由编译器进行模板参数推导，帮你隐式（implicitly）生成。

fun(6);//隐式生成fun <int>

fun(8.9);//隐式生成fun <double>

fun(‘a’);// 隐式生成fun <char>

Shape* ps = new Cirlcle;

fun(ps);//隐式生成fun <Shape*>

模板函数的重点是函数。表示的是由一个模板生成而来的函数。例子：

上面显式（explicitly）或者隐式（implicitly）生成的fun <int> 、fun <Shape*> ……都是模板函数。

模板本身的使用是很受限制的，一般来说，它们就只是一个产生类和函数的模子。除此之外，运用的领域非常少了，所以不可能有什么模板指针存在的，即指向模板的指针，这是因为在C++中，模板就是一个代码的代码生产工具，在最终的代码中，根本就没有模板本身存在，只有模板具现出来的具体类和具体函数的代码存在。

但是类模板（class template）还可以作为模板的模板参数（template template parameter）使用，在Andrei Alexandrescu的《Modern C++ Design》中的基于策略的设计（Policy based Design）中大量的用到。

template < typename T, template <typename U> class Y>
class Foo

{
…
};