我们可以专门针对模板化类的模板类吗？

Question

我们可以专门针对模板化类的模板类吗？

template<>
class Storage8<MyClass<T>>
{
—
—
};

MyClass是模板化的类。 以上内容是否有效？ 我们在哪里必须提及MyClass的模板？

Answer 1

你完全可以。 例：

#include <vector>
using std::vector;

template<typename T>
struct X {
    static const int A = 0;
};

template<typename U>
struct X<vector<U> > {
    static const int A = 1;
};

int main() {
    static_assert(X<vector<int> >::A == 1, "fail");
    return 0;
}

Answer 2

这应该工作：

// class templae for Storage8. It can just be a forward declaration
template <typename T> class Storage8;

// or a default defintion.
template <typename T> class Storage8
{
};

// Class templae for MyClass
template <typename T>
class MyClass
{
};

// Specialization of Storage8 for MyClass<T>
template <typename T>
class Storage8<MyClass<T>>
{
};