《STL源码剖析》学习笔记系列之七、八——仿函数和配接器

1、 仿函数

仿函数又名函数对象,具有函数性质的对象,就是传入一些参数,然后对参数进行某些运算,然后返回一个值。为了能够使行为类似函数,需要在类别定义中必须自定义function call 运算子operator()。

仿函数有如下几类:算术类仿函数(plus<T>、minus<T>)关系运算类仿函数(equal_to<T>、less<T>)逻辑运算类仿函数(logical_and<T>、logical_or<T>、logical_not<T>)证同、选择、投射。

1.1、可配接的关键

可配接指的是能够在类原有的基础上扩展成另外一个类。仿函数为此定义了两个类,分别代表一元仿函数和二元仿函数。之后的任何仿函数,根据功能需求选择其中一个类继承。具体代码如下:

一元仿函数

template<class Arg, classResult>

struct unary_function

{

typedef Arg argument_type;

typedef Result result_type;

};

template<class T>

struct negate:publicunary_function<T,T>

{

T operator()(const T& x) const {return -x;}

};

二元仿函数

template<class Arg1,classArg2,class Result>

struct binary_function

{

typedef Arg1 first_argument_type;

typedef Arg2 second_argument_type;

typedef Result result_type;

};

template<class T>

struct plus:publicbinary_function<T,T,T>

{

T operator()(const T& x,const T& y) const {return x+y;}

};

2、配接器

配接器类似于转换器,它是一种设计模式,在原有的类型基础上扩展成为另外一个接口,使原本因为接口不兼容而不能合作的类型可以一起工作。

配接器分类如下:function adapter(改变仿函数接口)、container adapter(改变容器接口)、iterator adapter(改变迭代器接口)。

2.1     container adapter

最明显的例子就是stack和queue, 直接上代码,一看便知:

template<class T,classSequence=deque<T>>

class stack

{

protected:

Sequence c; //底层容器采用 deque

}

template<class T.classSequence=deque<T>>

class queue

{

protected:

Sequence c;

}

由上可知,class stack和class queue均以deque为底层容器,然后通过封主deque所有对外接口,只开放符合stack或queue原则的几个函数,所以我们称stack和queue是个配接器,一个作用于容器之上的配接器。

2.2     iterator adapter

书中针对迭代器适配器分三类进行描述:insert iterator、 reverseiterator、iostream iterator。后两种在实现技巧和理解上都相对复杂一些。通过实例来分析吧,代码如下:

int main()

{

1    ostream_iterator<int> outite(cout," ");

2    int ia[]={0,1,2,3,4,5};

3    deque<int> id(ia,ia+6);

4    copy(id.begin(),id.end(),outite);

5    cout<<endl;  // 0 1 23 4 5

6    copy(ia+1,ia+2,front_inserter(id));

7    copy(id.begin(),id.end(),outite);

8    cout<<endl;  //1 0 12 3 4 5

9    deque<int>::iterator ite=find(id.begin(),id.end(),4);

10  reverse_iterator<deque<int>::iterator>rite(ite)

11   cout<<*ite<<endl; //4

12  cout<<*rite<<endl; //3

}

由上可知,上述第1行代码,采用了iostream iteratoradapter将迭代起绑定到cout对象,组成一个ostream_iterator,拥有输出功能。第6行代码中front_inserter(id)是个辅助函数,方便客户端使用insert_iterator,调用该函数后实际产生一个对象迭代器适配器对象:

front_inserter_iterator<container>(x)。第10行代码中,通过reverse iterator迭代器配接器,转换了迭代器的方向,但是需要注意的是迭代器被逆转,虽然实体位置不变,即指针所在的位置不变,但是其所指的实体位置发生的改变,一个指向右,一个指向左。如下图所示:

2.3     function adapter

该部分是所有配接器中数量最庞大的一个族群。主要是通过对仿函数进行配接操作,组成更加丰富的表达式,简单的例子如下:

not1(bind2nd(less<int>(),12))

上式表述的是一个不小于12的表达式,其中less<int>()为仿函数,通过bind2nd这个配接器器辅助函数的操作转换成另外一种仿函数。

另外需要补充的是用户函数指针的ptr_fun配接器和用户成员函数指针的mem_fun\men_fun_ref。通过配接器操作能够将一般函数和成员函数当做仿函数使用,并传给STL算法。

 

时间: 2024-08-07 03:48:14

《STL源码剖析》学习笔记系列之七、八——仿函数和配接器的相关文章

stl源码剖析学习笔记(二)traits编程技法简明例程

