O que é SFINAE (Substitution Failure Is Not An Error) em C++?

SFINAE (Falha na Substituição Não é um Erro) é uma regra em C++ que afirma que, se o compilador tenta substituir os argumentos de um template na assinatura de uma função ou classe, e essa substituição leva a um código incorreto (por exemplo, tentar usar um membro que não existe para esse tipo), isso não é considerado um erro de compilação imediato. Em vez disso, o compilador simplesmente ignora essa instância do template ao resolver sobrecargas ou especializações.

Essa regra é usada para metaprogramação em tempo de compilação, permitindo criar templates cujo comportamento depende das propriedades dos argumentos do template.

Exemplos de uso de SFINAE:

• Seleção entre funções sobrecarregadas ou especializações de templates de classes dependendo da presença de certos membros ou operações suportadas.
• Implementação de conceitos (antes do C++20, quando surgiram os conceitos explícitos) para restringir tipos de templates.
• Criação de traits de tipos.

Exemplo de uso de SFINAE com std::enable_if:

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

// Template de função que só compila para tipos inteiros
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_if_integral(T value) {
    std::cout << "Tipo inteiro: " << value << std::endl;
}

// Template de função que só compila para tipos de ponto flutuante
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 ponto flutuante: " << value << std::endl;
}

int main() {
    print_if_integral(5);       // Chama a primeira função
    print_if_floating_point(3.14); // Chama a segunda função
    // print_if_integral("olá"); // Erro de compilação - substituição falhou, funções ignoradas

    return 0;
}

Neste exemplo, std::enable_if é usado como tipo de retorno. Se a condição std::is_integral<T>::value for verdadeira, então std::enable_if fornece o tipo void. Se a condição for falsa, std::enable_if não fornece o membro type, levando a uma falha na substituição na assinatura da função, e o compilador ignora essa especialização de função.