Mediumc++17if-constexpr
Что такое if constexpr и чем он отличается от обычного if?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
if constexpr (C++17) — условие, проверяемое на этапе компиляции. Невыбранную ветвь компилятор не компилирует, что критично в шаблонах. Обычный if проверяет обе ветви.
template<typename T>
auto get_value(T x) {
if constexpr (std::is_integral_v<T>)
return x + 1; // компилируется только для int и т.п.
else
return x.foo(); // не компилируется для int — ошибки нет!
}Условие должно быть constexpr-выражением типа bool. С обычным if код выше не скомпилировался бы для T=int (метода .foo() нет). if constexpr сильно упрощает метапрограммирование, заменяя SFINAE и tag dispatch во многих случаях.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.