解释说明 traits侯捷老师的翻译是萃取.其目的就是在编译期进行模板调用的类型识别,从而做一些事情. 最突出的例子,我觉得不是<STL源码剖析>中"迭代器概念与traits编程技法"这一章的说明,而是stl算法中copy的实现.代码在stl源码的stl_algobase.h中. copy的最终实现,大致分为两类,一类是直接整块内存的memmove操作,另一类是一个个对象赋值.其中涉及has_trivial_assignment_operator的类型推断. 如果has_t

c++ stl源码剖析学习笔记(一)

template <class InputIterator, class ForwardIterator>inline ForwardIterator uninitialized_copy(InputIterator first, InputIterator last,ForwardIterator result) 函数使用示例 #include <algorithm> #include <iostream> #include <memory> #inclu

STL源码剖析 学习笔记

目录: 第二章 空间适配器 第三章 迭代器 第四章 序列式容器(vector,list,deque,stack,heap,priority_queue,slist) 第五章 关联式容器(树的算法 + RB_tree ,set,map,hashtable) 第六章 算法 第七章 仿函数 第八章 适配器(adapet) 第二章 空间适配器 具有次配置力的SGI空间适配器,STL allocator将对象的内存分配和初始化分离开,内存配置由alloc:allocate 负责,内存释放由dealloca

c++ stl源码剖析学习笔记(二)iterator auto_ptr(老版本书籍示例 新版本C++中已经废除此概念)

ITERATOR template<class InputIterator,class T> InputIterator find(InputIterator first,InputIterator last,const T& value) { while(first != last && *first != value) ++first; return first; } 代码示例 1 #include <iostream> 2 #include <v

重温《STL源码剖析》笔记 第三章

第三章:迭代器概念与traits编程技法 迭代器是一种smart pointer auto_Ptr 是一个用来包装原生指针(native pointer)的对象,声明狼藉的内存泄漏问题可藉此获得解决. auto_ptr用法如下,和原生指针一模一样: void func() { auto_ptr<string> ps(new string("jjhou")); cout << *ps << endl; //输出:jjhou cout <<

重温《STL源码剖析》笔记 第一章

源码之前,了无秘密. --侯杰 经典的书,确实每看一遍都能重新收获一遍: 第一章:STL简介 STL的设计思维:对象的耦合性极低,复用性极高,符合开发封闭原则的程序库. STL的价值:1.带给我们一套极具实用价值的零部件,以及一个整合的组织. 2.带给我们一个高层次的以泛型思维为基础的.系统化的.条理分明的“软件组件分类学”. 在STL接口之下,任何组件都有最大的独立性,并以所谓迭代器胶合起来,或以配接器互相配接,或以所 谓仿函数动态选择某种策略. STL六大组件:1.容器(containers

STL 源码剖析读书笔记一:空间配置器

1. STL 的空间配置器 STL 空间配置器在运用的角度来说,是最不需要介绍的,它总是隐藏在一切组件背后.但若以 STL 的实现角度而言,第一个需要理解的就是空间配置器. 根据 STL 规范,以下是 allocator 的必要接口: allocator::value_type allocator::pointer allocator::const_pointer allocator::reference allocator::const_reference allocator::size_ty

重温《STL源码剖析》笔记 第四章

源码之前,了无秘密  ——侯杰 第四章:序列式容器 C++语言本身提供了一个序列式容器array array:分配静态空间,一旦配置了就不能改变. vector: 分配动态空间.维护一个连续线性空间,迭代器类型为:Random Access Iterators 空间配置 typedef simple_alloc<value_type, Alloc> data_allocator 所谓动态增加空间大小,并不是在原空间之后接续新空间,而是以原大小的两倍另外配置一块较大 的空间,然后将原内容拷贝过来

Stl源码剖析读书笔记之Alloc细节

阅读基础: Foo *pf = new Foo; 执行了两个步骤: 1)::operator new 向系统申请内存. 2) 调用Foo::Foo()构造函数构造实例.  ==> 申请内存,构造实例. delete pf; delete; 执行了两个步骤: 1)调用Foo::~Foo()析构函数. 2). ::operator delete释放内存.         ==> 析构实例,释放内存. Stl Alloc实现: Stl为了高效利用内存,将这两部分分开,分成了四个操作( 构造::con

STL 源码剖析读书笔记三:序列式容器之 vector、list

1. STL 中的容器 容器,置物之所也.STL 容器即是将运用最广的一些数据结构实现出来.如下图所示: 上图以内缩方式来表达基层和衍生层的关系.所谓衍生,并非派生关系,而是内含关系.例如 heap 内含一个 vector,priority-queue 内含一个 heap.stack.queue都内含一个 deque,set/map/multimap/multiset 都内含一个 RB-tree,hash_x 都内含一个 hashtable. 2. 序列式容器之 vector 所谓序列式容器,其