如何实现C++可变参数模板处理同类型重复参数并转发调用？

我有如下可变参数模板函数run，用于接收多个参数并打印：

#include <iostream>

template<typename... Args>
void run(Args... var)
{
    (std::cout << ... << var) << std::endl;
}

我希望创建另一个可变参数模板函数processArgs，实现以下功能：

• 处理模板参数包内同类型的多次出现；
• 处理这些参数并为其分配特定值；
• 将收集到的参数传递给run函数。

例如，当调用**processArgs<int, double, int, int, double>()**时，期望实现：

• 为参数包中的每个类型创建对应变量（如整数变量、双精度浮点数变量等）；
• 为这些变量分配特定值（例如同类型的每个实例使用递增数值）；
• 将这些变量传递给run函数，效果等同于调用run(42, 3.14, 43, 44, 4.14)（数值可自定义）。

期望效果如下：

int main()
{
    processArgs<int, double, int, int, double>();
    // 应等效于调用：run(42, 3.14, 43, 44, 4.14)，数值可任意
    return 0;
}

如何实现该processArgs函数以达成上述需求？

解决方案 #

核心思路是利用静态模板变量跟踪每种类型的实例计数，为同类型的每个参数生成递增数值，再通过参数包展开将这些值传递给run函数。

实现代码 #

#include <iostream>
#include <type_traits>

template<typename... Args>
void run(Args... var)
{
    (std::cout << ... << var) << std::endl;
}

// 辅助模板：为每种类型维护独立计数
template<typename T>
struct TypeCounter {
    static int count;
};

template<typename T>
int TypeCounter<T>::count = 0;

// 自定义不同类型的初始值
template<typename T>
T generateInitialValue() {
    if constexpr (std::is_same_v<T, int>) {
        return 42;
    } else if constexpr (std::is_same_v<T, double>) {
        return 3.14;
    }
    // 其他类型默认返回默认构造值
    return T{};
}

// 生成当前类型的下一个递增数值
template<typename T>
T getNextValue() {
    auto val = generateInitialValue<T>() + TypeCounter<T>::count;
    TypeCounter<T>::count++;
    return val;
}

// 主处理函数：展开参数包并调用run
template<typename... Args>
void processArgs() {
    run(getNextValue<Args>()...);
}

int main()
{
    processArgs<int, double, int, int, double>();
    // 输出：423.1443444.14
    return 0;
}

代码说明 #

1. TypeCounter模板：为每种类型分配独立的静态计数器，确保同类型的多个参数能按顺序获得递增数值。
2. generateInitialValue函数：针对不同类型定义初始基准值（比如int从42开始，double从3.14开始），可根据需求扩展更多类型的初始值逻辑。
3. getNextValue函数：基于初始值和当前计数器生成对应数值，生成后自动递增计数器，保证下一个同类型参数获得更大的值。
4. processArgs函数：展开模板参数包，为每个参数类型调用getNextValue生成对应值，直接传递给run函数完成调用。

可选优化：重置计数器 #

如果需要多次调用processArgs时重置计数状态，可以添加重置函数：

template<typename... Args>
void resetCounters() {
    (TypeCounter<Args>::count = 0, ...);
}

// 使用示例
int main()
{
    processArgs<int, double>(); // 输出423.14
    resetCounters<int, double>();
    processArgs<int, double>(); // 再次输出423.14
    return 0;
}

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