result_of
含义:result_of可以帮助程序员确定一个调用表达式的返回类型,主要用于泛型编程和其他boost库组件,它已经被纳入TR1
头文件:<boost/utility/result_of.hpp>
命令空间: using namespace boost;
调用表达式:是指一个含有operator()的表达式,函数调用或函数对象调用都可以成为调用表达式,而result_of可以确定这个表达式所返回的类型
ref
来源:STL和Boost中的算法和函数大量使用了函数对象作为判断式或谓词参数,而这些参数都是传值语义,算法或函数内部保留函数对象的拷贝并使用
#includeusing namespace boost;using namespace boost::assign;int main(){ struct square { typedef void result_type; //返回结果的类型定义 void operator()(int &x) { x = x * x; } }; vector v = (list_of(1), 2, 3, 4, 5); for_each(v.begin(), v.begin(), square()); //输出: 1 , 4 , 9, 16, 25}
一般情况下传值语义都是可行的,但也有很多特殊的情况,作为参数的函数对象拷贝代价过高(复杂的内部状态),或者不希望拷贝对象(内部状态不应该被改变),甚至拷贝是不可行的(noncopyable,单件)
头文件 :#include <boost/ref.hpp>
命名空间:using namespace boost;
类摘要:
templateclass reference_wrapper{public: explicit reference_wrapper(T& t): t_(&t){} operator T& () const{ return *t_; } T& get() const { return *t_; } T* get_poiter() const { return t_; }private: T* t_;};
基本用法
reference_wrapper的用法有些类似c++中的引用,就像是被包装对象的一个别名,但它只有在使用T的语境下才能够执行隐性转换,其他的情况下则需要调用类型转换函数或者get()函数才能真正操作被包装对象
reference_wrapper支持拷贝构造和赋值,而引用类型是不可赋值的
工厂函数
reference_wrapper的名字过长,申明引用包装对象很不方便,因而ref库提供了两个便捷的工厂函数ref()和cref(),可以通过参数类型推导很容易构造reference_wrapper对象。
reference_wrapper<T> ref(T& t)
reference_wrapper<T const> cref(T const& t)
操作包装
ref库运用模板元编程技术提供两个特征类is_reference_wrapper和unwrap_reference用于检测reference_wrapper对象
为ref增加函数调用功能
bind
bind是c++98标准库中函数适配器bind1st/bind2nd的泛化和增强,可以适配任意的调用对象,包括函数指针,函数引用,成员函数指针和函数对象。bind远远地超越了stl中的函数绑定器,可以最多9个函数参数
函数名:
#include <boost/bind.hpp>
using namespace boost;
工作原理
bind并不时一个单独的类或函数,而是非常庞大的家族,依据绑定的参数个数和要绑定的调用对象类型,总共有数十个不同的形式,但他们的名字都叫做bind,编译器会根据具体的绑定代码自动确定要使用的正确形式,
基本形式
template<class R, class F> bind(F f);
template<class R, class F, class A1> bind(F f, A1 a1);
namespace
{
boost::arg<1> _1;
boost::arg<2> _2;
boost::arg<3> _3;
...... //其他6个占位符
}
bind接受的第一个参数是一个可调用对象f,包括函数,函数指针,函数对象和成员函数指针,之后bind接受最多九个参数,参数的数量必须与f的参数数量相等,这些参数将传递给f作为入参
绑定完成后,bind会返回一个函数对象,它内部保存了f的拷贝,具有operator(),返回值类型被自动推导为f的返回值类型,在发生调用时,这个函数对象将把之前存储的参数转发给f完成调用
bind的真正威力在于他的占位符,它们分别定义为_1,_2,_3一直到_9,位于一个匿名名字空间,占位符可以取代bind中参数的位置,在发生函数调用时才接受真正的参数,占位符的名字都是下划线开始,然后是一个数字。
占位符的名字表示他在调用式中的顺序,而在绑定表达式中没有顺序要求。_1不一定要出现在第一个
绑定普通函数
int g(int a, int b, int c) 三元函数
bind(g, 1, 2, 3)()函数指针
绑定成员函数
类的成员函数不同于普通函数,因为成员函数指针不能直接调用operator(),它必须被绑定到一个对象或者指针,然后才能得到this指针,进而调用成员函数,因此bind需要牺牲一个占位符的位置,
bind( &x::func, x, _1, _2, ...)
绑定成员变量
绑定函数对象
function
定义:
function是一个函数对象的容器,概念上像是c/c++中函数指针类型的泛化,是一种“智能函数指针”,它以对象的形式封装了原始的函数指针或函数对象,能够容纳任何符合签名的可调用对象。因此它可以被用于回调机制,暂时保管函数或函数对象,之后需要的时机再调用,使回调机制 拥有更多的弹性
function可以配合bind使用,存储bind表达式的结果,使bind可以被多次调用
头文件:
#include <boost/function.hpp>
using namespace boost;
类摘要
function的声明
使用ref库
用于回调