传递模板模板参数

Question

假设我们有一个名为 TypeCollection 的类，它包含一个类型的打包模板：

template<typename ...Types>
class TypeCollection {};

如果我们有一个模板化 TypeCollection 的类，你需要做一些类似这样的事情：

template<template<typename ...> class Collection, typename ...Types>
class CollectionHandler {};

将像这样实例化：

CollectionHandler<TypeCollecion, A, B, C>

这不是很好，因为我们必须将类型 A B 和 C 传递两次才能进行模板推导。 我的问题是是否有办法做到这一点而不必两次传递类型：

CollectionHandler<TypeCollecion<A, B, C>>

但是我似乎无法让它工作。我尝试了几件事，我意识到你不能将模板类作为参数传递：

CollectionHandler<TypeCollecion<A, B, C>>  // Error: Template argument for template template parameter must be a class template or type alias template

有没有办法实例化CollectionHandler 而不必传递类型两次？我尝试使用元组来隐藏参数，但我也无法让它工作。

感谢您的帮助！

Answer 1

翻转您的CollectionHandler 声明以通过模板专业化剖析TypeCollection：

template <class TypeCollection>
class CollectionHandler;

template <class... Types>
class CollectionHandler<TypeCollection<Types...>> { };

Answer 2

TypeCollecion<A, B, C> 不是模板。它是一种类型。如果你改变了

template<template<typename ...> class Collection, typename ...Types>
class CollectionHandler {};

到

template<typename Collection>
class CollectionHandler {};

然后你可以使用TypeCollecion<A, B, C>作为参数。而TypeCollection 可能应该提供成员别名来访问A、B 和C。

当你真正想使用一个类型作为参数时，你不需要模板模板参数（这个类型是否是模板的实例并不重要）。