为什么课堂上的部分专业化形成良好？

Question

根据 [temp.class.spec] 5/（强调我的）

可以声明或重新声明类模板的部分特化 在相应的主模板可以在其中的任何命名空间范围中 被定义

这表明部分特化（就像显式特化一样）必须出现在命名空间范围内。这实际上已被该段下方的示例所证实：

template<class T> struct A {
     struct C {
          template<class T2> struct B { };
     };
};
// partial specialization of A<T>::C::B<T2>
template<class T> template<class T2>
     struct A<T>::C::B<T2*> { };

//...
A<short>::C::B<int*> absip; // uses partial specialization

另一方面，C++ Standard Core Language Active Issues No 727 示例表明类内部分特化是良好的：

struct A {
  template<class T> struct B;
  template <class T> struct B<T*> { }; // well-formed
  template <> struct B<int*> { }; // ill-formed
};

我确定这里的核心问题文档是正确的，但找不到合适的参考来确认这一点。你能帮帮我吗？

Answer 1

意图是它是有效的——见N4090：

在 2014 年 Issaquah 上对 DR 1755⁷ 和 DR 727⁸ 进行了简要讨论，并基于对核心反射器的讨论⁹¹⁰¹¹，似乎 Core 正在针对成员模板及其特化遵循以下规则：部分特化和显式特化可以优先 声明在 innermost-enclosure-class 范围 或封闭 命名空间范围（认识到明确声明的特化 不构成向类添加成员，因此可以完成 在右大括号之后）。

_{7 http://www.open­std.org/jtc1/sc22/wg21/docs/cwg_toc.html#727
8 http://www.open­std.org/jtc1/sc22/wg21/docs/cwg_toc.html#1755
9http://accu.org/cgi­bin/wg21/message?wg=core&msg=24366(24033、24290、24309、24368)
10 http://accu.org/cgi­bin/wg21/message?wg=core&msg=24731(24731, 24732, 24736, 24738)
11http://accu.org/cgi­bin/wg21/message?wg=core&msg=25168 (25168-25179)}

我提交了一个核心问题，因为我觉得目前的措辞不够清晰；您引用的段落可以被解释为不允许类内部分专业化。

Answer 2

规范在 14.5.2p1 中说

模板可以在类或类模板中声明；这样的模板称为成员模板。

14.5.5p2

每个类模板部分特化都是一个不同的模板，应为模板部分特化的成员提供定义

因此，类模板偏特化是一个模板，这也是自然的，因为它仍然有不固定的参数，因此它表示“类族”。模板可以在类或类模板中声明。