包含模板成員的模板 class 的專業化不起作用

Question

為什么B<int>::bar<int> == true以及如何解決這個問題？

編輯：看起來問題是 B 專業化不正確

#include <iostream>

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

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

// assigning default values (works as expected)
template <class T>
bool A<T>::foo = true;

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

// template specialization
template <>
bool A<int>::foo = false; // works as expected

template <> template <class U>
bool B<int>::bar = false; // not working

int main() {
  std::cout << A<char>::foo << '\n';       // 1
  std::cout << A<int>::foo << '\n';        // 0   works fine
  std::cout << B<char>::bar<char> << '\n'; // 1
  std::cout << B<int>::bar<int> << '\n';   // 1   why is it true?
}

出於某種原因，這些代碼行似乎沒有將B<int>::bar<int>設置為false ：

template <> template <class U>
bool B<int>::bar = false;

Answer 1

為什么 B::bar == true 以及如何解決這個問題？

因為您沒有正確明確地專門化bar 。 特別是，為了顯式特化bar我們必須使用 2 個template<> s，一個用於封閉的 class 模板，另一個用於bar本身（因為它也是一個模板）。

因此，要解決此問題，請進行以下更改：

template <> template <>
bool B<int>::bar<int> = false; // works now
int main() {
  
  std::cout << B<int>::bar<int> << '\n';   // prints 0
}

工作演示