C语言文件作用域初始化报错：字符串字面量为何不被视为常量？

这个问题的核心在于C语言对静态存储期变量（包括文件作用域变量和静态局部变量）初始化的严格规则，咱们一步步拆解清楚：

先看合法与非法的本质区别 #

你已经知道文件作用域变量不能用变量、函数初始化，但这里的关键是：不是所有“看起来像常量”的表达式都符合C标准定义的“常量表达式”。

• 对于unsigned long a = 's' > '0';：
  's'和'0'是字符常量，属于算术类型的编译期常量。它们的比较操作可以在编译阶段直接算出结果（'s'的ASCII值远大于'0'，结果为1），完全符合静态初始化对常量表达式的要求，所以编译器接受。

• 对于unsigned long a = "string"[0] > '0';：
  字符串字面量"string"确实是静态存储的常量数组，但"string"[0]等价于*(("string") + 0)——这是对数组元素的解引用操作。虽然这个值在编译期是确定的，但C标准明确规定：静态初始化的常量表达式不能包含数组元素的访问（左值转右值的操作），这类操作被归为“需要运行时求值”的范畴，哪怕结果固定。这就是编译器抛出error: initializer element is not constant的原因。

解决办法 #

根据你的需求，有两种实用方案：

方案1：直接用字符常量替换（最简单） #

既然"string"[0]就是's'，直接用字符常量代替即可，保持文件作用域初始化的写法：

#include <stdlib.h>
#include <stdio.h>
unsigned long a = 's' > '0';
int main(void) {
    printf("a = %lu\n",a);
    return 0;
}

方案2：运行时赋值（保留字符串字面量访问） #

如果必须通过字符串字面量的下标计算，那就把赋值逻辑移到函数内部（运行时执行）——自动变量的初始化不要求常量表达式，完全支持这类操作：

#include <stdlib.h>
#include <stdio.h>

unsigned long a; // 仅声明，不初始化

int main(void) {
    a = "string"[0] > '0'; // 运行时赋值，合法
    printf("a = %lu\n",a);
    return 0;
}

⚠️ 注意：如果a是静态局部变量，同样不能用"string"[0]初始化（静态局部变量也属于静态存储期），只能在函数内做运行时赋值。

内容的提问来源于stack exchange，提问作者G. Communithings