为何全局常量字符数组的strlen是常量表达式，栈上的却不是？

这个问题的关键在于C标准对常量表达式的定义，以及全局变量和栈上自动变量在编译期确定性上的本质差异，咱们来详细拆解：

1. 常量表达式的核心要求 #

C标准规定，常量表达式必须是编译阶段就能确定最终值的表达式，完全不能依赖程序运行时的状态或计算。而strlen本身是一个运行时函数，但针对全局常量字符串，编译器能做特殊优化，让它的调用结果变成编译期常量。

2. 全局常量字符串的编译期确定性 #

当你把const char cs[] = "hello";定义在全局作用域时：

• 这个数组会被分配到程序的只读数据段（例如.rodata），它的内容、地址在编译链接阶段就完全固定下来了，不会随程序运行变化。
• GCC这类编译器会进行编译期求值优化：它可以直接解析字符串字面量的长度，把strlen(&cs)的调用直接替换成对应的常量数值（比如上面例子里的5），这样整个表达式就符合常量表达式的要求了。

3. 栈上常量字符串的局限 #

如果把数组定义在函数内部（栈上）：

• 栈上的自动变量是程序运行到函数执行时才分配内存的，哪怕它被const修饰，它的内存地址只有在运行时才能确定（比如现代系统的栈地址随机化机制，会让每次运行的栈地址都不一样）。
• 从C标准的角度，编译器无法保证栈上const数组的地址和内容在编译期是完全确定的，因此不能安全地将strlen的调用替换为编译期常量。此时strlen(&cs)只能是运行时计算的表达式，自然不符合常量表达式的要求，编译器就会抛出你看到的错误。

额外说明：GCC的扩展特性 #

其实严格来说，C标准并没有规定strlen的调用可以作为常量表达式——GCC对全局常量字符串的strlen优化是一个编译器扩展。因为全局字符串的存储和内容完全可控，编译器能安全地做这个替换；而栈上变量的运行时不确定性，让编译器不敢做这个优化，否则可能违反标准的语义规则。

内容的提问来源于stack exchange，提问作者SLN