Tr1::function的介绍
它是一个类模板,类的成员变量是一个函数指针。可以把它看作一个智能函数指针(和shared_ptr智能指针对比着理解)。
一. 头文件
#include<functional>
二. 使用
//t.cpp #include "stdafx.h" #include<iostream> #include<functional> using namespace std; void foo(int i){cout<<"aaa"<<endl;} void (*p)(int)=foo; int _tmain(int argc, _TCHAR* argv[]) { function<void (int)> fm; fm=foo; (*p)(2); fm(2); return 0; }
可以看出它和函数指针很像,但是它具有很多函数指针做不到的事情。下面慢慢说。
1. 定义一个function对象。
由于function是一个类模板,所以使用起来,首先定义一个类的对象。
Function <void (int)> fm;-----<>中第一个参数是要绑定函数的返回类型,第二个参数是要绑定的函数的参数列表。注意使用小括号括起来。
2. 像函数指针一样,这个指针需要指向某个函数。
fm=function<void (int)>(foo);
3. 由于类模板function重载了()符号。所以使用起来比函数指针更易用。
Fm(2);
下面说一下为什么要有tr1::function.也就是它相对于函数指针的优点:
1. 绑定的函数的类型
函数指针只能绑定普通的外部函数。而tr1::function可以绑定各种函数类型。
(1) 外部普通函数和类的static函数
//t.cpp #include "stdafx.h" #include<iostream> #include<functional> using namespace std; class A{ public: static void foo(inti){cout<<"aaa"<<endl;} }; int _tmain(int argc, _TCHAR* argv[]) { function<void (int)>fm(A::foo); //function<void (int)> fm;fm=function<void(int)>(A::foo); also OK void (*p)(inti)=A::foo();//error fm(2); return 0; }
因为外部函数和类的static很相似,所以使用起来也很相似。
(2)类的非static成员函数。
//t.cpp #include "stdafx.h" #include<iostream> #include<functional> using namespace std; class A{ public: void foo(int i){cout<<"aaa"<<endl;} }; int _tmain(int argc, _TCHAR* argv[]) { A b; function<void (int)>fm=bind(&A::foo,b,tr1::placeholders::_1);//OK //function<void (int)> fm=b.foo();//error fm(2); return 0; }
注意必须是&A::foo(),这个符号&不能少,这是由function决定的。这里bind中的foo只是接受一个参数,而实际上是需要两个参数,因为static函数是没有对象就存在的,而非static成员函数必须有对象之后才能存在,所以这个成员函数需要指明是哪个对象的成员函数。
(3) 绑定虚函数,呈现多态
//t.cpp #include "stdafx.h" #include<iostream> #include<functional> using namespace std; class A{ public: virtual void foo(int i){cout<<"A"<<endl;} void fun(){ function<void (int)>fm=bind(&A::foo,this,tr1::placeholders::_1); fm(2);//这里和直接调用foo();效果是一样的。并没有改变它的多态性质 } }; class B:public A { public:void foo(inti){cout<<"B"<<endl;} }; int _tmain(int argc, _TCHAR* argv[]) { B b; b.fun(); return 0; }
其实这里并不是function的什么特殊性质,而只是function是一个普通的类而已,不是因为它而改变多态性质。这里和直接调用foo();的效果一样。
2. 构造函数中的参数
(1) 首先是函数名,这个上面已经讲过
(2) 可以是一个函数对象!(函数对象就是一个重载了操作符”()”的类,这样类的对象可以:a(…);使用起来很像函数,所以叫做函数对象)
//t.cpp #include "stdafx.h" #include<iostream> #include<functional> using namespace std; class A{ public: void operator()(int i){cout<<"A"<<endl; } void foo(){} }; int _tmain(int argc, _TCHAR* argv[]) { A a; function<void (int)> fm(a); fm(2); return 0; }
注意这里,居然可以把一个类对象放到function里!这好像违反了function函数指针的原意。但是注意:由于function没有提供返回它拥有的东西的函数,所以这里只能fm(2);来调用类中的重载()函数。不能调用类中的其他函数。所以它还是一个函数指针,只是这个指针指向的函数是一个类中的重载()函数罢了。
3. function类模板的其他几个member函数
(1) assign函数,为这个函数指针分配一个函数实体。
(2) swap函数,交换两个函数指针拥有的东西
(3) target函数,测试本函数指针指向的函数类型是不是为指定类型
(4) target_type函数,获取函数指针指向的函数的类型信息
不常用,也不好用,所以了解即可。
总结:其实function和函数指针很像,只是比函数指针能多指向一些特别的函数而已。
普通函数指针只能指向普通的外部函数
Function可以指向:外部函数,类的static函数,类的非static函数,类的virtual函数,类的对象(函数对象)。