如何解决C++ Variadic template（可变模板）的调用歧义问题？

问题原因 #

当递归调用sum<arguments...>()时，若arguments...仅剩一个参数（比如sum<7>()），两个模板都会成为可行候选：

• 第一个模板template<int arg> int sum()直接匹配单参数；
• 第二个模板template<int d, int... arguments> int sum()也能匹配（此时d=7，arguments...为空包）。

编译器无法判断优先级，因此报调用歧义错误。

解决方案 #

方案1：调整基础模板为无参数特化 #

将原单参数基础模板改为无参数的特化版本，让可变参数模板处理所有带参数的情况，递归最终终止于无参数版本：

#include <iostream>

// 无参数时的基础特化，返回0作为累加基准
template<>
int sum<>()
{
    return 0;
}

// 可变参数模板：处理至少一个整数参数
template <int d, int... arguments>
int sum()
{
    return d + sum<arguments...>();
}

int main()
{
    std::cout << sum<2, 5, 7>() << std::endl; // 输出14
    return 0;
}

方案2：使用C++17折叠表达式简化实现 #

C++17引入的折叠表达式可以直接展开可变参数进行运算，无需递归重载，从根源避免歧义：

#include <iostream>

template <int... arguments>
int sum()
{
    return (arguments + ...); // 左折叠累加所有参数
}

int main()
{
    std::cout << sum<2, 5, 7>() << std::endl; // 输出14
    return 0;
}

方案3：用SFINAE约束可变参数模板（可选） #

通过std::enable_if确保可变参数模板仅在arguments...非空时参与匹配，但这种方式相对繁琐，不如前两种直观：

#include <iostream>
#include <type_traits>

// 单参数基础模板
template<int arg>
int sum()
{
    return arg;
}

// 约束可变参数模板仅当arguments...非空时生效
template <int d, int... arguments>
std::enable_if_t<(sizeof...(arguments) > 0), int> sum()
{
    return d + sum<arguments...>();
}

int main()
{
    std::cout << sum<2, 5, 7>() << std::endl; // 输出14
    return 0;
}

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