如何使用模板專門化 class 模板？

Question

考慮 class 模板：

template<typename T>
struct A
{
  T data;

  static const bool flag;
  static bool calc_flag()
  {
    // Default value;
    return false;
  }
};

template<typename T>
const bool A<T>::flag = A<T>::calc_flag();

現在我想將此模板專門用於以下 class 模板：

template<char N>
struct B
{
  static const bool is_a;
};

template<char N>
const bool B<N>::is_a = N == 'a';

為了A<B<N>>::flag將使用B<N>::is_a進行初始化。 即，我想專門針對這種情況使用calc_flag()方法。 怎么可能做到這一點？

Answer 1

您可以將計算分離到一個實現struct中，並且只專門化它

template<class T>
struct calc_flag_impl {
    static bool calc_flag() { return false; }
};

template<typename T>
struct A
{
  T data;

  static const bool flag = calc_flag_impl<T>::calc_flag();
};

現在你可以專門calc_flag_impl

template<char N>
struct calc_flag_impl<B<N>> {
    static bool calc_flag() { return B<N>::is_a; }
};

注意：在為您的類型實例化 class 模板之前，特化必須存在，才能與 static class 變量一起使用。