Question

我想使用模板查找缺少的数字，如下所示：

using type = find_arg_not_in_pack<Range<1, 5>, 1, 2, 4, 5>;

结果应该是一个包含所有数字的包，这些数字不在范围之后提供的参数中。在这种情况下，它应该类似于pack<3>。 pack就像非类型参数的元组，尤其是整数。怎么能这样做？

Answer 1

为结果定义一些类型列表机制，pack和specialize find_arg_not_in_pack用于范围的开始与第一个参数相同的情况，结果定义在其余部分上递归参数列表。