我们上文讲了,模板的引入,我们发现在某种特殊的情况下,必须得通过模板才能完美的解决问题.

  本文就来简述一下函数模板的基本使用.

  一、函数模板格式

template<typename Param1, typename Param2,...,class Paramn>
返回值类型 函数名(参数列表){
...
}

  二、函数模板的实例

//T表示类型,具体是什么不知道,实例化的时候才知道
//typename可以用class代替,但推荐使用typename
//注意:typename不能用struct代替!!!
template<typename T>
T Add(const T l,const T r){
return l+r;
} //模板函数也可以定义为inline
//注意inline的位置,必须在template之后,返回值之前
template<typename T>
inline T Add(const T l,const T r){
return l+r;
}

  注意:模板本身并不是函数或类,它只是一个泛型的代码.

  编译器在通过模板来生成特定类型的代码这一过程称之为:模板的实例化.

  因此,模板被编译了两次:

  第一次编译在实例化之前,编译时完成的工作主要是:检查模板代码本身是否有语法问题(比如少个分号什么的)

  第二次编译时在实例化期间,再次检查模板代码,在特定类型下,所有的调用是否都有效.

  三、函数模板的形参

  首先,模板有两种参数,类型形参与非类型形参.

//T为类型形参,N为非类型形参
template<typename T,int N>
T Add(const T l,const T r){
return l+r;
}

  模板形参小结:

  1.模板形参名字只能在模板形参之后到模板声明或定义的末尾之间使用,遵循名字屏蔽规则.

  2.模板形参的名字在同一模板形参列表中只能使用一次.

  3.所有类型形参前面必须加上class或者typename关键字修饰.

  4.函数模板的内部不能指定缺省参数.

  四、模板函数的重载

template<typename T>
int Add(const int a,const int b){
return a+b;
}
T Add(const T l,const T r){
return l+r;
} template<typename T>
T Add(const T a,const T b,const T c){
return a+b+c;
} template<typename T1,typename T2>
T1 Add(const T1 l,const T2 r){
return l+r;
} template<typename T,int N>
void Print(const T (&arr)[N]){
for(int i=0; i<N; ++i){
cout<<arr[i]<<" ";
}
cout<<endl;
}
//...
cout<<Add(1,2)<<endl; //int Add(const int,const int)
cout<<Add<>(1,2)<<endl; //T Add(const T l,const T r)
cout<<Add(1,2,3)<<endl; //T Add(const T a,const T b,const T c)
cout<<Add(1,2.2)<<endl; //T1 Add(const T1 l,const T2 r)
cout<<Add(1.1,2)<<endl; //T1 Add(const T1 l,const T2 r)

  模板函数重载说明:

  1.一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数。

  2.对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调动非模板函数而不会从该模板产生出一个实例.如果模板可以产生一个具有更好匹配的函数,那么将选择模板.

  3.显式指定一个空的模板实参列表,该语法告诉编译器只有模板才能来匹配这个调用,而且所有的模板参数都应该根据实参演绎出来.

  4.模板函数不允许自动类型转换,但普通函数可以进行自动类型转换.

  五、模板函数的特化

  在某些情况下,通用模板定义对于某个类型可能是完全错误的,或者不能编译,或者做一些错误的事情:

template<typename T>
T Max(const T l,const T r){
return l>r?l:r;
}
//....
char *str1="123456789";
char *str2="abcdefhij";
cout<<Max(1,2)<<endl; //正确
cout<<Max(str1,str2)<<endl; //错误,它比较的是指针的大小,而不是ASCII码

  因此,我们需要用到模板的特化:

template<>
const char* Max<const char*>(const char* l,const char* r){
int ret = strcmp(l,r);
return ret>0?l:r;
}

  注意:

  1.在特化时如果少了形参列表,那么只是定义了一个普通的函数,该函数含有返回类型与模板实例化相匹配的形参表.

  2.在模板特化版本的调用中,实参类型必须与特化版本函数的形参类型完全匹配,如果不匹配,编译器将为实参模板定义中实例化一个实例.

  3.特化不能出现在模板实例的调用之后,应该在头文件中包含模板特化的声明,然后使用该特化版本的每个源文件包含该头文件.

 五、模板函数的参数推演

  从函数实参确定模板形参类型和值的过程称为模板实参推断.

  类型形参转换时,一般不会转换实参以匹配已有的实例化,相反会产生新的实例.

  而编译器只会执行两种转换:

  1、const转换:接收const引用或者const指针的函数可以分别用非const对象的引用或者指针来调用

  2、数组或函数到指针的转换:如果模板形参不是引用类型,则对数组或函数类型的实参应用常规指针转换.数组实参将当做指向其第一个元素的指针,函数实参当做指向函数类型的指针.

【C++】模板简述(二):函数模板的更多相关文章

  1. 【C++】模板简述(三):类模板

    上文简述了C++模板中的函数模板的格式.实例.形参.重载.特化及参数推演,本文主要介绍类模板. 一.类模板格式 类模板也是C++中模板的一种,其格式如下: template<class 形参名1 ...

  2. C++ 函数模板一(函数模板定义)

    //函数模板定义--数据类型做参数 #include<iostream> using namespace std; /* 函数模板声明 1.函数模板定义由模板说明和函数定义组成,并且一个模 ...

  3. C++模板学习:函数模板、结构体模板、类模板

    C++模板:函数.结构体.类 模板实现 1.前言:(知道有模板这回事的童鞋请忽视) 普通函数.函数重载.模板函数 认识. //学过c的童鞋们一定都写过函数sum吧,当时是这样写的: int sum(i ...

  4. 【C++】模板简述(六):总结

    1.模板技术是泛型编程的基础.([C++]模板简述(一):模板的引入) 2.模板被编译两次,因而给分离编译造成一些麻烦.([C++]模板简述(二):函数模板.[C++]模板简述(四):模板为什么不支持 ...

  5. C++学习笔记之模板(1)——从函数重载到函数模板

    一.函数重载 因为函数重载比较容易理解,并且非常有助于我们理解函数模板的意义,所以这里我们先来用一个经典的例子展示为什么要使用函数重载,这比读文字定义有效的多. 现在我们编写一个交换两个int变量值得 ...

  6. C++_进阶之函数模板_类模板

     C++_进阶之函数模板_类模板 第一部分 前言 c++提供了函数模板(function template.)所谓函数模板,实际上是建立一个通用函数,其函数类型和形参类型不具体制定,用一个虚拟的类型来 ...

  7. [转]C++函数模板与模板函数

      1.函数模板的声明和模板函数的生成   1.1函数模板的声明 函数模板可以用来创建一个通用的函数,以支持多种不同的形参,避免重载函数的函数体重复设计.它的最大特点是把函数使用的数据类型作为参数. ...

  8. 019_linuxC++之_函数模板引入

    (一)首先我们来看非模板程序,函数只是输入不一样的变量就需要构件很多个不一样的函数,那么这样很麻烦,则引入函数模板 int& max(int& a, int& b) { ret ...

  9. C++ 函数模板&类模板详解

    在 C++ 中,模板分为函数模板和类模板两种.函数模板是用于生成函数的,类模板则是用于生成类的. 函数模板&模板函数     类模板&模板类  必须区分概念 函数模板是模板,模板函数时 ...

随机推荐

  1. HDU2121 Ice_cream’s world II —— 最小树形图 + 不定根 + 超级点

    题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=2121 Ice_cream’s world II Time Limit: 3000/1000 MS (J ...

  2. Module in powershell

    https://docs.microsoft.com/en-us/powershell/module/powershellget/install-module?view=powershell-6 ht ...

  3. YTU 1098: The 3n + 1 problem

    1098: The 3n + 1 problem 时间限制: 1 Sec  内存限制: 64 MB 提交: 368  解决: 148 题目描述 Consider the following algor ...

  4. ubuntu LNMP环境下安装Redis,以及php的redis扩展

    1.下载 sudo wget http://download.redis.io/releases/redis-4.0.9.tar.gz 2.解压 sudo tar zvxf redis-4.0.9.t ...

  5. 网页动画插件---Super Scrollorama , TweenMax 和skrollr

    SuperScrollorama 是一个用来实现超酷的滚动动画效果的 jQuery 插件. 实现的效果有:文字褪色,飞,旋转,缩放,斯马什,针脚,滑动,隐退,反弹,颜色,扔,移动,视差. 地址:htt ...

  6. P4284 [SHOI2014]概率充电器 dp

    这个题题干说的不清楚,一开始我以为只能是旁边紧挨着的传火,导致我一开始根本不知道哪错了.后来,我想到树形dp,但是需要正反考虑,()既要考虑父亲,又要考虑儿子),互相都有影响,所以没太想出来.后来知道 ...

  7. Pessimistic Offline Lock悲观离线锁

    每次只允许一个业务事务来访问数据,以防止并发业务事务中的冲突. 离线并发处理通常会出现多个业务事务操作同一数据. 最简单的办法是为整个业务事务保持一个系统事务.但是事务系统不适合于处理长事务. 首选乐 ...

  8. node express中使用static的错误

    使用express中的static可以设置文件存储路径,比如js存在于public/js//demo.js这个时候可以将js文件夹设置为专门存储js的路径,代码如下: app.use('/javasc ...

  9. maven仓库错误

    1.jai_core 时间:2018年3月21日10:04:57 URL:https://mvnrepository.com/artifact/javax.media/jai_core/1.1.3 / ...

  10. 组件-实体-系统 Entiy-Compoent-System ECS架构整理

    继承体系的问题,为什么要用ECS 面向对象的问题 当一个新的类型需要多个老类型的不同功能的时候,不能很好的继承出来 游戏开发后期会有非常多的类,很难维护 游戏中子系统很多,它们对一个对象的关注点往往互 ...