如何在C++模板中调用参数数量不同的函数？

要让模板同时支持无参和带参的Lambda调用，核心是在编译期判断可调用对象的参数兼容性，再执行对应调用逻辑。以下是两种主流实现方式：

方式一：C++17及以上用if constexpr + std::is_invocable #

借助C++17的编译期条件判断和类型特性，直接在模板内部做分支处理：

#include <type_traits>

template<typename Func>
void process(Func func) {
    int default_param = 42; // 自定义的默认参数值

    // 先判断无参调用是否合法
    if constexpr (std::is_invocable_v<Func>) {
        func();
    }
    // 再判断带int参数的调用是否合法
    else if constexpr (std::is_invocable_v<Func, int>) {
        func(default_param);
    }
    // 不支持的签名直接触发编译错误
    else {
        static_assert(false, "process仅支持无参或带单个int参数的可调用对象");
    }
}

测试代码示例：

int main() {
    // 无参Lambda
    process([](){
        // 执行无参逻辑
    });

    // 带参Lambda
    process([](int val){
        // 使用传入的val参数
    });
}

方式二：C++14及以下用SFINAE重载 #

如果项目基于C++14或更早标准，可通过SFINAE（替换失败并非错误）实现重载匹配：

#include <utility>

// 匹配无参可调用对象：通过decltype检测func()是否合法
template<typename Func>
auto process(Func func) -> decltype(func(), void()) {
    func();
}

// 匹配带int参数的可调用对象：检测func(int)是否合法
template<typename Func>
auto process(Func func) -> decltype(func(std::declval<int>()), void()) {
    int default_param = 42;
    func(default_param);
}

注意事项 #

• 如果可调用对象同时支持无参和带参调用（比如重载的函数对象），会触发重载歧义，此时需要显式限定调用方式，或调整模板优先级。
• 可根据需求扩展参数类型（如double、自定义类型），只需添加对应的std::is_invocable_v分支或SFINAE重载即可。

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