如何实现支持带参Lambda的模板方法Apply？类似boost::static_visitor

你的问题核心在于原有的Apply模板硬编码了无参调用的推导逻辑，导致带参数的Lambda无法匹配。我们需要重构模板，让它支持任意签名的可调用对象，同时自动推导返回类型并处理void/非void的情况。

核心问题分析 #

原代码中std::result_of_t<Function()>强制要求Function是无参可调用的，当Lambda带有参数时，Function()是无效的表达式，模板推导直接失败，自然找不到匹配的重载。要解决这个问题，我们需要让模板能够接受任意数量的参数，并根据函数对象+参数的组合来推导返回类型。

C++17 优雅解决方案（推荐） #

C++17引入的std::invoke和constexpr if让这个问题变得非常简洁，不需要写多个重载：

#include <functional>
#include <type_traits>
#include <iostream>

template <typename Function, typename... Args>
auto Apply(Function&& func, Args&&... args) {
    std::cout << "invoked via generic overload" << std::endl;
    
    // 编译时判断返回类型是否为void
    if constexpr (!std::is_void_v<std::invoke_result_t<Function, Args...>>) {
        // 非void返回值：返回调用结果
        return std::invoke(std::forward<Function>(func), std::forward<Args>(args)...);
    } else {
        // void返回值：只执行，不返回
        std::invoke(std::forward<Function>(func), std::forward<Args>(args)...);
    }
}

int main() {
    // 带参数的Lambda：必须传递对应参数
    int i1 = Apply([](int i) { return i; }, 42);
    // 无参Lambda正常工作
    int i2 = Apply([]() { return 10; });
    bool b1 = Apply([]() { return true; });
    Apply([]() { return; });
    // 支持多参数Lambda
    std::string s = Apply([](const std::string& a, const std::string& b) { return a + b; }, "Hello, ", "World!");
    
    std::cout << i1 << " " << i2 << " " << b1 << " " << s << std::endl;
    return 0;
}

关键特性说明： #

• 变参模板：typename... Args让Apply可以接受任意数量、任意类型的参数，传递给函数对象。
• 完美转发：std::forward保留参数的左值/右值属性，避免不必要的拷贝，提升性能。
• std::invoke：统一处理所有可调用对象（Lambda、普通函数、成员函数、函数对象等），比直接调用更通用。
• constexpr if：编译时判断返回类型是否为void，分支在编译阶段就会被剔除，不会产生运行时开销。

C11/C14 兼容方案 #

如果需要兼容更早的C++标准，我们可以用SFINAE（Substitution Failure Is Not An Error）来实现重载区分：

#include <functional>
#include <type_traits>
#include <iostream>

// 非void返回值版本：仅当返回类型不是void时启用
template <typename Function, typename... Args,
          typename Return = std::result_of_t<Function&&(Args&&...)>,
          typename = std::enable_if_t<!std::is_void<Return>::value>>
Return Apply(Function&& func, Args&&... args) {
    std::cout << "invoked via non-void overload" << std::endl;
    return std::forward<Function>(func)(std::forward<Args>(args)...);
}

// void返回值版本：仅当返回类型是void时启用
template <typename Function, typename... Args,
          typename Return = std::result_of_t<Function&&(Args&&...)>,
          typename = std::enable_if_t<std::is_void<Return>::value>>
void Apply(Function&& func, Args&&... args) {
    std::cout << "invoked via void overload" << std::endl;
    std::forward<Function>(func)(std::forward<Args>(args)...);
}

int main() {
    int i1 = Apply([](int i) { return i; }, 42);
    int i2 = Apply([]() { return 10; });
    bool b1 = Apply([]() { return true; });
    Apply([]() { return; });
    std::string s = Apply([](const std::string& a, const std::string& b) { return a + b; }, "Hello, ", "World!");
    
    std::cout << i1 << " " << i2 << " " << b1 << " " << s << std::endl;
    return 0;
}

关键特性说明： #

• std::result_of_t<Function&&(Args&&...)>：推导完美转发后调用的返回类型，考虑了函数对象和参数的引用属性。
• SFINAE：通过std::enable_if_t在编译阶段筛选出匹配的重载，避免歧义。

关于你原示例的注意点 #

你原代码中的int i1 = Apply([](int i) { return i; });无法编译，这不是模板的问题——而是你调用Lambda时没有传递它需要的int参数。正确的调用方式必须传递对应参数，比如Apply([](int i){return i;}, 42)，这样才能匹配模板并正常运行。

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