HardSFINAE
Что такое SFINAE и где применяется?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
SFINAE (Substitution Failure Is Not An Error) — ошибочная подстановка аргументов в непосредственном контексте не вызывает ошибку компиляции, а исключает перегрузку из кандидатов. Применяется для условного включения шаблонов.
// f доступна только для целых типов
template<class T,
class = std::enable_if_t<std::is_integral_v<T>>>
void f(T x);
// Проверка наличия члена через void_t
template<class T, class = void>
struct has_iterator : std::false_type {};
template<class T>
struct has_iterator<T, std::void_t<typename T::iterator>>
: std::true_type {};- Классические приёмы:
enable_if,void_t, type traits (is_class,is_base_of); - В C++20 SFINAE во многом вытеснен concepts — читаемее и понятные ошибки;
- SFINAE остаётся в legacy и сложных случаях.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.