C++函数对象(Function Object)(一)
来源:互联网 发布:Linux cat退出 编辑:程序博客网 时间:2024/06/06 08:32
一个函数对象,即一个重载了括号操作符“()”的对象。当用该对象调用此操作符时,其表现形式如同普通函数调用一般,因此取名叫函数对象。举个最简单的例子:
#include <iostream>using namespace std;class FuncObjType{public:void operator() (){cout << "Hello C++" << endl;}};int main(){FuncObjType funcObjType;funcObjType();system("pause");}类FuncObjType中重载了“()”操作符,因此对于一个该类的对象FuncObjTypefuncObjType ,可以这样调用该操作符:funcObjType ()。调用结果即输出以上代码中的内容。该调用语句在形式上跟以下函数的调用完全一样:
- void funcObjType ()
- {
- cout<<"Hello C++!"<<endl;
- }
既然用函数对象与调用普通函数有相同的效果,为什么还有搞这么麻烦定义一个类来使用函数对象?主要在于函数对象有以下的优势:
1. 函数对象可以有自己的状态。我们可以在类中定义状态变量,这样一个函数对象在多次的调用中可以共享这个状态。但是函数调用没这种优势,除非它使用全局变量来保存状态。呃,面向对象编程。。。全局变量。。。。
2. 函数对象有自己特有的类型,而普通函数无类型可言。这种特性对于使用C++标准库来说是至关重要的。这样我们在使用STL中的函数时,可以传递相应的类型作为参数来实例化相应的模板,从而实现我们自己定义的规则。比如自定义容器的排序规则。
举几个使用函数对象的典型的例子:
1.自定义容器set对字符串的排序规则。首先来定义相应的类并重载“()”来规定排序(这里我们按照从大到小排序)。然后我们可以使用这个类作为参数来初始化set容器。
#include <iostream>#include <string>#include <set>using namespace std;class StringSort{public:bool operator()(const string &s1,const string &s2) const{return s1 > s2;}};int main(){set<string, StringSort> myset;myset.insert("A");myset.insert("B");for (set<string, StringSort>::iterator it = myset.begin(); it != myset.end();it++){cout << *it << " ";}cout << endl;system("pause");}
这样容器内容输出为B A,而不是默认情况下的A B。
2.再举一个使用到内部状态的函数对象的例子。假设我们希望通过一个函数对象来产生一串连续的数字,可以任意规定起始数字,每调用一次,将返回下一个数字。相应的类可以设计如下
- class SuccessiveNumGen
- {
- public:
- SuccessiveNumGen(int origin = 0):m_origin(origin){}
- int operator() ()
- {
- return m_origin++;
- }
- private:
- int m_origin;
- };
为了测试,我们使用一个标准库函数:generate_n(),这个函数自动调用我们传进去的函数对象n次,并将结果保存到指定的其实迭代器处。
int main(){vector<int> dest;generate_n(back_inserter(dest), 10, SuccessiveNumGen(5));for (vector<int>::iterator it = dest.begin(); it != dest.end();it++){cout << *it << " ";}cout << endl;system("pause");}这里我们用dest来存放数字,初始化了一个函数对象SuccessiveNumGen(5),即起始数字为5。generate_n函数自动调用10次,结果存放在dest容器中。这里还用到了back_inserter函数,这是个函数适配器,它返回一个函数对象,能保证每次将结果放到容器dest的尾部。 函数适配器在后面会介绍,这里不再多说。我们只当它提供了我们存放数字的位置即可(切不可直接使用dest.end()!)。这样,最终容器中的内容为 5,6,……,12,13,14。通过使用不同的起始数字来初始化不同的函数对象,可以生成不同的数字序列。
3.此外,函数对象还有一个非常重要的用途,即作为谓词函数。谓词函数通常用来对传入的参数进行判断,并返回布尔值。标准库中有大量的函数都定义了多个重载版本,其中包含由用户提供谓词函数的,比如:find_if(),remove_if()的等等。现在假设我们有一串数字,要从中找出第一个不小于10的数字,可以定义如下的类:
class NoLess{public:NoLess(int min = 0):m_min(min){}bool operator()(int val) const{return val > m_min;}private:int m_min;};从而这样调用find_if()函数
int main(){vector<int> dest;generate_n(back_inserter(dest), 10, SuccessiveNumGen(5));for (vector<int>::iterator it = dest.begin(); it != dest.end();it++){cout << *it << " ";}cout << endl;vector<int>::iterator it = find_if(dest.begin(), dest.end(), NoLess(10));cout << *it;cout << endl;system("pause");}
有一点需要指出的是,在调用用到函数对象的标准库算法时,除非显式地指定模板类型为“传引用”,否则默认情况下函数对象是”按值传递“的!因此,如果传递的是一个具有内部状态的函数对象,则被改变状态的是函数内部被复制的临时对象,函数结束后随之消失。真正传进来的函数对象状态并为改变。我们写个简单的测试程序来验证下,这个例子中我们来查找数字序列中的第3个数字:
class Nth{public:Nth(int n = 0) :m_nth(n), m_count(1){}bool operator() (int){return m_count++ == m_nth;}int GetCount()const{return m_count;}private:int m_nth;int m_count;};测试如下
int main(){vector<int> dest;generate_n(back_inserter(dest), 10, SuccessiveNumGen(5));for (vector<int>::iterator it = dest.begin(); it != dest.end();it++){cout << *it << " ";}cout << endl;Nth nth(3);vector<int>::iterator it = find_if(dest.begin(), dest.end(), nth);cout <<"3rd: " <<*it<<endl;cout << "State: " << nth.GetCount() << endl;cout << endl;system("pause");}
输出结果为7,确实能找到第三个数字,但是nth中的m_count依然为1。说明nth确实没有被修改。
一般情况下,至于是传值还是传引用,不会对我们造成太多影响。但还是有必要清楚这一点,困为有时候针对特定的实现会出现一些莫名其妙的问题。通过下面的例子来说明:
我们通过remove_if函数来删除一个数字序列中的第3个数字,如下:
- vector<int> vec;
- for(vector<int>::size_type i=0; i<10; ++i)
- vec.push_back(i+1);
- Nth nth(3);
- remove_if(vec.begin(),vec.end(),nth);
- for(vector<int>::size_type i=0; i<10; ++i)
- {
- cout<<vec[i]<<endl;
- }
按正常思路来讲,删除第3个元素后输出应该是:1,2,4,5,6,7,8,9,10,10(至于最后为什么会出现两次10,这跟标准算法库设计思想有关:算法库绝不改变容器的大小!所谓的remove只是概念上的remove,被删的元素被丢到了后面,可以通过返回值来确定位置。标准算法库以后会进行说明,不是这部分的重点)。但实际情况却令人吃惊:1,2,4,5,7,8,9,10,9,10。
造成这种现象的原因与标准库的实现有关,在《The C++ Standard Library, A tutorial and reference》这本书上,作者给出一种造成这种情况的可能的实现:
- template <class ForwIter, class Predicate>
- ForwIter remove_if(ForwIter beg, ForwIter end, Predicate op)
- {
- beg = std::find_if(beg, end, op);
- if (beg == end)
- {
- return beg;
- }
- else
- {
- ForwIter next = beg;
- return remove_copy_if(++next, end, beg, op);
- }
- }
在这个实现中,我们清晰地看出,函数对象op两次作为参数传递到find_if和remove_copy_if函数中,正是由于标准库默认的"按值传递”,导致两次传递进来的op都是最初始的状态,即m_count为1!这样一来,传递到remove_if函数中的op将从+next位置(next是第一次找到的将被删除的第三个位置)算起再次删除第三个元素,于是第六个元素也就被删除了。
此外,C++参考手册网站C++参考手册上提供的是这样一种可能的实现:
- template<class ForwardIt, class UnaryPredicate>
- ForwardIt remove_if(ForwardIt first, ForwardIt last,
- UnaryPredicate p)
- {
- ForwardIt result = first;
- for (; first != last; ++first) {
- if (!p(*first)) {
- *result++ = *first;
- }
- }
- return result;
- }
显然,这种实现则不会造成删除两次的情况,经过我的测试,结果确实是我们想要的:1,2,4,5,6,7,8,9,10,10。
可见,不是所有的返回布尔值的函数对象都适合作为谓词函数,比如这个例子,不同标准库具体的实现会造成不同的结果。因此,作为一个好的编程习惯,用作谓词函数的函数对象,其判断结果最好不要依赖内部变动的状态。
http://blog.csdn.net/bonchoix/article/details/8050627- class SuccessiveNumGen
- {
- public:
- SuccessiveNumGen(int origin = 0):m_origin(origin){}
- int operator() ()
- {
- return m_origin++;
- }
- private:
- int m_origin;
- };
- C++中的函数对象(Function Object)(一)
- C++函数对象(Function Object)(一)
- C++中的函数对象(Function Object)
- C++中的函数对象(Function Object)
- 认识js函数对象(Function Object)
- javascript函数(一)---认识函数对象(Function Object)[转]
- C++之函数对象/伪函数(Function Object)详解(一)
- 函数对象 function object
- 函数对象 function object
- C++中的函数对象(Function Object)(二)
- 函数对象(function object)的简单讲解
- C++11系列——函数对象(Function Object)
- C++之函数对象(Function Object) & for_each
- Object-c 面向对象(一)
- C++函数对象 (Function object)
- C++之函数对象/伪函数(Function Object)详解(二)
- [C++]函数对象(一)
- 笔记一:javascript 函数对象,普通对象Function Object的理解
- Android lint 删除无用图片文件和配置文件
- Linux学习22_每天一个linux命令(27):chmod命令
- 简单的分析NextDay app这款产品
- Virtualbox WDDM之DxgkDdiPatch
- android中xml tools属性详解
- C++函数对象(Function Object)(一)
- MySQL在Ubuntu系统的三种自启动方法
- IOS实现原生二维码扫码(swift版)
- Eclipse - tomcat
- python各种模块
- Tools属性Tools Attributes
- 各个版本Linux更改为163源
- Virtualbox WDDM之DxgkDdiSubmitCommand
- textView、textField ReturnKey 的使用