牵着老婆满街逛

严以律己,宽以待人. 三思而后行.
GMail/GTalk: yanglinbo#google.com;
MSN/Email: tx7do#yahoo.com.cn;
QQ: 3 0 3 3 9 6 9 2 0 .

泛化仿函数用法及参数绑定的问题

from:http://blog.csdn.net/dog_in_yellow/archive/2007/02/15/1510538.aspx


     《C++设计新思维》一书里的泛化仿函数从Command模式讲起。Command模式主要用来降低系统中命令的调用者和执行者间的依存性。设计模式的书里面一般都采用多态的机制,调用者持有Command对象的基类接口,在此处我们称为Command接口,Command接口不知道自己将被用于执行什么命令,一般只包含一个触发命令执行的虚函数,假设名为Excute。各种不同的实际执行命令的Command对象从则Command接口派生,并重写Excute虚函数。这样调用者通过Command接口来触发命令执行时,因为虚函数机制的关系,实际上调用的都是从Command接口派生的Command对象的Excute函数。在这样的设计中,调用者和各种实际的命令对象互不相见,只持有一个Command接口。在C风格的设计中,一般用回调预先保存的函数指针来实现Command模式。

    泛化仿函数可以说是一种回调,但它不但可以保存函数指针,还可以处理实现了operator()的C++对象,C++对象的成员函数。具体实现方法书里面已描述得非常详细,就不再多啰嗦,在此主要说一下项目中运用泛化仿函数的一些心得。基本如下用法:
Functor<RETURN_TYPE,PARAM_TYPE_LIST> cmd1(...);
Functor有两个泛型参数,第一个为函数返回值,第二个为函数的参数列表。构造函数可接受仿函数、类成员函数以及一般函数指针。下面示例代码演示了其用法: 

#include "loki/functor.h"
#include 
<iostream>
#include 
<string>
using namespace std;
using namespace Loki;

struct TestFunctor
{
    
int operator()(string str)
    
{
        cout 
<< str << endl;
        
return 0;
    }

}
;

struct TestFunctor2
{
    
int output(int i)
    
{
        cout 
<< i << endl;
        
return 2;
    }

}
;

void TestFunction(int i,int j)
{
    cout 
<< i << "," << j << endl;
}


Functor
<int,NullType> BindCmd1()
{
    TestFunctor f;

    Functor
<int,LOKI_TYPELIST_1(string> cmd1( f );
    Functor
<int,NullType> bcmd1 = BindFirst( cmd1, "another bind cmd1" );

    
return bcmd1;
}


int _tmain(int argc, _TCHAR* argv[])
{
    
//泛化仿函数基本用法
    
//Functor<RETURN_TYPE, PARAM_TYPELIST> cmd(...);

    TestFunctor f;
    TestFunctor2 f2;

    
//调用operator()仿函数----------------------------
    Functor<int,LOKI_TYPELIST_1(string> cmd1( f );
    cmd1( 
"1" );
    
//end of 调用operator()仿函数----------------------


    
//调用类成员函数----------------------------------
    Functor<int,LOKI_TYPELIST_1(int> cmd2( &f2,  &TestFunctor2::output );
    cmd2( 
2 );
    
//end of调用类成员函数------------------------------


    
//调用一般函数指针---------------------------------
    Functor<void,LOKI_TYPELIST_2(int,int> cmd3( TestFunction );
    cmd3( 
3,4 );
    
//end of调用一般函数指针---------------------------

    
//预先绑定命令的参数的调用1
    Functor<int,NullType> bcmd1 = BindFirst( cmd1, "bind cmd1" );
    bcmd1();
    
//end of 预先绑定命令的参数的调用1

    
//预先绑定命令的参数的调用2
    Functor<int,NullType> bcmd1_1 = BindCmd1();
    bcmd1_1();
    
//end of 预先绑定命令的参数的调用2


    
return 0;
}

    用法很简单,上面的几个用法都只有两行,第一行定义泛化仿函数,第二行执行仿函数。实际运用中定义和执行一般都各在不同的地方,如Command模式一样,即它们在时间和空间上是分离的。

    如果您使用了LOKI0.1.5的库,在“预先绑定命令的参数的调用2”的用法中会出现运行时错误,这是我在项目过程中碰到的,经过分析LOKI中Functor实现的代码,终于找到了原因。项目中实际的运用当然不是这样,示例代码只说明了在什么情况下运用才会出错。如代码所示,调用绑定了参数的仿函数时,如果已经离开了所绑定参数的作用域则会出错。而其罪魁祸首在于对绑定的参数作了优化。

  《C++设计新思维》P123中讲到为避免函数转发的成本对函数参数作了优化,如果参数为非基本类型(非内置类型,如自定义的struct,class),则将参数类型更改为该参数的引用类型。如示例中的int operator()(string str)被优化后str参数变成string &str。而当一个引用已离开其所引用对象的作用域后,该引用会成为一个dead reference,使用了dead reference,不可避免地结局就是运行时错误。或许作者不许我们这么使用绑定参数,或者作者没想到我们会这么使用绑定,但至少说明了一点,过多地优化未必是件好事。

    既然知道了为什么会出错,那就容易解决问题了。绑定的原理是将参数保存起来,在调用的时候取出预先保存的参数传递给要调用的函数。如果保存的类型是值类型,那不管是否离开原参数的作用域都不会出错。现在我们来找实现参数绑定的类定义。在Functor.h中找到class BinderFirst,该类中有一个 类型定义如下:
typedef typename Private::BinderFirstBoundTypeStorage<
 typename Private::BinderFirstTraits<OriginalFunctor>
 ::OriginalParm1>::RefOrValue
 BoundTypeStorage;
BoundTypeStorage即保存所绑定参数的类型定义,观其定义可以知道该类型也是做了优化,非基本类型都变成了引用。现在我们来做一点小改动,使用参数原来的类型来保存参数,修改后的定义如下:
typedef typename Private::BinderFirstTraits<OriginalFunctor>
   ::OriginalParm1
   BoundTypeStorage;
修改完毕后,重新编译运行,一切OK了。

    其实上述改动并不能解决所有问题,这种做法是使用参数的原始类型来保存参数,假如参数本身是个引用类型,那在离开了所引用对象的作用域时调用还是会出错的。最彻底的改法是将引用参数去掉引用作为保存参数的类型。我的做法是在使用的时候做文章,不管参数是否引用类型,定义绑定的Functor时都定义成非引用类型,这样再配合上面的改动,参数必然会使用值类型保存。如果明确地知道调用时不会离开原参数的作用域,那就不必如此了。只要心中有个底,具体用法就视个人运用的环境以及个人做法的喜好了。

LOKI0.1.5下载地址:http://sourceforge.net/forum/forum.php?forum_id=583500

posted on 2007-09-03 16:02 杨粼波 阅读(392) 评论(0)  编辑 收藏 引用


只有注册用户登录后才能发表评论。
【推荐】超50万行VC++源码: 大型组态工控、电力仿真CAD与GIS源码库
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理