带有模板参数的部分专门化模板

Question

我有这个模板

template <typename T, size_t maxsiz = 6>
class Array;

我有这个适配器模板

template <typename T, template <typename> class Container = std::vector>
class Stack;

我想要做的是像这样使用带有堆栈的数组

Stack<int, Array> s;

但是，Array 的默认构造函数不能满足 Stack 的要求，所以我需要专门为 Array 设置 Stack。 理想情况下，我只想专门化 Stack<T, Array> 的 ctor，这样我就可以在初始化时为内部 Array 成员提供正确的参数。

我试过了

template <typename T>
class Stack<T, Array>::Stack() : container(0) {  }  // container is the name of the wrapped Container

然而，它有问题。首先，它不会编译（是的......），其次，我希望能够给数组一个不同的大小，像这样

Stack<int, Array<int, 13>> stack;

或任何功能等效的东西（数组大小的编译时间常数）。如何做到这一点？

更新

所以我做了更多的挖掘，显然如果没有整个类的相应部分特化，你就不能部分特化成员函数。这就解释了为什么我的尝试行不通。

Answer 1

与其将Stack 更改为与Array 一起使用，不如为Array 提供一个与Stack 一起使用的适配器：

template <typename T>
struct StackArray : Array<T> {
    StackArray()
        : Array<T>(0)
    { }

    // anything else that needs to change here
};

你可以这样做：

Stack<int, StackArray> s;

另外，您的Stack 模板不正确。您不能将std::vector 用作template <typename> class Container 的默认模板，因为std::vector 采用两个 模板参数。如果你做到了，它可能会更有用：

template <typename T, typename Container = std::vector<T>>
struct Stack { .. };

那么我们也可以将maxsiz 参数添加到StackArray 并执行以下操作：

Stack<int, StackArray<int, 13>> s;

std::priority_queue 和 std::stack 就是这样设计的。

Answer 2

只需要一个明确的数组大小并使用类似的东西：

template <typename T, int N>
class Stack<T, Array<T, N>>::Stack() : Array<T, N> {  }

用法：

Stack<int, Array<int>> x;
Stack<int, Array<int, 2>> y;