Question

有些时候我希望能编写一个由a参数化的类模板可变参数模板参数包的间断列表，例如，

template<typename ...lhs, int Punct, typename ...rhs>
struct tuple_pair
{
    std::tuple<lhs...> _lhs;
    std::tuple<rhs...> _rhs;
};

或者就此而言：

template<int ...lhs, typename Punct, int ...rhs>
struct seq_pair
{
    std::integer_sequence<int,lhs...> _lhs;
    std::integer_sequence<int,rhs...> _rhs;
};

这些很可能是我想要一个肮脏的黑客的时刻，但无论如何当然标准说我不能拥有它：§14.1.11：

如果主类模板或别名模板的模板参数是a 模板参数包，它应该是最后一个模板参数。

我不明白为什么就是这样。在我看来，在任何实例中， e.g。

tuple_pair<char,short,0,int,long> tp;
seq_pair<0,2,3,void,4,5,6> sp;

编译器也可以将...lhs参数与...rhs区分开来我可以。

我没有想到为什么标准是什么 - 显然是这样 - 但可以任何人权威地告诉我们为什么C ++模板机器没有或不能以这种方式支持多个类模板参数包的分离？我特别希望确认或驳回对此的怀疑它逃脱了我的基本逻辑障碍。

Answer 1

无法将变量模板列表作为第一类对象进行操作。因此，使用包含在某个模板对象中的参数包通常更方便。

这就是我将两个类型列表传递给模板类的方法：

// create an empty default implementation
template <typename LeftTuple, typename RightTuple> 
class tuplePair {};

// specialise to allow tupled lists of types to be passed in
template <typename ...LHS, typename ...RHS>
class tuplePair<tuple<LHS...>, tuple<RHS...> > 
{
   // ...
};

//or more catholically:
template <typename ...LHS, typename ...RHS, template<typename...> class tuple_template>
class tuplePair<tuple_template<LHS...>, tuple_template<RHS...>>  
{
   // ...
};

template<typename... X>
class some_other_tuple {};



int main() {
   tuplePair<tuple<char,char,char>, tuple<char,char,char>> tango_tuple;
   tuplePair<some_other_tuple<int>, some_other_tuple<char>> other_tuple;
   return 0;
}

在任何情况下，我都比使用某种分隔符（void）更清楚。作为一般规则，提供列表或元组对象而不是简单地使用分隔符的语义更强大（因为它们允许嵌套）并且更容易操作。

附录：

我有可能给出另一个错过这一点的答案，特别是它不具有权威性，希望它可能有所帮助。

我已经阅读了可变参数模板提案的草稿并扫描了comp.std.C ++上提到单词“variadic”的所有196个线程，似乎这种限制的唯一原因是简单性。特别是起草标准而不是实施的简单性。

我找不到您提出的关于泛化的任何讨论（允许参数包在模板参数列表中的任何位置，后面没有相同类型的参数或参数包）。然而，讨论了其他一般化，例如允许参数包扩展出现在模板专门化之外的其他位置，看起来时间刚刚用完这些讨论。

你有一个有说服力的用例吗？我真的不是故意成为“告诉我一个用例，否则我会让你失望”欺负，我只是感兴趣。

为什么可变参数类模板最多只能有一个参数包？

1 个答案:

附录：