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