可变参数模板参数获取方法及模板类型参数调用错误的排查与修复

首先咱们来拆解你遇到的两个错误原因：

错误原因解析 #

1. return func(rest...); 报错C2660
   你这里犯了一个核心错误：rest...是非类型模板参数包，不是普通的函数参数。直接把它当成函数参数传给func()，编译器会去寻找接受多个int参数的func重载，但你只定义了无参数的普通func()和带模板参数的func模板，根本没有匹配的函数，所以报“函数不接受4个参数”的错误。

2. return func<rest...>(); 报错无法推导模板参数
   当模板参数包rest...被展开到最后为空时，func<rest...>()就变成了func<>()。但你的模板函数定义是template <int first, int ... rest>，它要求必须至少有一个first模板参数，空参数包无法满足这个要求。而你写的无参数普通func()和模板版本是完全独立的两个函数，编译器不会自动把func<>()匹配到普通func()，所以才会报错找不到匹配的重载。

可行修复方案 #

下面提供几种符合你需求（用模板参数传递值而非函数参数）的修复方式，从兼容旧标准到利用新特性都有：

方案1：模板特化空参数版本（C++11兼容） #

把原来的无参数普通函数改成模板的特化版本，让空参数包展开时能匹配到正确的重载：

#include <iostream>
using namespace std;

int sum = 0;

// 空参数包的模板特化
template <>
int func<>() {
    int temp = sum;
    sum = 0; // 可选：重置sum避免下次调用受影响
    return temp;
}

template <int first, int ... rest>
int func() {
    sum += first;
    return func<rest...>(); // 现在空参数包会匹配上面的特化版本
}

int main() {
    cout << func<1,2,3,4,5>(); // 输出15
}

⚠️ 注意：全局变量sum有线程安全问题，且多次调用会累加之前的值，所以最好加上重置逻辑。

方案2：递归模板+无全局变量（C++11兼容） #

放弃全局变量，直接在递归中通过模板参数传递累加结果，甚至可以做成编译期计算的constexpr函数：

#include <iostream>
using namespace std;

// 递归终止：只有一个模板参数时直接返回它
template <int first>
constexpr int func() {
    return first;
}

// 递归展开：累加第一个参数+剩余参数的求和结果
template <int first, int ... rest>
constexpr int func() {
    return first + func<rest...>();
}

int main() {
    cout << func<1,2,3,4,5>(); // 输出15
}

这个方案更安全，没有全局变量的副作用，而且constexpr还能让求和在编译期完成，效率更高。

方案3：C++17折叠表达式（最简洁） #

利用C++17引入的折叠表达式，不需要递归就能直接展开参数包求和，代码极简：

#include <iostream>
using namespace std;

template <int... Args>
constexpr int func() {
    return (Args + ...); // 折叠表达式：从左到右累加所有参数
}

int main() {
    cout << func<1,2,3,4,5>(); // 输出15
}

折叠表达式不仅支持加法，还能支持其他运算符，是处理可变参数模板最便捷的方式之一。

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