Question

给出以下代码

template<typename T>
struct A{
  struct In{};

};

template<typename T>
struct Desc{
};


template<typename X>
struct Desc<typename A<X>::In> {
};



int main(){
  Desc<A<int>::In> a;
}

编译器使用

拒绝Desc专门化

error: template parameters not used in partial specialization:
error:         ‘X’

如果结构由

定义，则相同

template<>
template<typename X>
struct Desc<typename A<X>::In> {
};

定义

template<typename X>
template<>
struct Desc<typename A<X>::In> {
};

给出错误

desc.cpp:14:10: error: invalid explicit specialization before ‘>’ token
desc.cpp:14:10: error: enclosing class templates are not explicitly specialized
desc.cpp:15:8: error: template parameters not used in partial specialization:
desc.cpp:15:8: error:         ‘X’

这是“非演绎语境”的情况吗？

Template parameters not used in partial specialization

这是有道理的，因为不能保证内部类实际上是一个类（我们只知道它是一个类型名，它可能是一个typedef）。那么有一种方法可以指定它是一个真正的类吗？

Answer 1

有没有办法指定它是真正的类

不，如果在部分模板专业化中使用此类型，则无法指定。

只有两种方式。将Desc专门用于具体的A，所以，

template<>
struct Desc<typename A<type>::In> { };

或使用类似

的内容

template<typename T, typename  = void>
struct Desc{
};


template<typename X>
struct Desc<X, typename A<X>::In> {
};

或当然专门针对A<X>类型而不是A<X>::In。

模板类的内部类的模板特化

1 个答案: