常量表达式优化：可以在编译时确定字符串长度吗？

在优化代码的过程中，开发人员尝试计算使用递归函数在编译时计算字符串文字的长度。此函数逐字符计算字符串并返回长度。

初始观察：

该函数似乎按预期工作，在运行时返回正确的长度并生成表明计算发生在编译时的汇编代码。这就提出了一个问题：

是否保证length函数会在编译时执行？

标准的视角：

C 标准并未明确要求在编译时对常量表达式进行求值。然而，非规范注释表明了这种可能性。

强制编译时执行：

为了确保编译时评估，可以将函数分配给 constexpr多变的。根据 C 11 指南，标记变量 constexpr 需要在编译时对其求值。

其他注意事项：

Bjarne Stroustrup，C 的创建者，总结了以下条件：编译时评估为：

1. 常量表达式要求： 用于需要常量表达式的位置（例如，数组边界、大小写标签）。
2. constexpr 的初始化： 当函数用于初始化 constexpr 变量时。

结论：

虽然没有明确说明通过利用常量表达式或初始化 constexpr 变量，可以保证 constexpr 函数的标准编译时计算。这为在编译时优化字符串和其他计算提供了可能性，从而实现更高效的代码执行。