c++ - Especialización de plantillas y enable_if problemas

templates c++11

Question

Esta pregunta ya tiene una respuesta aquí:

• SFINAE trabajando en el tipo de retorno pero no como respuestas de parámetro 3 de plantilla

Me encuentro con un problema relacionado con el uso apropiado de enable_if y la especialización de plantillas.

Después de modificar el ejemplo (por razones de confidencialidad), aquí hay un ejemplo comparable:

Tengo una función llamada "menos" que comprueba si el primer argumento es menor que el segundo argumento. Digamos que quiero tener 2 tipos diferentes de implementaciones dependiendo del tipo de entrada: 1 implementación para entero y otra para doble.

El código que tengo hasta ahora se ve así:

#include <type_traits>
#include <iostream>
template <class T,
class = typename std::enable_if<std::is_floating_point<T>::value>::type>
bool less(T a, T b) {
// ....
}
template <class T,
class = typename std::enable_if<std::is_integral<T>::value>::type>
bool less(T a, T b) {
// ....
}
int main() {
float a;
float b;
less(a,b);
return 0;
}

El código anterior no se compila porque: dice que estoy redefiniendo el método less.

Los errores son:

Z.cpp:15:19: error: template parameter redefines default argument
class = typename std::enable_if<std::is_integral<T>::value>::type>
^
Z.cpp:9:19: note: previous default template argument defined here
class = typename std::enable_if<std::is_floating_point<T>::value>::type>
^
Z.cpp:16:11: error: redefinition of ''less''
bool less(T a, T b) {
^
Z.cpp:10:11: note: previous definition is here
bool less(T a, T b) {
^
Z.cpp:23:5: error: no matching function for call to ''less''
less(a,b);
^~~~
Z.cpp:15:43: note: candidate template ignored: disabled by ''enable_if''
[with T = float]
class = typename std::enable_if<std::is_integral<T>::value>::type>
^
3 errors generated.

¿Alguien puede señalar cuál es el error aquí?

Answer 1

Los argumentos de plantilla predeterminados no son parte de la firma de una plantilla de función. Entonces, en su ejemplo, tiene dos sobrecargas idénticas de less , lo cual es ilegal. clang se queja de la redefinición del argumento predeterminado (que también es ilegal según §14.1 / 12 [temp.param]), mientras que gcc produce el siguiente mensaje de error:

error: redefinición de '' template<class T, class> bool less(T, T) ''

Para corregir el error, mueva la expresión enable_if del argumento predeterminado a un parámetro de plantilla ficticio

template <class T,
typename std::enable_if<std::is_floating_point<T>::value, int>::type* = nullptr>
bool less(T a, T b) {
// ....
}
template <class T,
typename std::enable_if<std::is_integral<T>::value, int>::type* = nullptr>
bool less(T a, T b) {
// ....
}

Otra opción es usar enable_if en el tipo de retorno, aunque creo que es más difícil de leer.

template <class T>
typename std::enable_if<std::is_floating_point<T>::value, bool>::type
less(T a, T b) {
// ....
}
template <class T>
typename std::enable_if<std::is_integral<T>::value, bool>::type
less(T a, T b) {
// ....
}