如何使用模板专门化 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 变量一起使用。