Указатель на член-функцию, шаблон и наследование

Question

Я пытаюсь создать универсальный объект обратного вызова, который будет содержать произвольные данные и вызывать функции-члены связанных классов.Из-за внутренней политики я не могу использовать 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 для работы с обоими случаями и без необходимости дополнительной работы со стороны пользователякласса?

Answer 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 &).Сохраните список этих объектов Callback в классе, способном вызывать их все, и вы получите сигнал с подключенными слотами.

Answer 2

Вы должны передать тип класса производного.Чтобы не нарушать 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) {}
};

Answer 3

Из-за внутренней политики я не могу использовать Boost.

Выйти;)

Однако, когда коллега пытался получить класс Callback вместо использования typedef

Стреляй в них.

Я чувствую к тебе, я действительно чувствую.