¿Qué es SFINAE (Substitution Failure Is Not An Error) en C++?

SFINAE (La falla de sustitución no es un error) es una regla en C++ que establece que si el compilador intenta sustituir los argumentos de una plantilla en la firma de una función o clase, y esta sustitución conduce a un código incorrecto (por ejemplo, intentar usar un miembro que no existe para ese tipo), esto no se considera un error de compilación inmediato. En cambio, el compilador simplemente ignora esa instancia de la plantilla al resolver sobrecargas o especializaciones.

Esta regla se usa para la metaprogramación en tiempo de compilación, permitiendo crear plantillas cuyo comportamiento depende de las propiedades de los argumentos de plantilla.

Ejemplos de uso de SFINAE:

• Selección entre funciones sobrecargadas o especializaciones de plantillas de clases dependiendo de la presencia de ciertos miembros o operaciones soportadas.
• Implementación de conceptos (antes de C++20, cuando aparecieron los conceptos explícitos) para restringir tipos de plantillas.
• Creación de traits de tipos (type traits).

Ejemplo de uso de SFINAE con std::enable_if:

#include <iostream>
#include <type_traits> // Para std::enable_if

// Plantilla de función que solo se compila para tipos enteros
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_if_integral(T value) {
    std::cout << "Tipo entero: " << value << std::endl;
}

// Plantilla de función que solo se compila para tipos de punto flotante
template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
print_if_floating_point(T value) {
    std::cout << "Tipo de punto flotante: " << value << std::endl;
}

int main() {
    print_if_integral(5);       // Llamará a la primera función
    print_if_floating_point(3.14); // Llamará a la segunda función
    // print_if_integral("hola"); // Error de compilación - sustitución fallida, funciones ignoradas

    return 0;
}

En este ejemplo, std::enable_if se usa como tipo de retorno. Si la condición std::is_integral<T>::value es verdadera, entonces std::enable_if proporciona el tipo void. Si la condición es falsa, std::enable_if no proporciona el miembro type, lo que conduce a un fallo en la sustitución en la firma de la función, y el compilador ignora esa especialización de función.