c++ - 特化成员模板而不特化其父模板

Question

我有一个嵌套在另一个模板中的类模板。部分特化它很容易:我只是声明另一个 template< … > block 在其父级内。

但是，我需要另一个偏特化来恰好指定它的所有本地模板参数。这使它成为一个明确的特化。无论出于何种原因，显式特化都必须在 namespace 范围内。要在其父类之外声明它，必须指定父类，这需要一个非空的模板参数列表。这意味着部分特化。部分特化是我正在做的，它应该在任意外部范围内工作。但是GCC和Comeau都未能用偏特化形式参数识别父提名中的模板参数。

template< class X > struct A {
    template< class Y > struct B; // initial declaration OK

    template< class Z >
    struct B< A< Z > > {}; // partial OK as long as there's a local arg

    template<> // ERROR: this syntax triggers explicit specialization
    struct B< int > {};
};

template<> // ERROR: can't nest template<>s here (why?)
template< class X > // ERROR: can't deduce X from type of A<X>::B<int> (why?)
struct A< X >::B< int > {};

(我将所有非工作代码留在其中；适本地对其进行注释以尝试理解。)

Answer 1

在 C++ 标准 14.7.3/18 下是非法的:

....声明不应显式特化类成员模板，如果它的封闭类模板没有明确特化