1

Boost 的 signals2 库定义了一种很好的方式来传递一些扩展功能的备用参数(通过它的参数库)。当这些备用参数之一在我的代码中相当普遍时,我想制作一个帮助程序来进一步简化使用;例如,要指定备用互斥锁类型,我可以这样做:

namespace bs2 = boost::signals2;
template<typename Signature>
struct my_signal
{
    typedef typename bs2::signal_type<Signature,
        bs2::keywords::mutex_type<my_mutex> >::type type;
};

my_signal<void ()>::type some_signal;

不幸的是,这样做我也“失去”了为其他信号参数(例如组合器类型)指定替代值的能力,而没有回到冗长的语法或定义额外的元函数,例如 my_signal_with_combiner 或其他东西(这看起来很愚蠢) . 我不认为我可以使用默认模板参数值来做到这一点,因为 Combiner 的默认值需要拆分 Signature 才能获得返回类型。(当然,理想情况下,我想要适用于任何其他参数的东西,而不仅仅是组合器。)

所以,“真正的”问题是:是否有一种(简单的)方法来定义类似 signal_type 的东西,它的行为与其相同,但其中一个参数具有不同的默认值?(理想情况下,如果 Boost.Signals2 将来添加更多参数,则不需要更改。)

(另外,请不要使用 C++11。仍在使用较旧的编译器。)

4

1 回答 1

0

我已经制定了以下内容,这似乎可以解决问题。不过,仍然对改进的答案感兴趣:

namespace bs2 = boost::signals2;

template <
    typename Signature,
    typename A1 = boost::parameter::void_,
    typename A2 = boost::parameter::void_,
    typename A3 = boost::parameter::void_,
    typename A4 = boost::parameter::void_,
    typename A5 = boost::parameter::void_,
    typename A6 = boost::parameter::void_
  >
struct my_signal_type : public bs2::signal_type<Signature, A1, A2, A3, A4, A5, A6>
{
    typedef typename boost::parameter::value_type<args, bs2::keywords::tag::mutex_type, my_mutex>::type mutex_type;

    typedef bs2::signal<
        signature_type,
        combiner_type,
        group_type,
        group_compare_type,
        slot_function_type,
        extended_slot_function_type,
        mutex_type
    > type;
};

template <
    typename Signature,
    typename A1 = boost::parameter::void_,
    typename A2 = boost::parameter::void_,
    typename A3 = boost::parameter::void_,
    typename A4 = boost::parameter::void_,
    typename A5 = boost::parameter::void_,
    typename A6 = boost::parameter::void_
  >
class MyEvent : public my_signal_type<Signature, A1, A2, A3, A4, A5, A6>::type
{
public:
    typedef typename my_signal_type<Signature, A1, A2, A3, A4, A5, A6>::type base_type;

    explicit MyEvent(const typename base_type::combiner_type& combiner = combiner_type())
        : base_type(combiner)
    {
    }
};

让我有点困惑的一件事是,为什么在构造函数中使用“combiner_type”需要在类型声明中明确定义范围——然后它不需要默认参数。(在此处删除“typename”或“base_type::”会触发标准的“default-int”错误(这意味着“这看起来不像我知道的类型”)。这很奇怪,因为它是在基类中定义的.我猜这是一些奇怪的模板部分实例化的东西。

于 2012-06-19T07:50:13.150 回答