函数模板

最新推荐文章于 2022-02-18 15:52:09 发布

TuxedoLinux

最新推荐文章于 2022-02-18 15:52:09 发布

阅读量279

点赞数

分类专栏： C++ boost

C++ 同时被 2 个专栏收录

79 篇文章 7 订阅

订阅专栏

boost

12 篇文章 0 订阅

订阅专栏

函数模板
函数模板能够用来创建一个通用的函数。以支持多种不同的形參。避免重载函数的函数体反复设计。

它的最大特点是把函数使用的数据类型作为參数。

函数模板的声明形式为：

template<typename（或class) T>
<返回类型><函数名>(參数表)
{
    函数体
}

当中，template是定义模板函数的关键字；template后面的尖括号不能省略；typename（或class)是声明数据类型參数标识符的关键字。用以说明它后面的标识符是数据类型标识符。这样，在以后定义的这个函数中，凡希望依据实參数据类型来确定数据类型的变量，都能够用数据类型參数标识符来说明，从而使这个变量能够适应不同的数据类型。

比如：

template<typename（或class) T>
T fuc(T x, T y)
{
    T x;
    //……
}

函数模板仅仅是声明了一个函数的描写叙述即模板。不是一个能够直接运行的函数，仅仅有依据实际情况用实參的数据类型取代类型參数标识符之后，才干产生真正的函数。

C++中的模板template

这个是C++中的模板..template<typename T> 这个是定义模板的固定格式,规定了的..模板应该可以理解到它的意思吧.. 比如你想求2个int float 或double型变量的值,只需要定义这么一个函数就可以了,假如不用模板的话,你就必须针对每种类型都定义一个sum函数..int sum(int, int);float sum(float, float);double sum(double, double);

1.因为T是一个模版实例化时才知道的类型，所以编译器更对T不知所云，为了通知编译器T是一个合法的类型，使用typename语句可以避免编译器报错。 
2.template < typename var_name > class class_name; 表示var_name是一个类型， 在模版实例化时可以替换任意类型，不仅包括内置类型（int等），也包括自定义类型class。 换句话说，在template<typename Y>和template<class Y>中， 
typename和class的意义完全一样。

建议在这种语句中尽可能采用typename，以避免错觉（因为只能替换class,不能只换int), 
这也是C++新标准引进typename关键词的一个初衷

下面我们以求两个数中的最大值为例介绍Template（模板）的使用方法。

<pre name="code" class="cpp">// TemplateTest.cpp : 定义控制台应用程序的入口点。
///<summary>
///测试C++中的template(模板)的使用方法最新整理时间2016.5.21
///</summary>
///<remarks>1:template的使用是为了简化不同类型的函数和类的重复定义.
///<remarks>2:char类型变量c,d输入的都是字母，不是数字，如输入32则c=3,d=2.
#include "stdafx.h"
#include <iostream>
#include<vector>
using namespace std;
template <typename T>
T mmax(T a,T b)
{
return a>b?a:b;
}
int _tmain(int argc, _TCHAR* argv[])
{
cout<<"Please enter the value of a and b:"<<endl;
int a,b;
cin>>a>>b;
cout<<mmax(a,b)<<endl;
cout<<"Please enter the value of c and d:"<<endl;
char c,d;
cin>>c>>d;
cout<<mmax(c,d)<<endl;
cout<<"Please enter the value of f and g:"<<endl;
double f,g;
cin>>f>>g;
cout<<mmax(f,g)<<endl;
while(1);
return 0;
}

C++模板（关键字template，typename）介绍

C++模板

　　模板是C++支持参数化多态的工具，使用模板可以使用户为类或者函数声明一种一般模式，使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型。

　　模板是一种对类型进行参数化的工具；

　　通常有两种形式：函数模板和类模板；

　　函数模板针对仅参数类型不同的函数；

　　类模板针对仅数据成员和成员函数类型不同的类。

　　使用模板的目的就是能够让程序员编写与类型无关的代码。比如编写了一个交换两个整型int 类型的swap函数，这个函数就只能实现int 型，对double，字符这些类型无法实现，要实现这些类型的交换就要重新编写另一个swap函数。使用模板的目的就是要让这程序的实现与类型无关，比如一个swap模板函数，即可以实现int 型，又可以实现double型的交换。模板可以应用于函数和类。下面分别介绍。

　　注意：模板的声明或定义只能在全局，命名空间或类范围内进行。即不能在局部范围，函数内进行，比如不能在main函数中声明或定义一个模板。

一、函数模板通式

1、函数模板的格式：

　　　　template <class 形参名，class 形参名，......> 返回类型函数名(参数列表)

　　　{

　　　　　　函数体

　　　}

　　其中template和class是关见字，class可以用typename 关见字代替，在这里typename 和class没区别，<>括号中的参数叫模板形参，模板形参和函数形参很相像，模板形参不能为空。一但声明了模板函数就可以用模板函数的形参名声明类中的成员变量和成员函数，即可以在该函数中使用内置类型的地方都可以使用模板形参名。模板形参需要调用该模板函数时提供的模板实参来初始化模板形参，一旦编译器确定了实际的模板实参类型就称他实例化了函数模板的一个实例。比如swap的模板函数形式为

　　　　　　template <class T> void swap(T& a, T& b){}，

当调用这样的模板函数时类型T就会被被调用时的类型所代替，比如swap(a,b)其中a和b是int 型，这时模板函数swap中的形参T就会被int 所代替，模板函数就变为swap(int &a, int &b)。而当swap(c,d)其中c和d是double类型时，模板函数会被替换为swap(double &a, double &b)，这样就实现了函数的实现与类型无关的代码。

　　2、注意：对于函数模板而言不存在 h(int,int) 这样的调用，不能在函数调用的参数中指定模板形参的类型，对函数模板的调用应使用实参推演来进行，即只能进行 h(2,3) 这样的调用，或者int a, b; h(a,b)。

C++函数模板

2018年06月29日 13:28:44 jigetage 阅读数：453

原文地址：点击打开链接

前言

有些人提到C++模板就会下意识地觉得可怕、看不懂、避而远之。其实模板并不复杂，而且熟练后可以用在日常工作中，可以帮助我们重用代码，让代码更简洁、易读、可维护。希望这个系列的文章，能够让更多人发现模板的魅力，帮助大家写出更高质量的代码。

我们为什么需要模板

我们有时候会遇到这样的情况：同样的函数，我们要为不同的类型写不同的版本，内容与逻辑都是一摸一样的，只有他们的类型不一样。比如我们写一个max函数，传入两个数字，返回大的数字。很自然地，两个参数的类型和返回的类型必须是相同的。如果不使用模板，我们需要使用函数重载，为不同的类型写不同的函数：

复制代码

int max(int a, int b)
{
     return a < b ? b : a;
}

float max(float a, float b)
{
     return a < b ? b : a;
}

复制代码

这里我只写了2个函数，实际上short, long, unsigned, double等等类型都需要专门的max函数，结果就是需要写十几个几乎一摸一样的代码。如果函数功能更复杂一些，函数实现需要更多行，就会出现大量冗余重复的代码，而且不容易维护，很容易出错。这个时候如果我们能够根据特定的模板批量生成一系列代码，将会方便很多。为此，我们可以使用C++中的模板

什么是模板

顾名思义，模板就是编译器生成代码用的模子。模板有两类，函数模板和类模板（C++14开始出现了变量模板，不过不在此讨论）。如果想要生成函数代码，则需要用函数模板，如果想要生成类定义，则需要用到类模板。这篇文章会先介绍函数模板，下篇文章再介绍类模板。

函数模板

我们可以为上面的一系列max函数写一个函数模板。

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

我们暂时不细说语法，先看一看大致的样子，其实函数模板的长相和普通的函数是很像的。

好了，我们已经定义了一个函数模板，那么怎么去生成函数代码？事实上我们不需要做额外的事情，如果我们使用了max函数，编译器就会自动帮我们生成对应类型的代码。函数模板的使用方式很简单，只需要在模板的名字后面写一对尖括号，尖括号内写上实参列表就可以使用了。

double d = max<double>(1.2, 2.4);

编译器看到这一行，就会自动帮我们生成double版本的max函数，生成出来的函数等价于把函数模板中的所有T都替换成double。在这里max<double>可以看做是double版本的max函数的函数名，我们甚至还可以用&max<double>来获取这个函数的地址。

我们来看一个更复杂的例子

复制代码

template<typename T, int i>
T create()
{
    T value();
    return value + i;
}

int main()
{
    float f1 = create<float, 1>();    // f1 == 1.0
    float f2 = create<float, 2>();    // f2 == 2.0
}

复制代码

这个例子里面我们定义了一个create函数模板，根据模板创建并使用了两个函数create<float, 1>和create<float, 2>。要注意的是，这两个函数是不同的函数，有不同的函数体，和不同的函数地址。他们两个分别等价于

复制代码

float create()    // create<float, 1>
{
    float value();
    return value + 1;
}

float create()    // create<float, 2>
{
    float value();
    return value + 2;
}

复制代码

我们总结一下函数模板的语法，模板定义由template关键字开始，后面跟着一对尖括号，尖括号里面是模板形参列表，也就是模板的参数。模板形参列表的写法和函数形参列表的写法是很相似的。都是“类型参数名, 类型参数名, ...”这种形式。上面的例子中，模板形参列表就是“typename T, int i”。我们注意到，模板形参列表需要为每个形参指定一个类型，这个是因为形参不一定是C++类型，还可以是具体的值，例如数字，指针等等。如果形参是一个类型，则需要使用typename关键字来表示形参的类型，如果形参是一个值，则需要写上这个值的类型。在使用模板的时候，要在模板的名字后面加一对尖括号，尖括号里面是模板实参列表，在上面的例子中，实参列表就是“float, 1”和“float, 2”。与函数调用类似，使用模板的时候编译器会检查实参列表的类型与形参列表的类型是否匹配，不匹配的话会报错。

使用函数模板的优点

我们可以从上面的例子中看出，用函数模板更方便简洁，不需要重复写类似的重载函数。除此外，因为函数代码是在使用的时候生成出来的，所以如果我们没有使用这个函数，编译器就不会生成这个代码，这样我们可以减小程序的大小。例如，我们使用了max<double>，但是没有使用max<int>，那么程序中只有max<double>函数，不会有max<int>函数。