C++中能否传递带模板参数的函数指针？模板调用疑问

你的代码编译失败的核心问题有两点：

1. Func<I>中的I未被声明为模板参数，编译器无法识别；
2. 模板模板参数template<int I> typename Func要求Func是生成类型的模板，但你的test是生成函数的模板，test<I>是具体函数而非类型，类型不匹配。

下面提供几种适配不同场景的实现方式，同时满足你“不指定函数签名、结合可变参数”的需求：

方式一：C++20模板Lambda包装（最简洁） #

利用C++20的模板Lambda，将函数模板包装成可接受非类型模板参数的调用对象，无需额外定义：

#include <iostream>

template<int I>
void test() {
    std::cout << I << std::endl;
}

// 通用调用器，接受任意支持模板调用的对象
void funcCaller(auto func) {
    func.template operator()<1>();
    func.template operator()<2>();
    func.template operator()<10>();
}

int main() {
    // 用模板Lambda包装test模板
    funcCaller([]<int I>() { test<I>(); });
    return 0;
}

方式二：可变参数模板+折叠表达式（适配任意序列） #

如果需要灵活指定要调用的参数序列，结合C++17的折叠表达式实现批量调用：

#include <iostream>

template<int I>
void test() {
    std::cout << I << std::endl;
}

// 可变参数版本：接受任意数量的int非类型参数
template<int... Is>
void funcCaller(auto func) {
    // 折叠表达式展开所有调用
    (func.template operator()<Is>(), ...);
}

int main() {
    // 调用时指定要传入的参数序列
    funcCaller<1, 2, 5, 10>([]<int I>() { test<I>(); });
    return 0;
}

方式三：整数序列生成连续范围（模拟循环） #

如果需要生成连续的参数范围（比如1到N），可以用C++14的std::integer_sequence实现：

#include <iostream>
#include <utility> // 用于std::integer_sequence

template<int I>
void test() {
    std::cout << I << std::endl;
}

// 辅助函数：展开整数序列
template<int... Is>
void callWithSequence(std::integer_sequence<int, Is...>, auto func) {
    (func.template operator()<Is>(), ...);
}

// 对外接口：生成1到N的连续序列
template<int N>
void funcCaller(auto func) {
    // 生成1~N的整数序列（通过Is+1偏移）
    callWithSequence(std::make_integer_sequence<int, N>{}, 
        [func]<int I>() { func.template operator()<I+1>(); });
}

int main() {
    // 调用1到10的test<I>()
    funcCaller<10>([]<int I>() { test<I>(); });
    return 0;
}

相关术语 #

• 非类型模板参数：以值（如int、指针等）作为模板参数，你的test<I>中的I就是此类；
• 模板模板参数：以模板作为模板参数，你最初尝试的template<int I> typename Func属于此类；
• 可变参数模板：接受任意数量模板参数的模板，用于批量处理参数序列；
• 折叠表达式：C++17特性，用于展开可变参数包，简化批量调用逻辑；
• 模板Lambda：C++20特性，允许Lambda拥有自己的模板参数，无需提前定义函数对象；
• 整数序列：C++14引入的std::integer_sequence，用于生成编译期连续整数序列。

内容的提问来源于stack exchange，提问作者N. Overton-Katz