Czym jest SFINAE (Substitution Failure Is Not An Error) w C++?

SFINAE (Substitution Failure Is Not An Error) — to zasada w C++, która mówi, że jeśli kompilator próbuje podstawić argumenty szablonu do sygnatury funkcji lub klasy, a ta podstawka prowadzi do niepoprawnego kodu (np. próba użycia członka, który nie istnieje dla tego typu), to nie jest to od razu błąd kompilacji. Zamiast tego, kompilator po prostu ignoruje ten przypadek szablonu podczas rozwiązywania przeciążenia lub specjalizacji.

Zasada ta jest używana do metaprogramowania na etapie kompilacji, umożliwiając tworzenie szablonów, których zachowanie zależy od właściwości argumentów szablonu.

Przykłady zastosowania SFINAE:

• Wybór między przeciążonymi funkcjami lub specjalizacjami szablonów klas w zależności od obecności określonych członków lub obsługiwanych operacji.
• Implementacja koncepcji (przed C++20, gdy pojawiły się jawne koncepcje) w celu ograniczenia typów szablonów.
• Tworzenie traitsów typów.

Przykład użycia SFINAE z std::enable_if:

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

// Szablon funkcji, który kompiluje się tylko dla typów całkowitych
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_if_integral(T value) {
    std::cout << "Typ całkowity: " << value << std::endl;
}

// Szablon funkcji, który kompiluje się tylko dla typów zmiennoprzecinkowych
template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
print_if_floating_point(T value) {
    std::cout << "Typ zmiennoprzecinkowy: " << value << std::endl;
}

int main() {
    print_if_integral(5);       // Wywoła pierwszą funkcję
    print_if_floating_point(3.14); // Wywoła drugą funkcję
    // print_if_integral("cześć"); // Błąd kompilacji - nieudana podstawka, funkcje są ignorowane

    return 0;
}

W tym przykładzie std::enable_if jest używany jako typ zwracany. Jeśli warunek std::is_integral<T>::value jest prawdziwy, std::enable_if dostarcza typ void. Jeśli warunek jest fałszywy, std::enable_if nie dostarcza członka type, co prowadzi do niepowodzenia podstawienia w sygnaturze funkcji, a kompilator ignoruje tę specjalizację funkcji.