Hardconstexprconstevalc++20
В чём разница между constexpr и consteval?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
constexpr-функция может выполняться и во время компиляции, и в рантайме (зависит от аргументов). consteval (C++20) — immediate function, обязана выполняться только во время компиляции; вызов с runtime-аргументами — ошибка.
constexpr int square(int x) { return x * x; } // compile или runtime
consteval int hash_compile(const char* s) { /* ... */ } // только compile
static_assert(square(5) == 25); // OK
int n = square(std::rand()); // OK — runtime
// int h = hash_compile(runtimeStr);// ОШИБКА — нужен compile-time аргумент
constexpr uint32_t h = hash_compile("literal"); // OKconsteval — гарантия компайл-тайм: для генерации таблиц, compile-time хеширования строк, статических assert-подобных проверок.
constinit (C++20) — для static-переменных, гарантирует constant initialization (не dynamic), но не делает их const.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.