Question

如何让类模板接受另一个可能具有两个不同参数列表之一的类模板？即，非类型参数或类型和非类型参数：

template <int X>
struct Foo1{};

template <typename T, int X>
struct Foo2{};

我希望能够将这些模板中的任何一个传递给我的模板（以及跟随其后脚步的未来模板）。我希望这能说明我所追求的内容，尽管语法完全错误：

template <typename T, int X, class>
struct Magic; //Don't accept non template parameters

template <typename T, int X, class <int> class C>
struct Magic<T, X, C> {}; //Template non-type

template <typename T, int X, class <class, int> class C>
struct Magic<T, X, C> {}; //Template type and non-type

我无法想出为这些专业化写作的方法。如果不可能，我可以Foo1，并且所有类似的模板都有一个模板类型参数，它不做任何事情（template <typename, int X> Foo1{};）并写Magic考虑到这一点，但我希望有一个更优雅的解决方案。

Answer 1

您可以应用的一个解决方案是为每个不同的类模板的声明引入包装器，并根据包装器包装的内容专门设置神奇的结构。最后，您唯一需要知道的是哪个包装器与哪个类模板相关联。

template <int X>
struct Foo1{};

template <typename T, int X>
struct Foo2{};

template <template <int> class C> struct W1;

template <template <class, int> class C> struct W2;

template <typename T, int X, class>
struct Magic; //Don't accept non template parameters

template <typename T, int X, template <int> class C>
struct Magic<T, X, W1<C> > {}; //Template non-type

template <typename T, int X, template <class, int> class C>
struct Magic<T, X, W2<C> > {}; //Template type and non-type

int main()
{
    Magic<int, 1, W1<Foo1> > m1;
    Magic<int, 2, W2<Foo2> > m2;
}

DEMO

部分专门化具有不同模板参数的模板的模板类

1 个答案: