C++ 模板对方法的限制

Question

我想了解是否有一种方法可以限制模板，使实例具有特定的方法。例如，考虑一个需要 operator< 或 operator> 的通用 isLess 函数。有办法控制吗？

template <Class T>
bool isLess(T first,T second){ return first < second; }

当我们将它用于一个没有运算符<的类时，它会报错。我该如何处理？

Answer 1

SFINAE 和 std::enable_if可以帮助你:

// enabled only if first<second is valid
template <class T>
auto isLess(T first,T second)
-> typename std::enable_if< (sizeof(first<second)>0), bool>::type
{ return first < second; }

或者也允许反向，使用

template< class T, class = void >
struct has_less_than
  : std::false_type {};

template< class T >
struct has_less_than< T, typename std::enable_if< (sizeof(
  std::declval<T>() < std::declval<T>() // the expression to test
)>0) >::type >
  : std::true_type {};

然后像这样使用它

template <class T>
typename std::enable_if< has_less_than<T>::value, bool>::type
isLess(T first,T second) { return first < second; }

template <class T>
typename std::enable_if< !has_less_than<T>::value, bool>::type
isLess(T first,T second) { return second > first; }