Pointer-to-member-func,template&继承混淆

时间:2010-06-24 16:30:23

标签: c++ templates derived-class member-function-pointers

我正在尝试创建一个通用的“回调”对象,它将保存任意数据并调用相关类的成员函数。由于内部政策,我不能使用Boost。

回调对象如下所示:

template<typename Object, typename Data>
class Callback
{
public:
  typedef void (Object::*PHandler)(Callback*);
  Callback(Object* obj, PHandler handler) : pObj(obj), pHandler(handler) {}
  Callback& set(PHandler handler) { pHandler = handler; return *this; }
  void run() { (pObj->*pHandler)(this); }

public:
  Data data;

protected:
  Object* pObj;
  PHandler pHandler;
};

它所使用的课程:

struct Object1
{
  struct Data { int i; };

  typedef Callback<Object1, Data> Callback1;

  void callback(Callback1* pDisp) { printf("%cb\n", pDisp->data.i); }

  void test()
  {
    Callback1 cb(this, &Object1::callback);
    cb.data.i = 1;
    cb.run();
  }
};

以下测试按预期工作:

Object1 obj1;
obj1.test();

到目前为止一切顺利。

然而,当同事试图从Callback类派生而不是使用typedef时,由于指针不兼容而导致编译错误:

struct Object2
{
  struct Data { int i; Data(int j) { i = j; } };

  class Callback2 : public Callback<Object2, Data>
  {
    Callback2(Object2* obj, PHandler handler, int i) : Callback(obj, handler) { data.i = i; }
  };

  void callback(Callback2* pDisp) { printf("%cb\n", pDisp->data.i); }

  void test()
  {
    Callback2 cb(this, &Object2::callback, 2);
    cb.run();
  }
};

我尝试在Callback类中使用“奇怪的重复模板模式”并设法使派生类工作,但它破坏了使用typedef方法的代码。

我的问题是:

如何修改 Callback 类以处理这两种情况,而不需要该类用户的额外工作? < / p>

3 个答案:

答案 0 :(得分:1)

不幸的是,你为一家提倡重新发明车轮并使用青铜时代C ++的公司工作。但是,根据您发布的情况和代码,有一个相当简单的解决方案,而不会进行太多更改。之前我不得不做类似的事情,不是因为公司的政策,而是因为我们正在开发一个软件开发工具包,我们不想要求SDK的用户安装了特定版本的boost。

顺便说一下,我相信你真正想要的是一个信号和插槽机制:如果你想让这个设计更符合完善的解决方案,我建议研究它。

我采取了一些自由主义的假设:主要的假设是数据不必存储在回调中,而是可以由发送者传递。这应该是一个更灵活的设计。它仍然非常简单 - 您可以更进一步(例如:可变数量的参数和自定义返回类型,信号类,延期通知等)。

template<typename Data>
class CallbackInterface
{
public: 
    virtual ~CallbackInterface() {}
    virtual void run(const Data& data) = 0;
    virtual CallbackInterface* clone() const = 0;
};

template<typename Object, typename Data>
class CallbackMethod: public CallbackInterface<Data>
{
public:
    typedef void (Object::*PHandler)(const Data&);
    CallbackMethod(Object* obj, PHandler handler) : pObj(obj), pHandler(handler) {}
    virtual void run(const Data& data) { (pObj->*pHandler)(data); }
    virtual CallbackInterface* clone() const {return new CallbackMethod(*this); }

protected:
    Object* pObj;
    PHandler pHandler;
};

template <class Data>
class Callback
{
public:
    template <class Object>
    Callback(Object* obj, void (Object::*method)(const Data&) ):
        cb(new CallbackMethod<Object, Data>(obj, method)) 
    {
    }

    Callback(const Callback& other): cb(other.cb->clone() )
    {

    }

    Callback& operator=(const Callback& other) 
    {
        delete cb;
        cb = other.cb->clone();
        return *this;
    }

    ~Callback() 
    {
        delete cb; 
    }

    void operator()(const Data& data) const
    {
       cb->run(data);
    }

private:
    CallbackInterface<Data>* cb;
};

使用示例:

struct Foo
{
    void f(const int& x)
    {
        cout << "Foo: " << x << endl;
    }
};

struct Bar
{
    void f(const int& x)
    {
        cout << "Bar: " << x << endl;
    }
};

int main()
{
    Foo f;
    Callback<int> cb(&f, &Foo::f);
    cb(123); // outputs Foo: 123

    Bar b;
    cb = Callback<int>(&b, &Bar::f);
    cb(456); // outputs Bar: 456
}

如您所见,Callback对象本身不需要将对象类型作为模板参数传入,从而允许它指向任何类型的方法,前提是该方法符合签名:void some_class :: some_method(const Data&amp;)。将这些Callback对象的列表存储在能够调用所有这些对象的类中,并且您自己拥有一个连接插槽的信号。

答案 1 :(得分:0)

您必须传递派生的类类型。要不中断typedef-way,可以为该参数指定默认值。像下面的东西应该工作

template<typename Object, typename Data, typename Derived = void>
class Callback;

namespace detail {
template<typename Object, typename Data, typename Derived>
struct derived { 
  typedef Derived derived_type;
};

template<typename Object, typename Data>
struct derived<Object, Data, void> { 
  typedef Callback<Object, Data, void> derived_type;
};
}

template<typename Object, typename Data, typename Derived>
class Callback : detail::derived<Object, Data, Derived>
{
  typedef typename 
    detail::derived<Object, Data, Derived>::derived_type
    derived_type;

  derived_type &getDerived() {
    return static_cast<derived_type&>(*this);
  }

public:
  // ... stays unchanged ...

  derived_type& set(PHandler handler) { 
    pHandler = handler; return getDerived(); 
  }
  void run() { (pObj->*pHandler)(&getDerived()); }

  // ... stays unchanged ...
};

或者你可以简单地为此设两个类。一个用于继承,一个用于继承。第一个是继承

template<typename Object, typename Data, typename Derived>
class CallbackBase
{
  typedef Derived derived_type;

  derived_type &getDerived() {
    return static_cast<derived_type&>(*this);
  }

public:
  // ... stays unchanged ...

  derived_type& set(PHandler handler) { 
    pHandler = handler; return getDerived(); 
  }
  void run() { (pObj->*pHandler)(&getDerived()); }

  // ... stays unchanged ...
};

第二个是非继承。您可以使用此

的基类
template<typename Object, typename Data>
struct Callback : CallbackBase<Object, Data, Callback<Object, Data> > {
  Callback(Object* obj, PHandler handler) : Callback::CallbackBase(obj, handler) {}
};

答案 2 :(得分:-2)

由于内部政策,我不能使用Boost。

退出;)

但是,当同事试图从Callback类派生而不是使用typedef时

拍摄它们。

我觉得你,我真的。