1

我仍在为一些 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 ‘&lt;’ token
Test.cpp:21:65: error: expected primary-expression before ‘,’ token
Test.cpp:21:73: error: expected ‘;’ before ‘)’ token
4

1 回答 1

4

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

    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 在可变参数模板参数之后特别有吸引力，因为用户无法（意外？）覆盖默认值。

于 2013-02-14T18:00:56.833 回答