传递Lambda作为参数时的函数重载问题：返回值为void/T的模板函数实现

你的代码编译失败的核心原因很明确：模板参数推导不会自动把Lambda隐式转换为std::function。Lambda是编译器生成的匿名闭包类型，和std::function<T()>完全是不同的类型，编译器没法从Lambda推导出std::function里的模板参数T，自然找不到匹配的重载。

下面给你两种通用的解决方案，能完美处理Lambda、函数指针、std::function等所有可调用对象，同时支持void和任意返回值类型：

方案一：C++17及以上（简洁版） #

利用if constexpr在编译时分支处理返回值类型，代码可读性极高：

#include <functional>
#include <type_traits>

template <typename Func>
decltype(auto) Apply(Func&& func) {
    // 编译时判断调用func后的返回类型是否为void
    if constexpr (std::is_void_v<std::invoke_result_t<Func>>) {
        std::forward<Func>(func)(); // void返回值直接调用，不需要return
    } else {
        return std::forward<Func>(func)(); // 非void返回值直接返回结果
    }
}

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

关键细节： #

• 用模板参数Func直接接收可调用对象，跳过了std::function的转换步骤，避免推导失败
• std::invoke_result_t<Func>用来获取调用func后的返回类型，是C++17推荐的类型萃取工具
• std::forward用来保持可调用对象的左值/右值属性，让函数支持移动语义，通用性更强
• if constexpr确保分支在编译时就被处理，不会生成无效代码

方案二：C++11兼容版（SFINAE实现） #

如果需要兼容C++11，没法用if constexpr，可以用SFINAE（替换失败不是错误）来区分两个重载版本：

#include <functional>
#include <type_traits>

// 处理非void返回值的版本
template <typename Func>
auto Apply(Func&& func) 
    -> typename std::enable_if<
        !std::is_void<typename std::result_of<Func()>::type>::value,
        typename std::result_of<Func()>::type
    >::type {
    return std::forward<Func>(func)();
}

// 处理void返回值的版本
template <typename Func>
auto Apply(Func&& func) 
    -> typename std::enable_if<
        std::is_void<typename std::result_of<Func()>::type>::value,
        void
    >::type {
    std::forward<Func>(func)();
}

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

关键细节： #

• std::result_of<Func()>::type是C11中获取可调用对象返回类型的方式（C17后被std::invoke_result替代）
• std::enable_if作为SFINAE的工具，会根据返回类型是否为void，决定启用哪个重载版本
• 同样直接接收可调用对象，避免了std::function的转换问题

总结 #

你最初的思路卡在了依赖std::function的类型推导上，而Lambda无法自动适配这个推导过程。改用直接接收可调用对象的模板参数，配合编译时类型判断，就能让函数同时支持void和任意返回值，并且对所有可调用对象都通用。

内容的提问来源于stack exchange，提问作者drus