enable_if 如何用于删除代码

Question

我正在使用 enable_if 语句来删除考虑中的可能方法。

#include "gmpxx.h"
#include <iostream>

template <typename T>
struct is_ring_field {
};

template <>
struct is_ring_field<int> {
  static const bool value = false;
};

template <>
struct is_ring_field<mpq_class> {
  static const bool value = true;
};

template<typename T>
std::enable_if<is_ring_field<T>::value,int> RankMat(T const& Input)
{
  return 10;
}

template<typename T>
std::enable_if<(not is_ring_field<T>::value),int> RankMat(T const& Input)
{
  return 20;
}

int main()
{
  int M1=10;
  mpq_class M2=3;
  std::cerr << "FICT rank(M1)=" << RankMat(M1) << "\n";
  std::cerr << "FICT rank(M2)=" << RankMat(M2) << "\n";
}

最终目标是拥有根据输入的代数数据类型而变化的方法。对于其他特征，它对我有用，但不是这个。在这种情况下，编译器奇怪地说调用不明确，换句话说，std::enable_if 失败了。

Answer 1

std::enable_if<> 是有效类型；您需要将其type 成员用于 SFINAE：

template<typename T>
typename std::enable_if<is_ring_field<T>::value,int>::type RankMat(T const& Input)
{
  return 10;
}

template<typename T>
typename std::enable_if<(not is_ring_field<T>::value),int>::type RankMat(T const& Input)
{
  return 20;
}

Answer 2

你只是把它放在了错误的位置。 试试这个：

template<typename T>
int RankMat(T const& Input, typename std::enable_if<is_ring_field<T>::value,T>::type* = 0)
{
      return 10;
}

template<typename T>
int RankMat(T const& Input, typename std::enable_if<(not is_ring_field<T>::value),T>::type* = 0)
{
      return 20;
}

或者这个：

template<typename T, typename TT = is_ring_field<T>>
int RankMat(T const& Input)
{
      return TT::value ? 10 : 20;
}