C++中如何优雅地将模板参数转发给模板函数

原写法无法编译的核心原因是：C++的模板模板参数仅支持接收类模板、别名模板，不支持直接传入函数模板作为实参。函数模板是生成具体函数的蓝图，本身不是可直接传递的实体，无法绑定到模板模板参数上。

不需要依赖特殊的新特性，从C++11开始就可以通过可调用对象的方式实现需求，天然支持模板参数部分指定+剩余参数自动推导，且没有任何运行时开销。

C++17 通用实现（无额外依赖，性能和直接调用一致） #

核心思路是把目标函数模板包装为带泛型operator()的无状态函数对象，通过C++17支持的auto非类型模板参数传入，调用时即可自由指定部分模板参数，剩余参数由实参自动推导：

#include <iostream>

template<typename A, typename B> double func1(B x, B y) 
{
    A a = 3.0f;
    return a + x + y;
}

// 薄包装，仅做转发，无运行时开销
struct Func1Caller {
    template<typename A, typename B>
    constexpr double operator()(B x, B y) const {
        return func1<A>(x, y);
    }
};

// 接收可调用对象作为非类型模板参数
template<auto Caller, typename A, typename B>
double func2() 
{
    B x = 5.0;
    B y = 8.0;
    // 仅显式指定A，B由x、y类型自动推导
    return Caller.template operator()<A>(x, y);
}

int main()
{
    // 要替换成其他同签名函数，只需要换对应的Caller包装即可
    std::cout << func2<Func1Caller{}, float, double>() << "\n";
}

如果要替换成其他同结构的函数，只需要写一个新的轻量Caller包装即可，不需要修改func2的逻辑。

C++20 简化实现+类型约束 #

C++20支持lambda作为非类型模板参数，不需要单独定义Caller结构体，可以直接在调用点写泛型lambda包装，代码更简洁；同时可以用concept对传入的可调用对象做签名约束，编译报错更清晰：

#include <iostream>
#include <concepts>

template<typename A, typename B> double func1(B x, B y) 
{
    A a = 3.0f;
    return a + x + y;
}

// 定义concept约束可调用对象签名
template<typename F, typename A, typename B>
concept MatchedFunc = requires(F f, B x, B y) {
    { f.template operator()<A>(x, y) } -> std::same_as<double>;
};

template<auto Caller, typename A, typename B> requires MatchedFunc<decltype(Caller), A, B>
double func2() 
{
    B x = 5.0;
    B y = 8.0;
    return Caller.template operator()<A>(x, y);
}

int main()
{
    // 直接用泛型lambda包装，无需单独定义结构体
    constexpr auto caller = []<typename A, typename B>(B x, B y) {
        return func1<A>(x, y);
    };
    std::cout << func2<caller, float, double>() << "\n";
}

• 所有方案都支持模板实参自动推导：调用目标函数时仅需要指定无法通过实参推导的模板参数（比如示例中的内部使用的A类型），和参数类型相关的B模板参会根据传入的x、y自动推导，不需要手动指定。
• 包装层没有任何运行时开销：无状态函数对象、泛型lambda的调用在-O2优化级别下会被编译器完全内联，和直接调用原函数的机器码完全一致。
• 目前C标准（截至C23）不支持直接把函数模板名作为模板参数传递，必须通过上述可调用对象做一层转发包装，不存在更短的原生语法写法。

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