Какво е SFINAE (Substitution Failure Is Not An Error) в 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, което води до неуспех при замяната в сигнатурата на функцията, и компилаторът игнорира тази специализация.