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

SFINAE (Substitution Failure Is Not An Error) je pravidlo v C++, které říká, že pokud se kompilátor pokusí nahradit argumenty šablony v podpisu funkce nebo třídy a tato náhrada povede k nesprávnému kódu (například pokus o použití člena, který neexistuje pro daný typ), není to považováno za okamžitou chybu kompilace. Místo toho kompilátor jednoduše ignoruje tento případ šablony při řešení přetížení nebo specializací.

Toto pravidlo se používá pro metaprogramování při kompilaci, umožňující vytváření šablon, jejichž chování závisí na vlastnostech argumentů šablony.

Příklady použití SFINAE:

• Výběr mezi přetíženými funkcemi nebo specializacemi šablon tříd v závislosti na přítomnosti určitých členů nebo podporovaných operací.
• Implementace konceptů (před C++20, kdy se objevily explicitní koncepty) pro omezení typů šablon.
• Vytváření typových vlastností (type traits).

Příklad použití SFINAE s std::enable_if:

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

// Šablona funkce, která se kompiluje pouze pro celočíselné typy
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_if_integral(T value) {
    std::cout << "Celočíselný typ: " << value << std::endl;
}

// Šablona funkce, která se kompiluje pouze pro typy s plovoucí desetinnou čárkou
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 plovoucí desetinnou čárkou: " << value << std::endl;
}

int main() {
    print_if_integral(5);       // Zavolá první funkci
    print_if_floating_point(3.14); // Zavolá druhou funkci
    // print_if_integral("ahoj"); // Chyba kompilace - neúspěšná náhrada, funkce jsou ignorovány

    return 0;
}

V tomto příkladu je std::enable_if použit jako návratový typ. Pokud je podmínka std::is_integral<T>::value pravdivá, std::enable_if poskytne typ void. Pokud je nepravdivá, std::enable_if neposkytne člen type, což povede k neúspěchu náhrady v podpisu funkce a kompilátor tuto specializaci ignoruje.