Question

最近我试图创建灵活的观察者模式实现，隐藏boost::signal。我几乎成功了。

我有一个Observer类，必须使用update方法匹配模板参数提供的签名。

使用示例：

Observable<void(float, float)> observable;
Observer<void(float, float)> observer;
observable.attach(&observer);
observable.notify(Observable::Arguments(10.0f, 1.0f)); // invokes observer->update(10.0f, 1.0f);

如果observer没有重载update方法，那么一切正常。在这种情况下，boost::bind无法推断出正确的使用方法。不幸的是我不能使用显式转换因为我不知道更新参数（此信息在FunctionSignature中）。

以下方法会导致麻烦：

class Observable <typename FunctionSignature>
{
...
template <class DerivedObserverClass>
void attach(DerivedObserverClass* observer)
{
    STATIC_ASSERT((boost::is_base_of<ObserverType, DerivedObserverClass>::value));

    ConnectionsMap::iterator it = connections.find(observer);
    if (it == connections.end() || !it->second.connected()) {
        // i would like to do something like 
            // boost::function<FunctionSignature> f;
        // f = boost::bind(&static_cast<FunctionSignature>DerivedObserverClass::update, observer, _1);

        // singnalSlot is defined as boost::signal<FunctionSignature>
        // this works as long, as Derived class doesn't have overloaded update method
        connections[observer] = signalSlot.connect(boost::bind(&DerivedClass::update, observer, _1));
    } else {
        throw std::invalid_argument("Observer already attached.");
    }
}

我认为boost::function可以帮助解决这个问题。我不知道如何仅使用模板签名将其与正确的成员方法绑定。

甚至可能吗？

Answer 1

不，boost :: function对你也无济于事。 13.4.3说

非静态成员函数匹配类型的目标 “指向成员函数的指针;”指针的函数类型 member用于从集合中选择成员函数重载的成员函数。

这意味着你不能获取重载成员函数的地址，将它传递给任何类型的函数对象（模板化或不模板化，升级或标准或其他），并希望重载将自行解决。您需要在作业的左侧使用真正诚实的指向成员函数类型。

您必须以某种方式将FunctionSignature转换为指向成员的函数类型。对于有限数量的函数参数，这里有一些老式的模板魔法可以满足你的需要。 c ++ 0x可能有更好，更通用的解决方案。

template <typename C, typename F>
struct tomemfun;

template <typename C, typename res>
struct tomemfun<C, res()>
{
  typedef res (C::*memfun_t)();
};

template <typename C, typename res, typename arg1>
struct tomemfun<C, res(arg1)>
{
  typedef res (C::*memfun_t)(arg1);
};

template <typename C, typename res, typename arg1, typename arg2>
struct tomemfun<C, res(arg1, arg2)>
{
  typedef res (C::*memfun_t)(arg1, arg2);
};

// repeat with more arguments as needed

现在你可以使用

tomemfun<DerivedClass, FunctionSignature>::memfun_t update = &DerivedClass::update;

它将解析为正确的重载函数。

boost可能已经有这样的转换模板，但我找不到它。

如何从模板签名创建boost :: function

1 个答案: