'if' com parâmetros de modelo ou SFINAE é preferido?
Preferido é este:
template<typename T>
bool isNotZero(const T &a)
{
if (std::is_floating_point<T>::value) return abs(a) > std::numeric_limits<T>::epsilon();
else return a;
}
Ou isto:?
template<typename T>
std::enable_if<std::is_floating_point<T>::value, bool>::type
isNotZero(const T &a) { return abs(a) > std::numeric_limits<T>::epsilon(); }
template<typename T>
std::enable_if<std::is_integral<T>::value, bool>::type
isNotZero(const T &a) { return a; }
Eu costumo usar o primeiro tipo para evitar muitas versões da função.
Eu acredito que é exatamente o mesmo.
A primeira versão otimizada no estágio opcode e a segunda versão no estágio de instanciação de modelos.