boost :: range ::结合重复的参数

时间:2017-03-17 09:56:10

标签: c++11 boost variadic-templates boost-range

我想用boost::range::combine作为笛卡尔的力量而不仅仅是一种产品。

所以代替boost::range::combine(myRange, myRange, myRange);这样的表达式而不是myCombine(myRange, 3);

如何实施?

1 个答案:

答案 0 :(得分:2)

在C ++ 17或C ++ 14中实现这一点会更容易和更清晰,但由于您使用标记了这一点,因此这是一个兼容的实现。这是调用函数对象 f的通用方法,其中相同的参数重复N次。

首先,我们需要一种方法来绑定泛型函数对象 f的第一个参数,然后接受任意数量的参数:

template <typename TF, typename T>
struct bound
{
    TF _f;
    T _x;

    template <typename TFFwd, typename TFwd>
    bound(TFFwd&& f, TFwd&& x)
        : _f{std::forward<TFFwd>(f)}, _x{std::forward<TFwd>(x)}
    {
    }

    template <typename... Ts>
    auto operator()(Ts&&... xs)
        -> decltype(_f(_x, std::forward<Ts>(xs)...))
    {
        return _f(_x, std::forward<Ts>(xs)...);
    }
};

template <typename TF, typename T>
auto bind_first(TF&& f, T&& x)
    -> decltype(bound<TF&&, T&&>(std::forward<TF>(f), std::forward<T>(x)))
{
    return bound<TF&&, T&&>(std::forward<TF>(f), std::forward<T>(x));
}

然后,我们需要一个递归helper,它会将参数x多次TN次绑定:

template <std::size_t TN>
struct helper
{
    template <typename TF, typename T>
    auto operator()(TF&& f, T&& x)
        -> decltype(helper<TN - 1>{}(bind_first(std::forward<TF>(f), x), x))
    {
        return helper<TN - 1>{}(bind_first(std::forward<TF>(f), x), x);
    }
};

template <>
struct helper<0>
{
    template <typename TF, typename T>
    auto operator()(TF&& f, T&& x)
        -> decltype(f(x))
    {
        return f(x);
    }
};

最后,我们可以提供一个很好的界面:

template <std::size_t TN, typename TF, typename T>
auto call_with_same_arg(TF&& f, T&& x)
    -> decltype(helper<TN - 1>{}(std::forward<TF>(f), std::forward<T>(x)))
{
    return helper<TN - 1>{}(std::forward<TF>(f), std::forward<T>(x));
}

用法:

int add(int a, int b, int c)
{
    return a + b + c;   
}

int main()
{
    assert(call_with_same_arg<3>(add, 5) == 15);
}

live wandbox example

这是一个完整的C ++ 17实现同样的事情:

template <std::size_t TN, typename TF, typename T>
decltype(auto) call_with_same_arg(TF&& f, T&& x)
{
    if constexpr(TN == 1)
    {
        return f(x);
    }
    else
    {
        return call_with_same_arg<TN - 1>(
            [&](auto&&... xs){ return f(x, std::forward<decltype(xs)>(xs)...); }, x);
    }
}

live wandbox example

为了完整性,C ++ 14实现:

template <std::size_t TN>
struct helper
{
    template <typename TF, typename T>
    decltype(auto) operator()(TF&& f, T&& x)
    {
        return helper<TN - 1>{}(
            [&](auto&&... xs){ return f(x, std::forward<decltype(xs)>(xs)...); }, x);
    }
};

template <>
struct helper<0>
{
    template <typename TF, typename T>
    decltype(auto) operator()(TF&& f, T&& x)
    {
        return f(x);
    }
};

template <std::size_t TN, typename TF, typename T>
decltype(auto) call_with_same_arg(TF&& f, T&& x)
{
    return helper<TN - 1>{}(std::forward<TF>(f), std::forward<T>(x));
}

live wandbox example