Ի՞նչ է SFINAE (Substitution Failure Is Not An Error) C++-ում։

SFINAE (Substitution Failure Is Not An Error) — դա C++-ի կանոն է, որը ասում է, որ եթե կոմպիլյատորը փորձում է փոխարինել տիպային արգումենտները ֆունկցիայի կամ դասի սիգնատուրայում, և այդ փոխարինումը հանգեցնում է սխալի (օրինակ, փորձ է կատարվում օգտագործել անդամ, որը գոյություն չունի տվյալ տիպի համար), դա անմիջապես սխալ չի համարվում։ Փոխարենը, կոմպիլյատորը պարզապես անտեսում է այդ օրինակն ու շարունակում է։

Այս կանոնը օգտագործվում է մետապրոգրամավորման համար կոմպիլյացիայի փուլում, թույլ տալով ստեղծել տիպային պլաններ, որոնց վարքագիծը կախված է տիպային արգումենտների հատկություններից։

Օգտագործման օրինակներ SFINAE-ի:

• Ընտրություն՝ տարբեր բեռնված ֆունկցիաների կամ դասի տիպերի մասնագիտացումների միջև՝ կախված որոշ անդամների կամ աջակցվող գործողությունների առկայությունից։
• Կոնցեպտների իրականացում (C++20-ից առաջ, երբ հայտնվեցին հստակ կոնցեպտներ)՝ տիպերի սահմանափակման համար։
• Տիպային հատկությունների (type traits) ստեղծում։

Օրինակ՝ SFINAE-ի օգտագործում std::enable_if-ի հետ՝

#include <iostream>
#include <type_traits> // std::enable_if-ի համար

// Ֆունկցիայի պլան, որը միայն ամբողջ թվային տիպերի համար է
template <typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
print_if_integral(T value) {
    std::cout << "Ամբողջ թվային տիպը՝ " << value << std::endl;
}

// Ֆունկցիայի պլան, որը միայն տիպերի՝ տատանվող կետային համար է
template <typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
print_if_floating_point(T value) {
    std::cout << "Տատանվող կետային տիպը՝ " << value << std::endl;
}

int main() {
    print_if_integral(5);       // Կշարունակվի առաջին ֆունկցիան
    print_if_floating_point(3.14); // Կշարունակվի երկրորդ ֆունկցիան
    // print_if_integral("հելո") // Սխալ՝ փոխարինումը ձախողվեց, ֆունկցիաները անտեսվում են

    return 0;
}

Այս օրինակով std::enable_if-ը օգտագործվում է որպես վերադարձվող տիպ։ Եթե պայմանը std::is_integral<T>::value ճիշտ է, ապա std::enable_if-ը տրամադրում է void տիպը։ Եթե պայմանը սխալ է, ապա std::enable_if-ը չի տրամադրում type անդամը, ինչը հանգեցնում է փոխարինման ձախողման սիգնատուրայում, և կոմպիլյատորը անտեսում է այդ մասնագիտացումը։