我正在尝试使用模板varargs传递lambda作为参数

I am trying to pass a lambda as argument with template varargs

本文关键字：传递 varargs lambda 参数      更新时间：2023-10-16

我仍在为一些C++语法而挣扎
这一次，我想用lambda添加额外的参数。但是为了使代码通用，我希望能够接受任何函数及其参数：

#include <functional>
#include <exception> 
template<typename R>
class Nisse
{
    private:
        Nisse(Nisse const&)             = delete;
        Nisse(Nisse&&)                  = delete;
        Nisse& operator=(Nisse const&)  = delete;
        Nisse& operator=(Nisse&&)       = delete;
    public:
        //Nisse(std::function<R()> const& func) {}  // disable for testing
        template<typename... Args>
        Nisse(std::function<R(Args...)> const& func, Args... a) {}
};
int main()
{
    // I  was hoping this would deduce the template arguments.
    Nisse<int>   nisse([](int a,double d){return 5;},12,12.0);
}

这将生成：

> g++ -std=c++0x Test.cpp 
Test.cpp:21:61: error: no matching function for call to ‘Nisse<int>::Nisse(main()::<lambda(int, double)>, int, double)’
Test.cpp:21:61: note: candidate is:
Test.cpp:16:9: note: template<class ... Args> Nisse::Nisse(const std::function<R(Args ...)>&, Args ...)

我尝试明确指定模板类型：

    Nisse<int>   nisse<int,double>([](int a,double d){return 5;},12,12.0);

但这（令我惊讶）是一个语法错误：

> g++ -std=c++0x Test.cpp 
Test.cpp: In function ‘int main()’:
Test.cpp:21:23: error: expected initializer before ‘<’ token
Test.cpp:21:65: error: expected primary-expression before ‘,’ token
Test.cpp:21:73: error: expected ‘;’ before ‘)’ token

不能从lambda推断std::function模板参数。接受任意可调用文件的常用方法是通过通用引用：

    template<typename F, typename... Args,
      typename = typename std::enable_if<std::is_convertible<
        decltype(std::declval<F>()(std::declval<Args>()...)), R>::value>::type>
    Nisse(F &&f, Args... a): Nisse(std::function<R()>(std::bind(f, a...))) {}

最后一个（匿名，默认）模板参数用于验证第一个模板参数是否类似函数，并返回类型为R的结果。

std::enable_if<std::is_convertible<
    decltype(std::declval<F>()(std::declval<Args>()...)), R>::value>::type

正如@Yakk在下面的评论中所描述的，上面的表达式检查F是否是一个结果为R的函数类型。如果它有效，那么一切都很好。如果失败，则会生成编译时错误（注意：这使用SFINAE）。

对于方法，SFINAE被插入到返回类型中，但对于构造函数，这不是一个选项；从历史上看，添加了一个额外的默认构造函数参数，但添加一个默认模板参数更优雅，因为它根本不会更改构造函数签名。匿名模板参数的SFINAE在可变模板参数之后特别有吸引力，因为用户无法（意外地？）覆盖默认值。

相关文章：