38、悬挂指针：返回局部变量地址的陷阱

悬挂指针，说白了就是指针指向了一块已经失效的内存。

我见过太多新手在这个坑里摔跟头了。我自己刚入行那会儿，也犯过同样的错误。今天咱们就好好聊聊这个经典陷阱——返回局部变量的地址。

什么是悬挂指针？

先看一个最典型的例子：

int* getValue() {
    int a = 100;
    return &a;  // 返回局部变量的地址
}

void test() {
    int* p = getValue();
    printf("%d\n", *p);  // 危险！a已经被销毁
}

这段代码有什么问题？

函数 getValue 里的变量 a，是分配在栈上的局部变量。函数执行完毕后，这块栈内存就被回收了。你拿着它的地址去访问，说白了就是非法访问。

为什么编译器不报错？

你可能会问：编译器为什么不直接报个错？

嗯，这里要注意。C语言标准把这种行为定义为“未定义行为”。编译器不强制检查，因为检查起来代价太高。很多编译器只会给个警告，比如 GCC 会提示：

warning: function returns address of local variable [-Wreturn-local-addr]

我个人习惯是把警告当错误处理。在项目中，我会加上 -Werror 编译选项，让这类警告直接变成编译错误。

我踩过的坑

我在项目中遇到过这样一个案例：

typedef struct {
    int id;
    char name[32];
} User;

User* createUser(int id, const char* name) {
    User u;
    u.id = id;
    strcpy(u.name, name);
    return &u;  // 经典错误
}

这段代码看起来挺合理吧？创建一个用户，返回它的指针。但问题就出在 User u 是局部变量。函数返回后，这块内存就被回收了。

当时测试的时候，偶尔能跑对，偶尔就崩溃。你想想看，这种偶发性的bug最难排查了。我花了整整两天才定位到这个问题。

正确的做法

那应该怎么写？有三种常见方案：

方案	代码示例	优缺点
1. 动态分配	int* p = malloc(sizeof(int));	灵活，但需要手动释放
2. 传入指针参数	void getValue(int* out)	调用者管理内存，更安全
3. 返回静态变量	static int a; return &a;	简单，但线程不安全

我个人最推荐第二种方案。来看个例子：

// 推荐写法：传入指针参数
void getValue(int* out) {
    *out = 100;
}

// 调用方
int main() {
    int val;
    getValue(&val);
    printf("%d\n", val);  // 安全
    return 0;
}

这种写法，内存由调用方管理。谁分配，谁释放，责任清晰。

动态分配的注意事项

如果非要用动态分配，记住三点：

1. 分配后检查 NULL：malloc 可能失败
2. 用完后及时 free：避免内存泄漏
3. free 后置 NULL：防止二次释放

int* getValue() {
    int* p = (int*)malloc(sizeof(int));
    if (p == NULL) {
        return NULL;  // 分配失败
    }
    *p = 100;
    return p;
}

void test() {
    int* p = getValue();
    if (p != NULL) {
        printf("%d\n", *p);
        free(p);
        p = NULL;  // 好习惯
    }
}

静态变量的坑

第三种方案，返回静态变量，也有它的陷阱：

int* getValue() {
    static int a = 100;
    return &a;
}

这样做，a 的生命周期是整个程序运行期间。但问题来了：

• 多线程环境下，多个线程同时访问同一个静态变量，会有竞态条件
• 多次调用返回同一个地址，后一次调用会覆盖前一次的值

我曾经在一个多线程项目里用过这个方案，结果数据全乱了。从那以后，我再也不敢在多线程代码里用静态变量返回地址了。

知识体系图

下面这张图总结了悬挂指针的核心逻辑：

避坑指南

几个实用建议：

• 函数注释里写明内存所有权：比如“调用者负责释放返回的指针”
• 开启编译器警告：-Wreturn-local-addr 或 -Werror
• 代码审查时重点检查：返回指针的函数，确认指向的内存生命周期
• 使用静态分析工具：比如 Coverity、PVS-Studio 能检测这类问题

好了，关于悬挂指针就聊这么多。记住一句话：栈上的东西，出了函数就没了。你拿着它的地址到处跑，迟早要出事。

---

公众号:蓝海资料掘金营，微信deep3321