Hardsfinaeexpression
Что такое expression SFINAE?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Expression SFINAE (C++11) — разрешает invalid expressions в immediate context давать substitution failure, а не ошибку компиляции.
// Если у T нет foo(), decltype даёт substitution failure,
// перегрузка тихо отбрасывается
template<typename T>
auto f(T t) -> decltype(t.foo(), void()) {
t.foo();
}
// Работает и со сложными выражениями
template<typename T>
auto size(const T& c) -> decltype(c.size()) {
return c.size();
}Главное правило: substitution failure должен быть в immediate context (в сигнатуре), а не внутри тела функции или глубоко в инстанцировании — там это hard error. С concepts (C++20) большинство случаев переписываются через requires.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.