最近碰到需求，基本来说是给一个tuple类，要求把这个tuple类转换成一个variat类，注意，是类，不是object

也就是说需要把template parameter里重复的type去掉。想了半天好像用pack folding也不行，只有写了个递归模板类，类似
template<class...arg_ts>
recursive_t;

template<class cur_t, class...remain_ts>
recursive_t<curt,remain_ts...>
{
    using type = recursive<remain_ts...>::type;
}

所以，比较好奇，编译器对模板的递归有深度限制没有
--
FROM 183.128.164.*