Easyconstexprметапрограммирование
Что такое static_assert и для чего используется?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
`static_assert(cond, msg)` проверяет условие во время компиляции — если false, компиляция прерывается с сообщением msg. В C++17 сообщение стало опциональным.
template<class T>
void process() {
static_assert(sizeof(T) <= 16, "T too large");
static_assert(std::is_trivially_copyable_v<T>); // C++17, без сообщения
}- Используется для проверки ограничений шаблонов, свойств типов через type traits, версий и платформ;
- Ошибки ловятся на этапе сборки, а не в продакшене;
- Аналог в рантайме —
assert(), ноstatic_assertничего не стоит в рантайме.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.