Šta je SFINAE (Substitution Failure Is Not An Error) u C++?

SFINAE (Substitution Failure Is Not An Error) — ово је правило у C++-у које каже да ако компајлер покуша да замени аргументе шаблона у сигнатури функције или класе, а та замена доведе до некоректног кода (на пример, покушај коришћења члана који не постоји за тај тип), то се не сматра грешком компилације одмах. Уместо тога, компајлер једноставно игнорише ту инстанцу шаблона приликом решавања пренаглашавања или специјализација.

Ово правило се користи за метапрограмирање у време компилације, омогућавајући креирање шаблона чије понашање зависи од својстава аргумената шаблона.

Примери примене SFINAE:

• Избор између пренаглашених функција или специјализација шаблона класа у зависности од присуства одређених чланова или подржаних операција.
• Имплементација концепата (пре C++20, када су се појавили јасни концепти) за ограничење типова шаблона.
• Креирање 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, што доводи до неуспеха у замени у сигнатури функције, и компајлер игнорише ту специјализацију.