从正确性/UB角度，static const是否比static更优或必要？

我正在编写一个枚举转字符串的函数：

static const char *fooname(enum Foo f) {
        /* assumes f is a valid Foo enum */
        static const char *names[] = {
                [FOO1]="a foo", [FOO2]="another foo", [FOO3]="foo the third",
        };
        return names[f];
}

我对static的理解是：

• 相比全局声明names[]，它限制了作用域；
• 必须使用它，否则返回的指针会指向栈变量。

但我添加了const后，不确定是否必须将names声明为static const来避免未定义行为（UB）或保证正确性。

再举一个涉及简单整数的例子：

int myfn(int i) {
        /* assumes i is a valid index*/
        static const int map[] = {24, 45, 56};
        return map[i];
}

这里我使用static是因为无需每次重新创建map。

我的核心问题是：我认为将变量声明为const更多是风格问题，但如果不想使用const，在这些static的特殊场景中是否必须使用，还是和大多数情况一样可选？（我知道指针参数应声明为const）

核心结论 #

在你给出的这两个场景中，const不是必须的——它既不会影响程序的正确性，也不会引发未定义行为，本质上和普通场景一样是可选的，但它有非常实用的价值。

具体分析 #

1. static的作用与const无关
   你对static的理解是准确的：它把变量的存储期改为静态（程序生命周期内存在），同时限制作用域在当前函数/文件内。无论有没有const，static的这两个特性都不会改变——就算去掉const，names和map依然是静态存储的变量，不会变成栈变量，返回指针也不会有问题。

2. const的实际价值
   虽然不是必须，但const的作用远不止风格：

   • 编译器检查：如果不小心写了修改names或map的代码（比如names[FOO1] = "bar"），编译器会直接报错，避免误修改静态变量引发的隐蔽bug；
   • 语义明确：告诉阅读代码的人，这个变量是只读的，不需要考虑它被修改的情况，提升代码可读性；
   • 优化潜力：编译器可以针对const静态变量做额外优化（比如把数据放到只读内存段，减少内存写入操作，甚至直接在编译期计算取值）。

3. 关于未定义行为
   只要你不修改这些静态变量，有没有const都不会触发UB。但如果去掉const后，你不小心修改了它们（比如在函数内修改map[i]），这本身是合法的C代码，只是可能不符合你的设计意图——而const就是用来阻止这种误操作的。

总结 #

const在这些场景中是可选的，但强烈建议保留：它没有任何副作用，还能帮你避免bug、提升代码质量。如果确实有修改静态变量的需求（比如需要动态初始化后不再修改），那可以去掉const；但如果变量从始至终都不会被修改，static const是最优写法。

内容的提问来源于stack exchange，提问作者You'reNotARobot