Исключая сигнал буст-сигнала - PullRequest
1 голос
/ 09 октября 2009

Есть сигнал и несколько объектов со слотами. Я хочу реализовать поведение, когда один объект вызывает сигнал и блокирует свое собственное соединение. Я думаю, небольшой фрагмент будет более информативным:


typedef boost::signal<void()> TSignal;

template<class TSignal>
class SlotObject
{
public:

    void Connect(boost::shared_ptr<TSignal> pSignal, boost::function slot)
    {
        m_connection = pSignal->connect(slot);
        m_pSignal = pSignal;
    }

    // How to define TSignal signature here?
    VOID Call()
    {
        m_connection.block();
        (*m_pSignal)();
        m_connection.unblock();
    }

    boost::shared_ptr<TSignal> m_pSignal;
    boost::signals::connection m_connection;
};

Вопросы:

  1. Есть ли стандартный подход с некоторыми бустами? Я изобретаю колесо?
  2. Как определить метод Call с сигнатурой TSignal?

1 Ответ

4 голосов
/ 15 октября 2009

По вашему первому вопросу: я не знаю «стандартного пути повышения» для достижения того, чего вы хотите. Вы можете опубликовать свой вопрос в списке рассылки активных пользователей .

По вашему второму вопросу: без шаблонов и ссылок на rvalue пересылка всегда громоздка.

Несколько предложений в произвольном порядке:

1) Вы можете посмотреть на boost / signal.hpp и файлы в boost / signal /, чтобы получить представление о том, как такого рода вещи можно сделать с помощью препроцессора, но вот частичное реализация, чтобы показать идею (предупреждение: не проверено):

template<size_t Arity, class SignalT>
struct SlotBase;

template<class SignalT>
struct SlotBase<0, SignalT>
{
    typedef SignalT::slot_function_type SlotType;

    SlotBase(boost::shared_ptr<SignalT> S, SlotType F)
        : m_Signal(S), m_Connection(S->connect(F))){};

    void operator()()const
    {
        m_Connection.block();
        m_Signal();
        m_Connection.unblock()
    };

private:
    boost::shared_ptr<SignalT> > m_Signal;
    boost::signals::connection m_Connection;
};

template<class SignalT>
struct SlotBase<1, SignalT>
{
    // as above, except for operator()
    // ...

    void operator()(typename SignalT::arg1_type arg1)
    {
        m_Connection.block();
        m_Signal(arg1);
        m_Connection.unblock();
    };
};

template<class SignalT>
struct SlotBase<2, SignalT>
{
    // as above, except for operator()
    // ...

    void operator()(typename SignalT::arg1_type arg1, typename SignalT::arg2_type arg2)
    {
        m_Connection.block();
        m_Signal(arg1, arg2);
        m_Connection.unblock()
    };
};

// repeat for other arities
// ...

template<class SignalT>
class SlotObject : public SlotBase<SignalT::arity, SignalT>
{
    typedef SlotBase<SignalT::arity, SignalT> BaseType;

public:
    Slot(boost::shared_ptr<SignalT>S, 
         typename SignalT::slot_function_type F
    ) : BaseType(S, F)
    {}
};

2) Если вы готовы отказаться от тонкости синтаксиса для пользователей SlotObject, возможны другие вещи. Один - обернуть вызов в сигнал, используя технику, показанную в документации boost :: shared_ptr (http://www.boost.org/doc/libs/1_40_0/libs/smart_ptr/sp_techniques.html#wrapper),, т. Е. Ваш метод Call () заблокирует m_connection и вернет shared_ptr в m_signal с пользовательским удалителем, который разблокирует m_connection.

К сожалению, это не дает хороший синтаксис для вызывающей стороны. Это будет выглядеть так:

SlotObject<signal<void(int, float)> > s = ...;
s.Call()->operator()(1, 1.234);

3) Другой вариант - попросить пользователя упаковать аргументы в кортеж (я использую boost :: fusion :: vector ниже) на сайте вызова и используйте boost :: fusion ::: fused , чтобы распаковать их и вызвать сигнал.

#include <boost/function_types/parameter_types.hpp>
#include <boost/fusion/include/vector.hpp>
#include <boost/fusion/include/mpl.hpp>
#include <boost/fusion/include/fused.hpp>
#include <boost/signal.hpp>
#include <boost/shared_ptr.hpp>

// Metafunction to extract the Signature template parameter
// from a boost::signal instantiation
// For example, SignatureOf<signal<void(int, float)>::type 
// is "void(int, float)"
template<class SignalT>
struct SignatureOf;

template<
    typename Signature, typename Combiner, typename Group,
    typename GroupCompare, typename SlotFunction
>
struct SignatureOf<
    boost::signal<Signature, Combiner, Group, GroupCompare, SlotFunction>
>
{
    typedef Signature type;
};

// The SlotObject    
template<class SignalT>
class SlotObject
{
public:
    typedef typename SignatureOf<SignalT>::type SignatureType;

    // Defines the "packed" parameters type corresponding
    // to the slot's signature
    // For example, for a SignalT of boost::signal<void(int, float)>
    // ArgsType is "boost::fusion::vector<int, float>"
    typedef typename boost::fusion::result_of::as_vector<
        typename boost::function_types::parameter_types<SignatureType>::type
    >::type ArgsType;

    void Call(ArgsType P)
    {
        m_Connection.block();
        boost::fusion::fused<SignalT&> f(*m_Signal);
        f(P);
        m_Connection.unblock();
    }

    //...
};

Это будет использоваться как:

typedef SlotObject<boost::signal<void(int, float)> > SlotType;
SlotType s = ...;
s.Call(SlotType::ArgsType(1, "foo"));
...