SFINAE 尝试使用 bool 会给出编译器错误：“template argument ‘T::value”涉及模板参数”

Question

我尝试使用 bool 实现 SFINAE（与流行的 void_ 技巧）：

  template<typename T, bool = true>
  struct Resolve
  {
    static const bool value = false;
  };

  template<typename T>
  struct Resolve<T, T::my_value>
  {
    static const bool value = true;
  };

目标是专门化内部定义有 static const bool my_value = true; 的类。如果它们被定义为 false 或未定义，则不要对其进行专门化。即

struct B1 {  // specialize Resolve for this case
  static const bool my_value = true;
};
struct B2 {  // don't specialize
  static const bool my_value = false;
};
struct B3 {};  // don't specialize

当在 B1 上应用上述技巧时，它会给出编译错误：

Resolve<B1>::value;

错误：模板参数“T::my_value”涉及模板参数

我知道这可以通过其他方式来实现。但是，我有兴趣知道为什么它会在这里给出编译器错误以及它可以在这段代码本身中解决吗？

Answer 1

实际上，第 §14.5.4/9 节禁止你所做的事情，其中​​说：

部分特化的非类型参数表达式不应涉及部分特化的模板参数，除非参数表达式是简单标识符。

技巧可以是使用类型作为第二个模板参数，封装非类型值，如下所述：

template<bool b> struct booltype {};

template<typename T, typename B = booltype<true> >
struct Resolve
{
  static const bool value = false;
};

template<typename T>
struct Resolve<T, booltype<T::my_value> >
{
  static const bool value = true;
};

现在它编译罚款。