Question

我有以下代码（简化）：

#include <functional>
template <typename... Args> void Callback(std::function<void(Args...)> f){
    // store f and call later
}
int main(){
    Callback<int, float>([](int a, float b){
        // do something
    });
}

这样做的目的是获取一些额外的参数，发送数据包，处理响应并使用结果调用lambda 这个问题是，它不需要lambda。

# g++ -std=c++11 test.cpp
test.cpp: In function ‘int main()’:
test.cpp:8:3: error: no matching function for call to ‘Callback(main()::<lambda(int, float)>)’
test.cpp:8:3: note: candidate is:
test.cpp:2:34: note: template<class ... Args> void Callback(std::function<void(Args ...)>)
test.cpp:2:34: note:   template argument deduction/substitution failed:
test.cpp:8:3: note:   ‘main()::<lambda(int, float)>’ is not derived from ‘std::function<void(Args ...)>’

有没有办法让这个工作没有经过在std :: function中显式包装lambda的麻烦？

Callback(std::function<void(int, float)>([](int a, float b){
    // do something
}));

完美无缺地工作，即使省略了Callback模板参数（如此处所示）。尽管如此，仍然有'额外'的std ::函数。

为什么它不能自己解决转换问题？它适用于非模板：

void B(std::function<void(int, float)> f){/* ... */};
int main(){
    B([](int a, float b){
        // do something
    });
}

供参考，我正在使用

gcc 4.7.2版（Debian 4.7.2-5）

Answer 1

您可以使用专用广告。一旦你有这样的工具

#include <functional>

using namespace std;

template<typename T>
struct memfun_type
{
    using type = void;
};

template<typename Ret, typename Class, typename... Args>
struct memfun_type<Ret(Class::*)(Args...) const>
{
    using type = std::function<Ret(Args...)>;
};

template<typename F>
typename memfun_type<decltype(&F::operator())>::type
FFL(F const &func)
{ // Function from lambda !
    return func;
}

您可以对所有lambda类型说FFL()，将它们转换为std::function的正确版本

int main()
{
    Callback(FFL([](int a, float b){
        // do something
    }));

    return 0;
}

Display

Answer 2

正如Praetorian所指出：this回答了我的问题。我真的很困惑，为什么你需要使用吮吸黑客。代码参考：

#include <functional>
template <typename T> struct identity
{
  typedef T type;
};
template <typename... Args> void Callback(typename identity<std::function<void(Args...)>>::type f){
    // store f and call later
}
int main(){
    Callback<int, float>([](int a, float b){
        // do something
    });
}

像魅力一样。

Answer 3

当lambda未捕获时，您可以使用：

template <typename L> void Callback(L l){
    using F = typename std::remove_pointer<decltype(+l)>::type;
    std::function<F> f( l );
    // store f and call later
}

允许您致电：

Callback([](int a, float b){
    // do something
});

Live example

C ++可变参数模板std :: function到lambda转换不起作用

3 个答案: