使用恰好 N 个参数制作通用 Lambda

Question

我想用 lambda 动态创建数学表达式， 如此处所述。

using Func = std::function<double(double)>;

Func operator+(Func const& lhs, Func const& rhs){
    return [lhs, rhs](double x){
        return lhs(x) + rhs(x);
    };
}

我的下一个目标是概括这一点。

多亏了这个答案，我设法实现了一个带有恰好 n 个参数的泛型类型。 但我不知道 - 如果可能的话 - 如何指定 lambda 参数。

在godbolt上检查

#include <functional>

template <std::size_t, typename T> using alwaysT = T;

    template <typename FLOAT, typename Seq> struct func_struct;

    template <typename FLOAT, std::size_t... Is>
    struct func_struct<FLOAT, std::index_sequence<Is...>> {
        using type = std::function<double(alwaysT<Is, FLOAT>... floats)>;
    };

    template <std::size_t N>
    using func_t = typename func_struct<double, std::make_index_sequence<N>>::type;

    template <std::size_t N>
    func_t<N> operator+(func_t<N> const& lhs, func_t<N> const& rhs){
        return [lhs, rhs](alwaysT<N, std::make_index_sequence<N>> args...){// how to do this?
            lhs(args) + rhs(args);
        };
    }

int main(){
    func_t<1> f1 = [](double x){return x*2;};
    func_t<2> f2 = [](double x, double y){ return x*y;};

    func_t<1> f3 = f1 + f1;


}

在最后一行中，我还收到一个无法推断模板参数N的错误。

Answer 1

不确定标准是否允许您管理这样的参数计数限制，但如果参数计数不匹配，您绝对可以拥有一个断言。 例如：

#include <functional>

template <std::size_t, typename T> using alwaysT = T;

    template <typename FLOAT, typename Seq> struct func_struct;

    template <typename FLOAT, std::size_t... Is>
    struct func_struct<FLOAT, std::index_sequence<Is...>> {
        using type = std::function<double(alwaysT<Is, FLOAT>... floats)>;
    };

    template <std::size_t N>
    struct func_t : func_struct<double, std::make_index_sequence<N>>::type {
        using Base = typename func_struct<double, std::make_index_sequence<N>>::type;
        using Base::Base;
    };

    template <std::size_t N>
    func_t<N> operator+(func_t<N> const& lhs, func_t<N> const& rhs){
        return [lhs, rhs](auto&&... args){
            return lhs(args...) + rhs(args...);
        };
    }

int main(){
    func_t<1> f1 = [](double x){return x*2;};
    func_t<2> f2 = [](double x, double y){ return x*y;};

    func_t<1> f3 = f1 + f1;
}

请注意，我已将template<size_t N> using func_t更改为template<size_t N> struct func_t ，以便可以匹配模板参数。 using声明总是在匹配之前被替换，并且编译器（根据当前标准）预计不能从<double, 0, 1, 2, ...>中推断出N