Можете объяснить, что означает термин SFINAE и как он используется в C++?

SFINAE (Substitution Failure Is Not An Error) — это идиома в C++, которая позволяет выбирать перегрузки функций или специализации шаблонов на этапе компиляции, основываясь на свойствах типов.

Суть в том, что если при подстановке типа в шаблон возникает ошибка, компилятор не выдает ошибку, а просто исключает этот вариант из набора возможных перегрузок.

Это широко используется для реализации шаблонной метапрограммирования, например, для проверки наличия методов или типов у переданных шаблонных параметров.

Пример:

#include <type_traits>

// Функция вызывается, если T имеет метод size()
template<typename T>
auto func(T t) -> decltype(t.size(), void()) {
    // Реализация для типов с size()
}

// Запасной вариант для остальных типов
template<typename T>
void func(...) {
    // Реализация для остальных
}

Здесь decltype(t.size(), void()) пытается получить тип выражения t.size(). Если у типа T нет метода size(), подстановка неудачна, и этот шаблон исключается, выбирается вторая версия функции.