Čo je SFINAE (Substitution Failure Is Not An Error) v C++?

SFINAE (Substitution Failure Is Not An Error) je pravidlo v C++, ktoré hovorí, že ak sa kompilátor pokúsi nahradiť argumenty šablóny v podpisu funkcie alebo triedy a táto náhrada vedie k nesprávnemu kódu (napríklad pokus použiť člen, ktorý neexistuje pre daný typ), nie je to považované za chybu kompilácie okamžite. Namiesto toho kompilátor jednoducho ignoruje tento príklad šablóny pri riešení preťaženia alebo špecializácií.

Toto pravidlo sa používa pre metaprogramovanie počas kompilácie, umožňujúc vytváranie šablón, ktorých správanie závisí od vlastností argumentov šablóny.

Príklady použitia SFINAE:

• Výber medzi preťaženými funkciami alebo špecializáciami šablón tried v závislosti od prítomnosti určitých členov alebo podporovaných operácií.
• Implementácia konceptov (pred C++20, keď sa objavili explicitné koncepty) na obmedzenie typov šablón.
• Vytváranie traits typov.

Príklad použitia SFINAE s std::enable_if:

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

// Šablóna funkcie, ktorá sa kompiluje iba pre celé typy
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_if_integral(T value) {
    std::cout << "Celé číslo: " << value << std::endl;
}

// Šablóna funkcie, ktorá sa kompiluje iba pre typy s plávajúcou desatinnou čiarkou
template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
print_if_floating_point(T value) {
    std::cout << "Typ s plávajúcou desatinnou čiarkou: " << value << std::endl;
}

int main() {
    print_if_integral(5);       // Zavolá prvú funkciu
    print_if_floating_point(3.14); // Zavolá druhú funkciu
    // print_if_integral("ahoj"); // Chyba kompilácie - neúspešná náhrada, funkcie sú ignorované

    return 0;
}

V tomto príklade je std::enable_if použitý ako typ návratu. Ak je podmienka std::is_integral<T>::value pravdivá, std::enable_if poskytne typ void. Ak je nepravdivá, std::enable_if neposkytne člen type, čo vedie k neúspechu pri náhrade v podpise funkcie, a kompilátor ignoruje túto špecializáciu.