Оптимизация константных выражений: можно ли определить длину строки во время компиляции?

В поисках оптимизации кода разработчик пытается вычислить длина строкового литерала во время компиляции с использованием рекурсивной функции. Эта функция оценивает строку посимвольно и возвращает длину.

Первоначальные наблюдения:

Похоже, что функция работает должным образом, возвращая правильную длину во время выполнения и генерируя ассемблерный код, который предполагает, что вычисления происходят во время компиляции. Возникает вопрос:

Гарантировано ли, что функция длины выполнится во время компиляции?

Перспектива стандарта:

Стандарт C не требует явного вычисления константных выражений во время компиляции. Однако ненормативное примечание предполагает такую ​​возможность.

Обеспечение выполнения во время компиляции:

Чтобы обеспечить оценку во время компиляции, функцию можно присвоить constexpr переменная. Согласно рекомендациям C 11, маркировка переменной constexpr требует ее оценки во время компиляции. оценка во время компиляции как:

Требование к постоянному выражению:

Инициализация constexpr:
1. Когда функция используется для инициализации переменной constexpr.
2. Вывод:
Хотя это явно не указано в стандартная оценка функций constexpr во время компиляции может быть гарантирована за счет использования константных выражений или инициализации переменных constexpr. Это открывает возможности для оптимизации строковых и других вычислений во время компиляции, обеспечивая более эффективное выполнение кода.