使用 Lambda 进行模板类型推导

Question

我面临的问题很简单。给定以下代码：

template <typename ReturnType, typename... Args>
auto CallIt( ReturnType( *method )( Args... ) )
{
    return method;
}

auto test = CallIt( [] ( int a, int b )
{
    return a > b;
} );

我得到的错误（使用 VS13 和 2013 年 11 月 CTP 编译器）是：

Could not deduce template argument for ReturnType (__cdecl *)(Args...) from main::<lambda_e795bf5a030334e5fc8f3c26dbe00e0e>

我了解 lambda 不是函数指针，但是可以将未捕获的 lambda 分配给匹配签名的函数指针。如果您明确指定模板参数，则此方法有效。我很想看到一种无需显式指定模板参数即可工作的方法。提前感谢您的帮助。

正如 Marco A. 提供的答案的 cmets 中所指出的，使用 lambda 类上的一元 + 运算符可能会解决此问题，有效地将其转换为函数指针。但是，在请求的 IDE/编译器组合中，我收到以下警告错误：

有多个从 "lambda []bool (int a, int b)->bool" 到内置类型的转换函数：

function "lambda []bool (int a, int b)->bool::operator bool (*)(int a, int b)() const"

function "lambda []bool (int a, int b)->bool::operator bool (*)(int a, int b)() const"

function "lambda []bool (int a, int b)->bool::operator bool (*)(int a, int b)() const"

function "lambda []bool (int a, int b)->bool::operator bool (*)(int a, int b)() const"

这个智能感知错误揭示了生成的编译错误，指定：

错误 C2593：“运算符 +”不明确

Answer 1

1) 添加合适的trailing return type

2) 如果您希望传递函数指针，请使用 lambda conform to that

template <typename ReturnType, typename... Args>
auto CallIt( ReturnType( *method )( Args... ) ) -> ReturnType(*)(Args...)
{
    return method;
}

auto test = CallIt( +[] ( int a, int b )
{
    return a > b;
} );

Live Example

---

编辑：MSVC2013 似乎有问题。作为一种解决方法，如果以下方法暂时有效，您可以尝试：

#include <iostream>
#include <functional>
using namespace std;

template <typename ReturnType, typename... Args>
auto CallIt( std::function<ReturnType( Args... )> method ) -> std::function<ReturnType( Args... )>
{
    return method;
}

int main() {

    std::function<bool(int,int)> lambda = [] ( int a, int b ) { return a > b; };

    auto test = CallIt( lambda );
    cout << test(4,1);


    return 0;
}

Live Example