Считается что
constexpr — значит всё вычислится на этапе компиляции. Это заблуждение регулярно приводит к сюрпризам в production-коде.✏️ Что говорит стандарт
constexpr-функция обязана вычислиться в compile-time, если её результат используется там, где требуется константное выражение. Если же аргументы известны только в runtime — функция выполнится как обычная.constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
constexpr int a = factorial(5); // compile-time: аргумент константный
int n = 5;
int b = factorial(n); // runtime: n не константное выражение⚡️ Как гарантировать compile-time вычисление
Присвойте результат в constexpr-переменную или используйте как аргумент шаблона. Если компилятор не ругается — вычислилось в compile-time. static_assert тоже работает.
// Гарантированный compile-time:
constexpr int val = factorial(10); // ошибка компиляции, если невозможно
static_assert(factorial(5) == 120); // тоже гарантия
// НЕ гарантия по стандарту, но на практике
// все современные компиляторы вычислят в compile-time:
const int val2 = factorial(10); // GCC/Clang/MSVC → compile-time
Локальная constexpr-переменная не обязательно попадает в .rodata — она может быть оптимизирована в регистр или immediate-операнд. В .rodata она окажется только если берётся её адрес или она имеет статическую длительность хранения.
‼️ std::is_constant_evaluated() (C++20) и if consteval (C++23)
Позволяют внутри функции понять, в каком контексте она выполняется, и разветвить логику. Но у
std::is_constant_evaluated() есть классическая ловушка:// Ловушка: b всегда будет true — is_constant_evaluated()
// смотрит на контекст инициализации самой переменной b
constexpr bool trap() {
return std::is_constant_evaluated();
}
// if consteval лишён этой проблемы — это языковая конструкция:
constexpr double sqrt_impl(double x) {
if consteval {
// compile-time версия (метод Ньютона и т.д.)
return newton_sqrt(x);
} else {
return std::sqrt(x); // runtime — используем либо
}
}
🐸 Вывод
Хочешь гарантии compile-time — используй consteval (C++20). Он запрещает вызов функции в runtime-контексте и даёт ошибку компиляции. А constinit (C++20) пригодится, когда нужна гарантия инициализации в compile-time, но переменная не должна быть const.
📍Навигация: Вакансии • Задачи • Собесы
Библиотека C/C++ разработчика
#под_капотом