C语言：所有字符串字面量都有静态存储期吗？两函数返回差异解惑

咱们一步一步把你的疑问拆解清楚：

1. f1() 和 f2() 的核心差异 #

先看两个函数的本质：

• f1() 的情况：return "hello"; 里的 "hello" 是字符串字面量，C标准规定它拥有静态存储期——简单说就是，这个字符串在程序启动时就被加载到内存的只读数据区域（比如常见的.rodata段），从程序运行到结束，这块内存一直有效。所以返回它的地址是完全安全的，调用者拿到的是一个始终有效的指针，编译器当然不会报错。
• f2() 的情况：char str[] = "hello"; 这句代码不是让str指向原字面量，而是把"hello"的内容复制到了一个栈上的局部数组str里。这个str属于自动存储期的变量，它的生命周期只限于f2()函数执行期间——函数执行完毕，栈帧被销毁，str占用的内存会被系统回收或重新分配。此时返回str的地址，调用者拿到的是一个已经失效的“野指针”，这属于严重的未定义行为，所以编译器会主动报错提醒你“返回栈分配的数据”。

2. 你的几个具体疑问解答 #

为什么str不是指向静态字面量？ #

你这里可能混淆了两种字符串的声明方式：

• 如果写char *str = "hello";，那str是一个指针，指向静态存储的字面量"hello"；
• 但char str[] = "hello";是数组初始化，它会在栈上开辟一块6字节的空间（包含末尾的\0），然后把字面量"hello"的内容复制进去。这时候str是数组名，代表栈上数组的首地址，和原字面量没有直接关联。

被复制后的原字面量去哪了？会无引用留存吗？ #

原字符串字面量依然待在静态存储区，不会因为被复制就消失。哪怕没有任何指针直接指向它，它也会一直存在到程序结束——因为编译器在编译阶段就把它写入了可执行文件的只读数据段，程序启动时就会加载这块内存。当然，有些编译器如果检测到这个字面量除了被复制之外没有其他用途，可能会做优化把它从最终的可执行文件中移除，但这是编译器的优化行为，C标准并没有强制要求。

所有字符串字面量都具备静态存储期吗？ #

没错！根据C语言标准，所有字符串字面量都拥有静态存储期，不管它们定义在函数内部还是全局作用域。比如你在函数里写printf("Hi there!");，这个"Hi there!"同样是静态存储的，不会因为在函数内部就变成栈上的临时变量。

额外小提示 #

字符串字面量是只读的，虽然C语言允许用char*指向它，但更规范的写法是用const char*，比如把f1()改成：

const char *f1() { return "hello"; }

这样可以避免不小心修改字面量（修改字符串字面量属于未定义行为，可能导致程序崩溃或其他奇怪问题）。

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