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