Hardsfinae
Что такое SFINAE?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
SFINAE (Substitution Failure Is Not An Error) — если подстановка шаблонных аргументов даёт невалидный тип, перегрузка тихо отбрасывается, а не вызывает ошибку компиляции.
// Существует только если у T есть метод foo()
template<typename T>
auto f(T t) -> decltype(t.foo(), void()) {
t.foo();
}
// Для T без foo() — SFINAE отбрасывает перегрузку,
// используется запасной вариант
template<typename T>
void f(T t) { /* fallback */ }С C++14 появились std::enable_if и _t/_v сокращения. С C++20 concepts дают тот же результат, но с понятными сообщениями об ошибках:
template<std::integral T> T f(T x); // concept вместо SFINAE3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.