将函数作为可变参数模板参数传递，并调用它们[重复]

Question

我想通过将其他几个函数相加来创建一个“总计”函数。这可以在编译时完成，所以我认为递归可变参数函数模板将是一个很好的解决方案。到目前为止我的代码：

int One(){return 1;}
int Two(){return 2;}
int Three(){return 3;}

using func_t = int(void);

//Base case
template <func_t F>
int Total() {
    return F();
}

template <func_t F, func_t... Fs>
int Total() {
    return F() + Total<Fs...>();
}

int main(int argc, char *argv[])
{
    cout << Total<One, Two, Three>() << endl;
    return 0;
}

但是，我收到 MSVC 编译器错误 C2668: 'Total': ambiguous call to overloaded function;可以是int Total<int Three(void),>(void) 或int Total<int Three(void)>(void)

我不明白为什么编译器有两个相似的候选函数模板，唯一的区别是一个有一个额外的逗号。

Answer 1

您的基本情况声明不正确，导致编译器无法区分对基本情况的调用和对递归基的调用。

如果您将基本案例设为空的模板列表，则不再有歧义。

template <class none = void>
int Total() {
    return 0;
}