C++中用函数模板实现和优化抽象操作
摘要:本文介绍函数模板的概念、用途以及如何创建函数模板和函数模板的使用方法......
在创建完成抽象操作的函数时,如:拷贝,反转和排序,你必须定义多个版本以便能处理每一种数据类型。以 max() 函数为例,它返回两个参数中的较大者:
double max(double first, double second);
complex max(complex first, complex second);
date max(date first, date second);
//..该函数的其它版本
尽管这个函数针对不同的数据类型其实现都是一样的,但程序员必须为每一种数据类型定义一个单独的版本:
double max(double first, double second)
{
return first>second? first : second;
}
complex max(complex first, complex second)
{
return first>second? first : second;
}
date max(date first, date second)
{
return first>second? first : second;
}
这样不但重复劳动,容易出错,而且还带来很大的维护和调试工作量。更糟的是,即使你在程序中不使用某个版本,其代码仍然增加可执行文件的大小,大多数编译器将不会从可执行文件中删除未引用的函数。
用普通函数来实现抽象操作会迫使你定义多个函数实例,从而招致不小的维护工作和调试开销。解决办法是使用函数模板代替普通函数。
使用函数模板
函数模板解决了上述所有的问题。类型无关并且只在需要时自动实例化。本文下面将展示如何定义函数模板以便抽象通用操作,示范其使用方法并讨论优化技术。
第一步:定义
函数模板的声明是在关键字 template 后跟随一个或多个模板在尖括弧内的参数和原型。与普通函数相对,它通常是在一个转换单元里声明,而在另一个单元中定义,你可以在某个头文件中定义模板。例如:
// file max.h
#ifndef MAX_INCLUDED
#define MAX_INCLUDED
template <class T> T max(T t1, T t2)
{
return (t1 > t2) ? t1 : t2;
}
#endif
<class T> 定义 T 作为模板参数,或者是占位符,当实例化 max()时,它将替代具体的数据类型。max 是函数名,t1和t2是其参数,返回值的类型为 T。你可以像使用普通的函数那样使用这个 max()。编译器按照所使用的数据类型自动产生相应的模板特化,或者说是实例:
int n=10,m=16;
int highest = max(n,m); // 产生 int 版本
std::complex<double> c1, c2;
//.. 给 c1,c2 赋值
std::complex<double> higher=max(c1,c2); // complex 版本
第二步:改进设计
上述的 max() 的实现还有些土气——参数t1和t2是用值来传递的。对于像 int,float 这样的内建数据类型来说不是什么问题。但是,对于像std::complex 和 std::sting这样的用户定义的数据类型来说,通过引用来传递参数会更有效。此外,因为 max() 会认为其参数是不会被改变的,我们应该将 t1和t2声明为 const (常量)。下面是 max() 的改进版本:
template <class T> T max(const T& t1, const T& t2)
{
return (t1 > t2) ? t1 : t2;
}
额外的性能问题
很幸运,标准模板库或 STL 已经在 <algorithm> 里定义了一个叫 std::max()的算法。因此,你不必重新发明。让我们考虑更加现实的例子,即字节排序。众所周知,TCP/IP 协议在传输多字节值时,要求使用 big endian 字节次序。因此,big endian 字节次序也被称为网络字节次序(network byte order)。如果目的主机使用 little endian 次序,必须将所有过来的所字节值转换成 little endian 次序。同样,在通过 TCP/IP 传输多字节值之前,主机必须将它们转换成网络字节次序。你的 socket 库声明四个函数,它们负责主机字节次序和网络字节次序之间的转换:
unsigned int htonl (unsigned int hostlong);
unsigned short htons (unsigned short hostshort);
unsigned int ntohl (unsigned int netlong);
unsigned short ntohs (unsigned short netshort);
这些函数实现相同的操作:反转多字节值的字节。其唯一的差别是方向性以及参数的大小。非常适合模板化。使用一个模板函数来替代这四个函数,我们可以定义一个聪明的模板,它会处理所有这四种情况以及更多种情形:
template <class T> T byte_reverse(T val);
为了确定 T 实际的类型,我们使用 sizeof 操作符。此外,我们还使用 STL 的 std::reverse 算法来反转值的字节:
template <class T> T byte_reverse(T val)
{
// 将 val 作为字节流
unsigned char *p=reinterpret_cast<unsigned char*> (&val);
std::reverse(p, p+sizeof(val));
return val;
}
使用方法
byte_reverse() 模板处理完全适用于所有情况。而且,它还可以不必修改任何代码而灵活地应用到其它原本(例如:64 位和128位)不支持的类型:
int main()
{
int n=1;
short k=1;
__int64 j=2, i;
int m=byte_reverse(n);// reverse int
int z=byte_reverse(k);// reverse short
k=byte_reverse(k); // un-reverse k
i=byte_reverse(j); // reverse __int64
}
注:模板使用不当会影响.exe 文件的大小,也就是常见的代码浮肿问题。
C++中用函数模板实现和优化抽象操作相关推荐
- 笔记②:牛客校招冲刺集训营---C++工程师(面向对象(友元、运算符重载、继承、多态) -- 内存管理 -- 名称空间、模板(类模板/函数模板) -- STL)
0618 C++工程师 第5章 高频考点与真题精讲 5.1 指针 & 5.2 函数 5.3 面向对象(和5.4.5.5共三次直播课) 5.3.1 - 5.3.11 5.3.12-14 友元 友 ...
- C++提高部分_C++函数模板_基本用法---C++语言工作笔记081
在c++中用到的主要技术,一个是面向对象,一个是 就是泛型编程,而泛型编程的主要实现技术就是利用模板技术实现的.可以看到c++提供了两种模板机制,一种是函数模板,一种是类模板, 我们这里先说,函数模板 ...
- C1 函数模板(Function Template)
1.1函数模板初探 函数模板提供了适用于不同数据类型的函数行为,一个函数模板代表了一组函数.除了一些未指明的信息之外,他们看起来就是一组普通的函数. 1.1.1定义模板 #include<ios ...
- 6、 函数模板和类模板
函数模板和类模板 前言 C++提供了函数模板(functiontemplate).所谓函数模板,实际上是建立一个通用函数,其函数类型和形参类型不具体指定,用一个虚拟的类型来代表.这个通用函数就称为函数 ...
- C++模板:模板简述,函数模板详细说明【C++模板】(56)
模板 模板语义 函数模板 重载泛化 函数模板 语法 模板泛化 特性小结 编译原理 函数模板应用 算法抽象 快速排序算法实现模板化 函数模板默认参数 函数模板的特化 函数模板适用场景 模板 模板语义 模 ...
- c++函数模板(c++细节篇十)
函数模板 函数模板可以用来创建一个通用功能的函数,以支持多种不同形参,进一步简化重载函数的函数体设计. 声明方法: template <typename 标识符> 函数声明. 例子: #i ...
- c++模板之函数模板
函数模板 函数模板的定义格式如下: **template <模板参数> 类型说明符 函数名 (参数列表) { 函数体: } ** 例如: template <typename T&g ...
- c++函数模板和类模板
函数模板和类模板 前言 C++提供两种模板机制:函数模板.类模板 类属 -- 类型参数化,又称参数模板 前言 C++提供了函数模板(function template).所谓函数模板,实际上是建立一个 ...
- 求变量的数据类型,typeid,bool,C和C++的不同,new和delete,C++中的枚举,inline和可变参数模板,auto和函数模板,宽字符
求变量的数据类型,通过函数typeid(变量名).name();获得变量的数据类型. 案例如下: #include<iostream> #include<stdlib.h> v ...
最新文章
- TCP滑动窗口(Sliding Window)原理
- 009_Gson版本支持
- 风林火山win11 64位官方版iso镜像v2021.07
- 信息学奥赛一本通 1096:数字统计 | 1949:【10NOIP普及组】数字统计 | OpenJudge NOI 1.5 41
- 知道路程时间求加速度_凸轮分割器的出力轴加速度是怎么算的
- python 重写抽象类编译错误_从零开始的Java之旅5.0继承、super、this、抽象类
- cv::Mat ptr 和 at 注意事项
- 升级鸿蒙手机内数据会删除吗,鸿蒙系统:手机升级不会删除任何文件,包括APP的登录状态都不会掉...
- 大数据动物园-驯服野兽
- 战疫内外,京东智联云如此“一鸣惊人”!
- uniapp使用picker
- 5G的10大典型应用场景,及详细应用功能
- 软件工程——四则运算2
- $.contains()
- html 页面 title keyworld 的 SEO优化的 基本设置格式
- 计算机语言:机器语言、汇编语言、高级语言
- EM算法推断混合高斯模型参数
- 小学计算机游戏小狐狸历险记,小狐狸历险记
- centos双网卡聚合
- 跳槽时,涨薪幅度比现有薪资高多少才划算?