通过模板函数重载以正向顺序递归模板（关于std：：tuple上的迭代）

Question

我使用几种方法（出于好奇心）编写了关于std：：tuple的迭代代码。我成功地使用了STD::ENABLE_IF方法、带有模板专门化的静态类函数、模板函数重载等。对于函数重载，我写了以下内容：

template<size_t N> struct SizeT{};

template<typename Tuple>
void print(Tuple, SizeT<0>){}

template<typename Tuple, size_t N>
void print(Tuple t, SizeT<N>)
{
    print(t,SizeT<N-1>());
    std::cout << std::get<N-1>(t) << ' ';
}

template<typename Tuple>
void print(Tuple t){
    print(t, SizeT<std::tuple_size<Tuple>::value>());
    std::cout << std::endl;
}

template<size_t N> struct SizeT{};

template<typename Tuple, size_t N>
void print(Tuple t, SizeT<N>) {
    std::cout << std::get<N>(t) << ' ';
    print(t,SizeT<N+1>());
}

template<typename Tuple>
void print(Tuple, SizeT< std::tuple_size<Tuple>::value >){
    std::cout << std::endl;
}

template<typename Tuple>
void print(Tuple t) {
    print(t,SizeT<0>());
}

call of overloaded 'print(std::tuple<A<int>&, A<int>&, A<long long int>&, A<long int>&>&, forward_first::SizeT<4u>)' is ambiguous
     print(t,SizeT<N+1>());
candidates are:
void forward_first::print(Tuple, forward_first::SizeT<N>) [with Tuple = std::tuple<A<int>&, A<int>&, A<long long int>&, A<long int>&>; unsigned int N = 4u]
 void print(Tuple t, SizeT<N>)
void forward_first::print(Tuple, forward_first::SizeT<std::tuple_size<Tuple>::value>) [with Tuple = std::tuple<A<int>&, A<int>&, A<long long int>&, A<long int>&>]
 void print(Tuple, SizeT< std::tuple_size<Tuple>::value >)

template<size_t N> struct SizeT{};

template<typename Tuple, size_t N>
void print(Tuple t, SizeT<N>) {
    std::cout << std::get<N>(t) << ' ';
    print(t,SizeT<N+1>());
}

template<typename Tuple>
void print(Tuple, SizeT<3>){
    std::cout << std::endl;
}

template<typename Tuple>
void print(Tuple t) {
    print(t,SizeT<0>());
}

template<typename Tuple>
void print(Tuple, SizeT< std::tuple_size<Tuple>::value >)

不再专业化了

template<typename Tuple, size_t N>
void print(Tuple t, SizeT<N>)

？？

Answer 1

问题是在std::tuple_size中有一个嵌套的值，其作用令人惊讶。模板参数推导中的一个快速经验法则是，::之后的任何内容对编译器都是不透明的。这里令人惊讶的是，它不是发生在参数推导阶段本身（两个重载都有自己的参数正确推导），而是通过在重载解析阶段从另一个重载的合成参数推导出一个重载的参数。

14.8.2.4在偏序过程中推导模板参数[temp.duct.partial]

2使用两组类型来确定偏序。对于所涉及的每个模板，都有原始函数类型和转换后的函数类型。[注意：14.5.6.2中描述了转换类型的创建。-结束注意]演绎过程使用转换类型作为参数模板，另一个模板的原始类型作为参数模板。对于偏序比较中涉及的每种类型，该过程都要执行两次：一次使用转换后的模板-1作为参数模板，模板-2作为参数模板，再一次使用转换后的模板-2作为参数模板，模板-1作为参数模板。

// #1
template<typename Tuple>
void print(Tuple, SizeT< std::tuple_size<Tuple>::value >)

// #2
template<typename Tuple, size_t N>
void print(Tuple t, SizeT<N>)

很明显，第一个没有第二个模板参数可以推导，所以它至少和第二个重载一样专业。问题是第二个是否可以有它的n参数从第一个重载的合成的第二个参数推导出来。

参数推导没有发生的原因是一个非推导的上下文：

14.8.2.5从类型[temp.duct.type]推导模板参数

这意味着第二个重载也至少和第一个重载一样专门化。因此，重载解析无法选择一个，程序格式不正确。

注意：本问答中出现了类似的问题（只有n的某些值有3个重载和歧义）。