在有效的版本中，我们称之为版本A，您通过执行static_cast<myTuple<types...>&>(tupleObj)删除每个递归调用中的第一个类型，其中tupleObj是myTuple<firstType,types...>。所以firstType被抛弃了。
在失败的版本中，我们称之为版本B，您没有删除任何内容：你直接传递tupleObj，它包含了所有类型。
这很重要，因为函数的签名包含传递给下一个递归调用的类型，在尾部返回类型（-> decltype(...)）中。在版本A中，没有问题，因为在某个时候，在参数包types中没有更多的类型，当编译器试图示例化getHelper时，没有留下firstType的类型，它失败了，停止示例化，然后解析调用。在版本B中，参数包types中总是有一些东西，因此编译器一直尝试使用相同的模板参数示例化getHelper，除了索引，索引每次都会减少。

**模板参数推导是在重载解析之前进行的。**在版本B中，重载解析虽然会用IntToType<0>选取正确的重载，但由于模板参数推导卡在了重载解析中，所以无法到达：它尝试示例化无限数量的getHelper函数。

为了让你相信这一点，在版本B中，将主getHelper重载改为：

template<typename ...types,int index>
auto& getHelper(myTuple<types...> &tupleObj,IntToType<index>)
{
   return getHelper(tupleObj,IntToType<index-1>());
}

Demo
如果没有尾部返回类型，传递给下一个递归调用的types...就不再是签名的一部分，编译器也不再会在尝试示例化越来越多的东西时陷入困境。请注意，输出可能不是您所期望的，Clang对此给出了有用的警告：该版本没有挑选元组的正确元素。它总是选择第一个（在本例中是int，因此转换警告）。
另一个较小的test示例可以工作，因为递归不是签名的一部分。将主重载更改为此，您将得到相同的问题情况：

template<typename ...types,int index>
auto test(typelist<types...> &t,IntToType<index>) -> decltype(test(t,IntToType<index-1>())) {
    std::cout<<"test called with "<<index<<std::endl;
    return test(t,IntToType<index-1>());
}

Demo
请注意，另一个test重载是否返回值并不重要，因为同样，编译器甚至不足以进行重载解析。
我个人会继续使用版本A，因为它工作得很好。如果你愿意，你可以通过删除尾部返回类型来简化它：

template<typename firstType,typename ...types>
auto& getHelper(myTuple<firstType,types...> &tupleObj,IntToType<0>)
{
    return tupleObj.scatter<firstType,types...>::elem;
}
template<typename firstType,typename ...types,int index>
auto& getHelper(myTuple<firstType,types...> &tupleObj,IntToType<index>)
{
    return getHelper(static_cast<myTuple<types...>&>(tupleObj),IntToType<index-1>());
}
template<int index,typename ...types>
auto& get(myTuple<types...> &tupleObj)
{
    return getHelper(tupleObj,IntToType<index>());
}

Demo
如果你想使用类似于版本B的东西，你可以修改它，用一个helper函数删除每个递归调用中的第一个类型：

template<typename firstType, typename ...types>
auto myTupleWithoutFirstType(myTuple<firstType, types...>) -> myTuple<types...>;
template<typename ...types,int index>
auto getHelper(myTuple<types...> &tupleObj,IntToType<index>)
-> decltype(getHelper(static_cast<decltype(myTupleWithoutFirstType(myTuple<types...>{}))&>(tupleObj),IntToType<index-1>()))
{
   return getHelper(static_cast<decltype(myTupleWithoutFirstType(myTuple<types...>{}))&>(tupleObj),IntToType<index-1>());
}

Demo

在工作代码中，有两个重载版本的getHelper：
1.第一个版本采用myTuple<firstType, types...>和IntToType<0>作为参数。它返回tupleObj.scatter<firstType, types...>::elem的类型，这是元组中第一个元素的类型。这个版本作为递归的退出条件。
1.第二个版本采用myTuple<firstType, types...>和IntToType<index>作为参数。它递归调用getHelper，并使用index-1和元组中的其余类型。它返回递归调用的结果。此版本处理索引不为零的情况。
第一个版本的模板参数推导工作正常，因为类型myTuple<firstType, types...>在函数签名中显式指定。但是，在注解代码中，getHelper的第一个版本试图直接从tupleObj推导模板参数，这会导致一个问题。由于tupleObj的类型是myTuple<types...>，其中types是一个参数包，因此推导失败，因为无法从参数包推导出模板参数。
在getHelper的第二个版本中，递归调用getHelper(tupleObj, IntToType<index-1>())也无法匹配模板参数，因为模板参数不能从tupleObj推导出来。