参数包迭代

Question

为什么此代码不编译？

#include <iostream>
#include <typeinfo>

template <typename ...Ts>
void f();

template <typename T>
void f() {
    std::cout << typeid(T).name() << std::endl;
}

template <typename T, typename U, typename ...Ts>
void f() {
    std::cout << typeid(T).name() << ", ";
    f<U, Ts...>();
}

int main(int argc, char** argv)
{
    f<int, float, char>();
}

MSVC编译器错误： 错误C2668：'f'：对超载功能预期输出的模棱两可

：

int, float, char

侧面问题：是否有更现代的方法可以做同样的事情？

编辑 我找到了一种接受零模板包的方法：

#include <typeinfo>
#include <iostream>
#include <type_traits>

template <typename ...Ts>
using is_empty_pack = std::enable_if_t<sizeof ...(Ts) == 0>;

template <typename ...Ts, typename = is_empty_pack<Ts...>>
void f() {}

template <typename T, typename ...Ts>
void f() {
    std::cout << typeid(T).name();
    if constexpr (sizeof ...(Ts) > 0) std::cout << ", "; else std::cout << std::endl;
    f<Ts...>();
}

int main(int argc, char *argv[])
{
    f<>();
    f<int>();
    f<int, float>();
}

还有其他建议吗？

Answer 1

用G ++编译可以清楚地解释正在发生的事情：

prog.cc: In function 'int main(int, char**)':
prog.cc:20:24: error: call of overloaded 'f<int, float, char>()' is ambiguous
   20 |     f<int, float, char>();
      |     ~~~~~~~~~~~~~~~~~~~^~
prog.cc:5:6: note: candidate: 'void f() [with Ts = {int, float, char}]'
    5 | void f();
      |      ^
prog.cc:13:6: note: candidate: 'void f() [with T = int; U = float; Ts = {char}]'
   13 | void f() {

您提供了三种不同的模板功能F，其中两个可以匹配您在此处写的内容。

编辑：也许您认为第一个是声明，另外两个是专业化，但这不是模板的工作方式。专业意思是指专业化特定模板参数的类型或价值，而不是专门研究模板参数的数字。

删除

template <typename ...Ts>
void f();

将使程序编译并以预期行为运行。