C++模板使用方法的限制

Question

我想了解是否有限制模板的方法，以便实例具有特定的方法。例如，考虑一个通用的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; }