Question

我有大量的类用于装饰一些特定的方法。

是否有一种简洁的方法可以减少需要添加到每个类中的样板代码（主要是所有构造函数参数和保存它们的成员）的数量？或者，更好的是，有更好的方法吗？

我不能使用虚方法，只能使用gcc 4.6和vs2010支持的c ++ 11特性子集。

我相信c ++ 11继承构造函数会对此有所帮助，但是编译器都不支持它们，我也不知道有一种解决方法。

以下是这些类目前的示例：

template<class Underlying, class T1>
struct A : Base<A<Underlying, T1> >
{
    typedef AImpl<decltype(declval<Underlying>().foo()), T1> impl;
    A(Underlying u, T1 t1) :
        u_(u),
        t1_(t1)
    {}

    impl foo() const { return impl(u_.foo(), t1_); }
    impl bar() const { return impl(u_.bar(), t1_); }

    const Underlying u_;
    T1 t1_;
};


template<class Underlying, class T1, class T2>
struct B : Base<B<Underlying, T1, T2> >
{
    typedef BImpl<decltype(declval<Underlying>().bar()), T1, T2> impl;
    B(Underlying u, T1 t1, T2 t2) :
        u_(u),
        t1_(t1),
        t2_(t2)
    {}

    impl foo() const { return impl(u_.bar(), 999, t2_); }
    impl bar() const { return impl(u_.foo(), t1_, t2_); }

    const Underlying u_;
    T1 t1_;
    T2 t2;
};

Answer 1

您可以在GCC 4.6中使用可变参数模板。

template<class Underlying, class... T>
struct B : Base<B<Underlying, T...>>
{
    typedef BImpl<decltype(declval<Underlying>().bar()), T...> impl;

    template<typename V...>
    B(Underlying u, V... v) :
        u_(u),
        t_(std::forward<V>(v)...)
    {}

    impl foo() const { return impl(u_.bar(), 999, std::get<1>(t_)); } // Not sure what the 999 is?
    impl bar() const { return impl(u_.foo(), std::get<0>(t_), std::get<1>(t_)); }

    const Underlying u_;
    std::tuple<T...> t_;
};

Answer 2

如果它需要在vs2010中运行，那么最好的选择是Boost.Preprocessor。它不像可变参数模板那样强大，因为它的最大递归深度为3，最大迭代次数为256，但它适用于支持或不支持C ++ 11的每个编译器。目前还不完全清楚你要对这些例子做些什么，但如果你只是想装饰函数，我会使用以下内容（利用C ++ 11进行完美转发，使用Boost.Preprocessor而不是可变参数模板）： / p>

#define FORWARD(z, n, data) \
    ::std::forward<BOOST_PP_CAT(BOOST_PP_TUPLE_ELEM(2, 0, data), n)> \
    (BOOST_PP_CAT(BOST_PP_TUPLE_ELEM(2, 1, data), n)) \
    /**/

//------------------------------------------------------------------------
// template<class R, class... A>
// ::std::function<R(A...)> decorate(::std::function<R(A...)> const& func)
// {
//     return [func](A&&... a) -> R
//     {
//         /* DECORATOR STUFF */
//         return func(::std::forward<A>(a)...);
//     };
// }
//------------------------------------------------------------------------
#define MACRO(z, n, _) \
    template<class R BOOST_PP_ENUM_TRAILING_PARAMS_Z(z, n, class A)> \
    ::std::function<R(BOOST_PP_ENUM_PARAMS_Z(z, n, a)> \
        decorate(::std::function<R(BOOST_PP_ENUM_PARAMS_Z(z, n, A))> const& func) \
    { \
        return [func](BOOST_PP_ENUM_BINARY_PARAMS_Z(z, n, A, &&a)) -> R \
        { \
            /* DECORATOR STUFF */ \
            return func(BOOST_PP_ENUM_ ## z(n, FORWARD, (A, a))); \
        }; \
    } \
    /**/

BOOST_PP_REPEAT(10, MACRO, ~)

#undef MACRO
#undef FORWARD

如果你只是想绑定函数参数，那么std::bind就是你要找的东西。请注意，您可以使用lambdas执行任何此操作，但装饰器函数可用于装饰多个函数（其中lambda当然是一个offs）并且绑定可以更简洁一些绑定参数（但是，lambda等价物有时更具可读性。）

装修方法时减少样板

2 个答案: