Template 基础篇-函数模板
====================================================||
欢迎讨论技术的可以相互加微信:windgs (请备注csdn+xx职业)
====================================================||
---------------------
作者:隨意的風
来源:CSDN
原文:https://blog.csdn.net/Windgs_YF/article/details/86550843
版权声明:本文为博主原创文章,转载请附上博文链接!
Template所代表的泛型编程是C++语言中的重要的组成部分,我近期在研究C++的模板所以采购了基本相关的书籍,可以推荐给大家:
第一本《深入实践c++模板编程》
第二本《数据结构:基于C++模板类的实现 余腊生等》---主要讲解数据结构的
第三本《C++ Templates 中文版》
目录
Template 基础篇-函数模板
为什么要有泛型编程
函数模板定义
普通函数模板
成员函数模板
为什么成员函数模板不能是虚函数(virtual)?
实参推断
当返回值类型也是参数时
实参推断时的自动类型转换
模板函数特化
Template 基础篇-函数模板
为什么要有泛型编程
函数模板定义
普通函数模板
成员函数模板
为什么成员函数模板不能是虚函数virtual
实参推断
如何使用
当返回值类型也是参数时
实参推断时的自动类型转换
函数模板重载
模板函数特化
为什么要有泛型编程
C++是一门强类型语言,所以无法做到像动态语言(python javascript)那样子,编写一段通用的逻辑,可以把任意类型的变量传进去处理。泛型编程弥补了这个缺点,通过把通用逻辑设计为模板,摆脱了类型的限制,提供了继承机制以外的另一种抽象机制,极大地提升了代码的可重用性。
注意
模板定义本身不参与编译,而是编译器根据模板的用户使用模板时提供的类型参数生成代码,再进行编译,这一过程被称为模板实例化。用户提供不同的类型参数,就会实例化出不同的代码。
函数模板定义
把处理不同类型的公共逻辑抽象成函数,就得到了函数模板。
函数模板可以声明为inline或者constexpr的,将它们放在template之后,返回值之前即可。
普通函数模板
下面定义了一个名叫compare的函数模板,支持多种类型的通用比较逻辑。
template<typename T>
int compare(const T& left, const T& right) {if (left < right) {return -1; }if (right < left) {return 1; }return 0;
}compare<int>(1, 2); //使用模板函数
成员函数模板
不仅普通函数可以定义为模板,类的成员函数也可以定义为模板。
class Printer {
public:template<typename T>void print(const T& t) {cout << t <<endl;}
};Printer p;
p.print<const char*>("abc"); //打印abc
为什么成员函数模板不能是虚函数(virtual)?
这是因为c++ compiler在parse一个类的时候就要确定vtable的大小,如果允许一个虚函数是模板函数,那么compiler就需要在parse这个类之前扫描所有的代码,找出这个模板成员函数的调用(实例化),然后才能确定vtable的大小,而显然这是不可行的,除非改变当前compiler的工作机制。
实参推断
为了方便使用,除了直接为函数模板指定类型参数之外,我们还可以让编译器从传递给函数的实参推断类型参数,这一功能被称为模板实参推断。
如何使用
compare(1, 2); //推断T的类型为int
compare(1.0, 2.0); //推断T的类型为double
p.print("abc"); //推断T的类型为const char*
有意思的是,还可以通过把函数模板赋值给一个指定类型的函数指针,让编译器根据这个指针的类型,对模板实参进行推断。
int (*pf) (const int&, const int&) = compare; //推断T的类型为int
1
当返回值类型也是参数时
当一个模板函数的返回值类型需要用另外一个模板参数表示时,你无法利用实参推断获取全部的类型参数,这时有两种解决办法:
返回值类型与参数类型完全无关,那么就需要显示的指定返回值类型,其他的类型交给实参推断。
注意:此行为与函数的默认实参相同,我们必须从左向右逐一指定。
template<typename T1, typename T2, typename T3>
T1 sum(T2 v2, T3 v3) {return static_cast<T1>(v2 + v3);
}auto ret = sum<long>(1L, 23); //指定T1, T2和T3交由编译器来推断template<typename T1, typename T2, typename T3>
T3 sum_alternative(T1 v1, T2 v2) {return static_cast<T1>(v1 + v2);
}
auto ret = sum_alternative<long>(1L, 23); //error,只能从左向右逐一指定
auto ret = sum_alternative<long,int,long>(1L,23); //ok, 谁叫你把最后一个T3作为返回类型的呢?
返回值类型可以从参数类型中获得,那么把函数写成尾置返回类型的形式,就可以愉快的使用实参推断了。
template<typename It>
auto sum(It beg, It end) -> decltype(*beg) {decltype(*beg) ret = *beg;for (It it = beg+1; it != end; it++) {ret = ret + *it;}return ret;
}vector<int> v = {1, 2, 3, 4};
auto s = sum(v.begin(), v.end()); //s = 10
实参推断时的自动类型转换
编译器进行模板实参推断时通常不会对实参进行类型转换,只有以下几种情况例外:
普通对象赋值给const引用 int a = 0; -> const T&
数组名转换为头指针 int a[10] = {0}; -> T*
函数名转换为函数指针 void func(int a){...} -> T*
函数模板重载
函数模板之间,函数模板与普通函数之间可以重载。编译器会根据调用时提供的函数参数,调用能够处理这一类型的最特殊的版本。在特殊性上,一般按照如下顺序考虑:
普通函数
特殊模板(限定了T的形式的,指针、引用、容器等)
普通模板(对T没有任何限制的)
对于如何判断某个模板更加特殊,原则如下:如果模板B的所有实例都可以实例化模板A,而反过来则不行,那么B就比A特殊。
template<typename T>
void func(T& t) { //通用模板函数cout << "In generic version template " << t << endl;
}template<typename T>
void func(T* t) { //指针版本cout << "In pointer version template "<< *t << endl;
}void func(string* s) { //普通函数cout << "In normal function " << *s << endl;
}int i = 10;
func(i); //调用通用版本,其他函数或者无法实例化或者不匹配
func(&i); //调用指针版本,通用版本虽然也可以用,但是编译器选择最特殊的版本
string s = "abc";
func(&s); //调用普通函数,通用版本和特殊版本虽然也都可以用,但是编译器选择最特化的版本
func<>(&s); //调用指针版本,通过<>告诉编译器我们需要用template而不是普通函数
模板函数特化
有时通用的函数模板不能解决个别类型的问题,我们必须对此进行定制,这就是函数模板的特化。函数模板的特化必须把所有的模版参数全部指定。
template<>
void func(int i) {cout << "In special version for int "<< i << endl;
}int i = 10;
func(i); //调用特化版本
---------------------
Template 基础篇-函数模板相关推荐
- C++ 泛型编程(一):模板基础:函数模板,类模板,模板原理,模板匹配规则
类模板 函数模板 泛型编程 泛型编程,泛型即是指具有在多种数据类型上皆可操作的含义,其实就是能够帮助开发者编写完全一般化并可重复使用的算法,同样的工作不需要做多次,同样的算法针对不同的类型也不应该写多 ...
- 【C++基础】模板基础与函数模板
目录 初识模板 函数模板 函数模板实例化 显式实例化 隐式实例化 初识模板 求两个int.float.char类型的数据的最大值: C里面要这样写: int maxInt(int x, int y); ...
- C++ 泛型编程(一):模板基础:函数模板、类模板、模板推演成函数的机制、模板实例化、模板匹配规则
文章目录 泛型编程 函数模板 函数模板实例化 隐式实例化 显式实例化 函数模板的匹配规则 类模板 类模板的实例化 泛型编程 泛型编程旨在削减重复工作,如: 将一个函数多次重载不如将他写成泛型. voi ...
- c++远征之模板篇——函数模板、类模板
以下内容源于慕课网的学习整理,如有侵权,请告知删除. 函数模板(vs模板函数) 1.为什么需要模板? 函数体相同,只是类型不一样而已. 那么能否把数据的类型当做参数传递呢?肯定是可以的,这是模板. 2 ...
- C++基础——对函数模板的类型推导的补充
这里忽然想到一个问题: template<typename T> void foo() {T x = T(); }template<typename T> void foo2( ...
- “笨办法”学Python 3基础篇 - 函数
"笨办法"学Python 3基础篇系列文章 "笨办法"学Python 3基础篇 第一部分-打印与输入 "笨办法"学Python 3基础篇 第 ...
- JS基础篇--函数声明与定义,作用域,函数声明与表达式的区别
Scoping & Hoisting 例: var a = 1;function foo() {if (!a) {var a = 2;}alert(a); };foo(); 上面这段代码在运行 ...
- SQL基础篇---函数及其函数配套使用的关键字
一.数值函数 知识点1 SUM 求总和 SELECT breakfast,sum(price) FROM my_foods GROUP BY breakfast ORDER BY SUM(price) ...
- mysql基础篇(函数)
单行函数 1. 字符串函数 (String StringBuilder) 函数 描述 CONCAT(str1,str2,-,strn) 将str1,str2-strn拼接成一个新的字符串 INSERT ...
最新文章
- oracle12之 多租户容器数据库架构
- [CareerCup] 11.2 Sort Anagrams Array 异位词数组排序
- android m版本 root,Android M 最大看点:又少了一个 ROOT 的理由
- 2020年十大数据中心行业趋势
- Docker容器日志集中收集(client-server模式)
- 织梦检测环境不支持mysql_本地测试织梦dedeCMS 安装环境
- Web Application Security 网络应用程序安全 - (二)2010年网络安全威胁排行榜TOP 10...
- vue router 路由鉴权(非动态路由)
- 吃货注意接收,精美美食图片壁纸来喽
- Codeforces 439C Devu and Partitioning of the Array(模拟)
- 客户组网服务案列_信息报道丨云浮支撑服务中心2020年第五期
- 教你用 FRP 自建 Teamview 连接避开商业检测
- 如何下载mysql-java驱动jar包
- JAVA毕业设计河南口腔医疗机构线上服务系统计算机源码+lw文档+系统+调试部署+数据库
- 软件测试---微信小程序测试点
- 桥本木分式(使用回溯法求解)
- 蓝桥杯(java)个人赛真题:书号验证
- 幼儿 Android App,中国幼儿园在线app
- java平台rpg游戏丧尸_RPG的生存游戏你玩过吗?《Dead Age》带你逃离丧尸
- Android Q notification创建发送流程-framework篇