关于非特化模板的成员模板特化的C++标准条款问询

先从条款p.18的明确规定说起：

非特化类模板的成员函数模板、成员类模板或静态数据成员模板的特化本身仍是一个模板。

这句话的核心是帮我们建立一个关键认知：当你针对未完全特化的类模板里的成员模板做显式特化时，这个特化后的成员并不会变成普通的非模板实体，它依然保留模板的属性。举个简单的代码例子来理解：

// 非特化的类模板
template<typename T>
struct Foo {
    // 成员函数模板
    template<typename U>
    void bar(U val) { /* 默认实现 */ }
};

// 针对Foo<int>的成员模板bar做显式特化，但U仍是模板参数
template<>
template<typename U>
void Foo<int>::bar(U val) { /* 特化后的实现 */ }

这里的Foo<int>::bar虽然是对类模板Foo的某个实例化版本的成员模板特化，但它本身还是一个模板（因为U依然是未绑定的模板参数）——这就是p.18要明确的核心性质。

接下来看条款p.17的完整规范（结合标准原文补全你提到的片段）：

在命名空间作用域中出现的类模板成员或成员模板的显式特化声明里，成员模板及其部分外围类模板可以保持未特化状态，但除非主模板是未被显式特化的外围类模板的成员，否则不得在其外围类模板未被显式特化的情况下显式特化类成员模板。

这条是在给p.18描述的那种“成员模板特化仍为模板”的情况制定声明规则和限制：

• 允许场景：你可以在命名空间作用域里，只特化外围类模板的部分模板参数，同时特化它的成员模板。比如：

  // 带有两个模板参数的类模板
  template<typename T, typename U>
  struct Baz {
      template<typename V>
      void func(V val) { /* 默认实现 */ }
  };
  
  // 特化Baz的第一个参数为int，同时特化成员模板func（V仍为模板参数）
  template<typename U>
  template<typename V>
  void Baz<int, U>::func(V val) { /* 特化后的实现 */ }
  

  这种写法是合规的，因为我们只特化了外围类模板的部分参数，成员模板也保持了模板属性，既符合p.18的定义，也满足p.17的允许条件。
• 限制场景：如果你的外围类模板完全没有被特化（连部分特化都没有），那你不能直接在命名空间作用域特化它的成员模板。比如下面的写法就是非法的：

  // 错误：外围类模板Foo完全未特化，不能直接特化它的成员模板bar
  template<typename T>
  template<typename U>
  void Foo<T>::bar(U val) { /* 非法的特化尝试 */ }
  

  这违反了p.17的限制，因为此时外围类模板没有被显式特化，也不属于“主模板是未被显式特化的外围类模板的成员”的例外情况。

两者的关联逻辑 #

p.18是定义性质：明确了“非特化类模板的成员模板特化仍为模板”这个核心属性，为后续的规则制定提供了前提；而p.17是约束规则：针对这种“仍为模板的成员特化”，规定了在命名空间作用域中声明它的合法方式和禁止行为，确保这种特化的声明符合C++模板系统的整体逻辑，避免语法歧义或语义冲突。

简单来说，p.18告诉我们“这种特化是什么”，p.17告诉我们“这种特化怎么写才合法”。

内容的提问来源于stack exchange，提问作者user42768