constexpr на функции только накладывает на её тело требования и помечает её как "возможную для выполнения на этапе компиляции". Компилятор может основываться на этом при оптимизации, но гарантированно вычисляет он только constexpr выражения.
а я правильно понимаю, что constexpr-контекст это такое место, что выдаст ошибку компиляции, если я уберу constexpr со своей функции?