Question

很抱歉提出一个以前可能要回答的问题，但是我搜索了足够长的时间却没有找到答案。

我的问题是我想调用类型为template <typename GenericLambda, typename... LambdaArgs>的模板函数，而不必总是先在模板参数中写入decltype(my_lambda)。

    #include <functional>
    #include <string>

    template <typename GenericLambda, typename... LambdaArgs>
    auto lambda_to_mem_fn() {
        auto ptr = &GenericLambda::template operator() < LambdaArgs... > ;
        auto as_mem_fn = std::mem_fn(ptr);
        return as_mem_fn;
    }

    auto my_lambda = [](auto x, auto y) { return x + y; };


    // imaginary function
    template <????>
    auto make_lambda_to_mem_fn(GenericLambda generic_lambda) 
    {
        // Extract lambda args types and forward them to lambda_to_mem_fn
        using GenericLambda = decltype(generic_lambda);
        lambda_to_mem_fn<GenericLambda, LambdaArgs...>();
    }


    void test() {
        // How to remove the need to write decltype(my_lambda) ?
        auto as_mem_fn = lambda_to_mem_fn<decltype(my_lambda), int, int>;

        // I would like to write:
        auto as_mem_fn2 = make_lambda_to_mem_fn<int, int>(my_lambda);
    }

我需要一个可移植的解决方案（即适用于gcc，clang和msvc）。

此后很长一段时间我都在挠头，希望能得到一些帮助;-）

链接到编译器资源管理器片段： https://godbolt.org/z/pFk09J

Answer 1

参数包（如果有）必须是模板参数列表中的最终参数的限制仅适用于主类模板。如果可以推导或默认类型，则它可以出现在参数包之后：

template <typename... LambdaArgs, typename GenericLambda>
auto make_lambda_to_mem_fn(GenericLambda generic_lambda) 
{
    return lambda_to_mem_fn<GenericLambda, LambdaArgs...>();
}

LambdaArgs将消耗任何模板参数，而GenericLambda将从参数表达式中得出。

使用decltype（lambda）的C ++ /可变参数模板和参数包

1 个答案: