Kas yra SFINAE (Substitution Failure Is Not An Error) C++-e?

SFINAE (Substitution Failure Is Not An Error) — tai taisyklė C++ kalboje, kuri sako, kad jei kompiliatorius bando įterpti šablono argumentus funkcijos ar klasės paraše, ir ši įterpimas sukelia neteisingą kodą (pavyzdžiui, bandymas naudoti narį, kuris neegzistuoja tam tikro tipo), tai nėra laikoma kompiliacijos klaida iš karto. Vietoj to, kompiliatorius tiesiog ignoruoja šį šablono pavyzdį sprendžiant arba specializacijoje.

Ši taisyklė naudojama metaprogramavimui kompiliacijos etape, leidžiant kurti šablonus, kurių elgesys priklauso nuo argumentų savybių.

SFINAE taikymo pavyzdžiai:

• Pasirinkimas tarp perkrautų funkcijų arba šablono klasių specializacijų, priklausomai nuo tam tikrų narių ar palaikomų operacijų buvimo.
• Konceptų (iki C++20, kai pasirodė aiškūs konceptai) įgyvendinimas tipų apribojimui.
• Tipų savybių (type traits) kūrimas.

Pavyzdys, kaip naudoti SFINAE su std::enable_if:

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

// Šablono funkcija, kuri kompiliuojasi tik sveikųjų tipų atvejais
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_if_integral(T value) {
    std::cout << "Sveikasis tipas: " << value << std::endl;
}

// Šablono funkcija, kuri kompiliuojasi tik slankiojo taško tipų atvejais
template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
print_if_floating_point(T value) {
    std::cout << "Slankiojo taško tipas: " << value << std::endl;
}

int main() {
    print_if_integral(5);       // Iškvies pirmą funkciją
    print_if_floating_point(3.14); // Iškvies antrą funkciją
    // print_if_integral("labas"); // Klaida – įterpimas nepavyko, funkcijos ignoruojamos

    return 0;
}

Šiame pavyzdyje std::enable_if naudojamas kaip grąžinimo tipas. Jei sąlyga std::is_integral<T>::value yra teisinga, std::enable_if suteikia tipą void. Jei sąlyga yra klaidinga, std::enable_if nesuteikia type narės, kas sukelia įterpimo nesėkmę funkcijos paraše, ir kompiliatorius ignoruoja šią specializaciją.