包含模板成员的模板类特化失效：B<int>::bar<int>为何为true及修复

问题原因 #

你写出的template <> template <class U> bool B<int>::bar = false;并未实现预期的特化效果，核心问题在于语法不正确：

• 若想让所有U类型下的B<int>::bar<U>都为false，当前写法未先对类模板B<int>做显式特化，编译器无法识别这是对B<int>成员模板的特化，仍会沿用主模板中B<T>::bar的默认值true。
• 若只是想让**B<int>::bar<int>单独为false**，当前写法是针对所有U的泛化特化，而非针对U=int的精准特化，自然无法覆盖目标场景。

修复方案 #

根据你的需求，分两种场景处理：

场景1：让B<int>的所有U类型bar都为false #

需要先显式特化类模板B<int>，再定义其成员模板：

#include <iostream>

template <class T>
struct A {
  static bool foo;
};

template <class T>
struct B {
  template <class U>
  static bool bar;
};

// 主模板成员定义
template <class T>
bool A<T>::foo = true;

template <class T> template <class U>
bool B<T>::bar = true;

// A的特化（正常工作）
template <>
bool A<int>::foo = false;

// 显式特化B<int>类
template <>
struct B<int> {
  template <class U>
  static bool bar;
};

// 定义B<int>的成员模板bar的默认值
template <class U>
bool B<int>::bar = false;

int main() {
  std::cout << A<char>::foo << '\n';       // 1
  std::cout << A<int>::foo << '\n';        // 0
  std::cout << B<char>::bar<char> << '\n'; // 1
  std::cout << B<int>::bar<int> << '\n';   // 0 符合预期
  std::cout << B<int>::bar<char> << '\n';  // 0 所有U都生效
}

场景2：仅让B<int>::bar<int>为false #

使用双重显式特化语法，精准指定T=int且U=int的场景：

#include <iostream>

template <class T>
struct A {
  static bool foo;
};

template <class T>
struct B {
  template <class U>
  static bool bar;
};

// 主模板成员定义
template <class T>
bool A<T>::foo = true;

template <class T> template <class U>
bool B<T>::bar = true;

// A的特化（正常工作）
template <>
bool A<int>::foo = false;

// 特化B<int>::bar<int>
template <> template <>
bool B<int>::bar<int> = false;

int main() {
  std::cout << A<char>::foo << '\n';       // 1
  std::cout << A<int>::foo << '\n';        // 0
  std::cout << B<char>::bar<char> << '\n'; // 1
  std::cout << B<int>::bar<int> << '\n';   // 0 符合预期
  std::cout << B<int>::bar<char> << '\n';  // 1 其他U仍使用主模板值
}

关键说明 #

• 针对类模板的某个特定实例（如B<int>）的所有成员模板参数做特化，必须先特化整个类，再定义其成员模板。
• 仅针对成员模板的特定参数做特化，需要用template <> template <> 的双重特化语法，明确指定两层模板参数的特化类型。

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