C++ 实现类型列表遍历调用指定模板函数及错误修复

你之前写的代码跑不通，本质是对C++模板参数的两类形态存在混淆，对应两个问题的根因如下：

• 关于模板函数作为参数传入的认知偏差：你之前写的非类型模板参数void(&func)(auto&&... args)，要求传入的必须是已经实例化完成、有确定地址的具体函数实体。但你要传的testFunc是函数模板本身，只是一个生成具体函数的“蓝图”，根本没有固定的函数地址、也没有写死的签名，根本不符合这个参数的接收要求。
• 关于unresolved overloaded function type报错的认知偏差：你尝试用func<CurrentComponentType>(...)的方式给传入的func传类型模板参数，但如果func是绑定好的具体函数引用，它本身根本没有模板参数可以传；同时当你把testFunc（未实例化的函数模板）传给一个要求具体函数地址的参数时，编译器不知道你要取testFunc针对哪个T生成的函数实例，自然会抛出“无法解析的重载函数类型”的错误。

另外还有个隐藏的语法问题：递归调用嵌套模板的成员函数时，如果外层是依赖类型，必须加显式的template标记，否则编译器会把<解析为比较运算符，触发连锁的语法报错。

要实现你想要的效果，核心是把传入的“函数模板”作为模板模板参数传递，而不是把它当成具体的函数实体传递。也就是让run的模板参数不是某个具体函数的引用，而是一个可以接受单个类型参数、生成匹配运行时参数列表的函数实例的模板句柄。

首先是ForEach的递归实现：

template<typename... Types>
struct ForEach;

// 递归终止特化：仅含单个待处理类型
template<typename Current>
struct ForEach<Current>
{
    // Func是模板模板参数：要求传入的Func是一个可通过单个类型参数实例化的模板
    template<template<typename> typename Func, typename... Args>
    static constexpr void run(Args&&... args)
    {
        // 直接用当前类型实例化Func，生成具体函数后传入运行时参数调用
        Func<Current>(std::forward<Args>(args)...);
    }
};

// 递归分支：拆分当前类型与剩余类型包
template<typename Current, typename... Rest>
struct ForEach<Current, Rest...>
{
    template<template<typename> typename Func, typename... Args>
    static constexpr void run(Args&&... args)
    {
        // 处理当前类型的逻辑
        Func<Current>(std::forward<Args>(args)...);
        // 递归处理剩余类型（注意这里必须加template关键字标记run是模板成员）
        ForEach<Rest...>::template run<Func>(std::forward<Args>(args)...);
    }
};

你定义的测试函数、调用方式完全和你最初设计的保持一致，不需要改动：

#include <iostream>
#include <typeinfo>

// 你原本写的测试函数模板，无任何改动
template <typename T>
void testFunc(int& i)
{
    std::cout << "调用testFunc，传入类型：" << typeid(T).name() << "\n";
    i += sizeof(T);
}

int main()
{
    int i {0};
    // 直接把testFunc这个函数模板的名字传入即可，不需要提前实例化
    ForEach<int, float>::run<testFunc>(i);
    std::cout << "最终i的值：" << i << "\n";
    return 0;
}

• 替换原有的具体函数引用类型参数为模板模板参数：解决了“无法将函数模板作为参数传入”的问题，编译器不需要提前推导testFunc的某个具体实例，而是直接接收模板本身的句柄，后续再手动传入类型生成实例。
• 递归调用嵌套的run成员时加template标记：解决了编译器把<解析为比较运算符的语法歧义，从根源上消除了连锁触发的“unresolved overloaded function type”报错。
• 移除了原参数里的auto&&占位符写法：用Args&&...的参数包推导，既保持了完美转发的能力，也避免了auto在非类型模板参数里的语法适配问题。

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