C函数返回指针：局部数组、字符串字面量与动态内存疑问解析

先补全你提到的三个函数的典型实现（原测试代码未给出），完整可运行代码如下：

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

char *f() {
    char p[] = "hello";
    return p;
}

char *g() {
    return "hello";
}

char *h() {
    char *p = malloc(6);
    if (p == NULL) {
        perror("malloc failed");
        exit(EXIT_FAILURE);
    }
    strcpy(p, "hello");
    return p;
}

int main(int argc, char *argv[]) {
   // 触发段错误
   printf("%s\n", f());
   // 正常运行
   printf("%s\n", g());
   char *h_ptr = h();
   printf("%s\n", h_ptr);
   free(h_ptr); // 手动回收堆内存，避免泄漏
}

下面逐个解答你的疑问：

1. 函数f()返回局部数组指针：悬垂指针与未定义行为 #

你的判断完全正确，这确实会产生悬垂指针。

• 局部数组p是分配在栈上的自动变量，当函数f()执行完毕返回时，对应的栈帧会被销毁，栈上的内存会被标记为可复用。此时返回的指针指向的内存已经不属于p，成为悬垂指针。
• 访问悬垂指针指向的内存属于未定义行为：可能触发段错误（内存被操作系统回收或标记为不可访问），也可能看似返回正确内容（内存还没被其他数据覆盖），但这种行为完全不可预测，绝对不能依赖。

2. 函数g()返回字符串字面量指针：合法且安全 #

这不是未定义行为，完全合法，核心原因是字符串字面量的存储特性：

• 字符串字面量（比如"hello"）会被编译器存储在程序的只读数据段（通常是.rodata段），这块内存的生命周期从程序启动到结束，不会随函数返回而销毁。
• 返回的指针指向的是这块永久存在的内存区域，所以调用时能正常访问，编译器也不会发出警告。
• 注意：字符串字面量是只读的，如果尝试修改它（比如*g() = 'H'），才会触发未定义行为（通常是段错误）。

3. 函数h()返回动态分配内存的指针：堆内存与手动管理 #

它和函数g()的核心区别体现在三个方面：

• 存储区域：malloc分配的内存位于堆上，而字符串字面量在只读数据段。栈内存由系统自动管理，堆内存则需要程序员手动控制。
• 可修改性：堆分配的内存是可读写的，你可以修改h()返回指针指向的内容（比如*h_ptr = 'H'），不会触发未定义行为；而字符串字面量不能修改。
• 内存管理：堆内存不会随函数返回自动释放，必须手动调用free()来回收，否则会造成内存泄漏；字符串字面量的内存由操作系统在程序结束时统一回收，不需要手动处理。

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