模板化派生类的专用函数模板

Question

我基本上有一个 std::integral_constant 的模拟版本，其中包含一个变量，我想为这些从 Base<T> 派生的类专门化一个函数模板，如下所示：

template<class T> struct Base{
  typedef T type;
  T t;
};

template<class T> struct A : Base<T>{
  static constexpr T value = 1;
};
template<class T> struct B : Base<T>{
  static constexpr T value = 2;
};

struct Unrelated{};

// etc.

template<class T> void foo(T t){
  //I would like to specialize foo for A and B and have a version for other types
}


int main(){
  foo(A<float>());//do something special based on value fields of A and B
  foo(B<float>());
  foo(Unrelated()); //do some default behavior
}

以下是主要问题：

• 我不能将 value 包含为模板，因为我期望 T = double、float 或其他一些非整数类型（否则我只会扩展 std::integral_constant）
• 我不能像 std::is_base<Base<T::type>,T> 那样干净地使用 std::is_base
• 执行foo(Base<T>&) 不会让我看到value，我不想求助于虚拟value() 函数（或反射）。
• 显然我希望避免为每个派生类专门设置 foo。

我认为答案在于使用is_base，但无论我如何尝试使用它，我都无法让它工作。我错过了更简单的方法吗？

Answer 1

以下应该有效：

template<typename,typename = void>
struct IsBase
  : std::false_type {};

template<typename T>
struct IsBase<T, typename std::enable_if<
                   std::is_base_of<Base<typename T::type>,T>::value
                 >::type>
  : std::true_type {};

template<class T>
typename std::enable_if<IsBase<T>::value>::type foo(T t){
    // use T::value
}

template<class T>
typename std::enable_if<!IsBase<T>::value>::type foo(T t){
    // general case
}

Live example