Easystatic-assert
Что такое static_assert с constexpr условием?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
`static_assert` проверяет условие на этапе компиляции. Если false — компиляция прерывается с сообщением (в C++17 сообщение опционально).
// Проверка платформенных assumptions
static_assert(sizeof(int) == 4, "32-bit int required");
// Проверка в шаблоне через type_traits
template<class T>
void process(T value) {
static_assert(std::is_integral_v<T>, "T must be integral");
static_assert(sizeof(T) <= 16);
/* ... */
}
// Compile-time проверка вычислений
constexpr int fib(int n) { /* ... */ }
static_assert(fib(10) == 55);Альтернатива с concepts (C++20) даёт более информативные ошибки: template<class T> requires std::integral<T>.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.