Question

我正在尝试在返回参数为void或T时实现模板函数。我使用sfinae尝试了上面代码的不同变体，但仍然不确定在lamdba是函数参数的情况下是否通常可行。以下代码无法编译：

#include <functional>

template <typename T>
T Apply(const std::function<T()>& func)
{
    return func();
}

template <>
void Apply(const std::function<void()>& func)
{
    func();
}

int main(int argc, char *argv[])
{
    int i1 = Apply([]() { return 10; });
    bool b1 = Apply([]() { return true; });
    Apply([]() { return; });

    return 0;
}

错误：

error C2672: 'Apply': no matching overloaded function found
error C2784: 'T Apply(const std::function<T(void)> &)': could not deduce     template argument for 'const std::function<T(void)> &' from 'main::<lambda_536cc9cae26ef6d0d1fbeb7b66a2e26b>'

wandbox live

Answer 1

不幸的是你不能这样做，因为在template argument deduction中没有考虑隐式转换（从lambda闭包类型到std::function）;代码失败，因为无法推断T。

您可以直接使用lambda闭包类型作为参数类型，并将返回类型声明为auto以自动推断。 e.g。

template <typename T>
auto Apply(T func)
{
    return func();
}

LIVE

Answer 2

这是因为template deduction需要为每个函数参数进行完美匹配才能成功推导出模板参数。

你需要对功能对象本身进行构思：

#include <type_traits>

template <class Function, class Return = std::result_of_t<Function()>>
Return Apply(Function func)
{
    return func();
}

用法：

#include <iostream>

int main()
{
    std::cout << Apply([]() { return 42; }) << "\n";
}

live demo

将lambda作为参数

2 个答案: