C语言中int*类型函数能否返回int类型变量的地址？

从C语言语法规则层面看，int*类型的函数语法上允许返回int类型变量的地址，给出的示例代码不会触发编译阶段的语法错误，多数编译器仅会抛出警告，但这段代码存在严重的逻辑错误，属于典型的未定义行为，完全无法保证运行结果符合预期，禁止在实际开发中使用。

• 示例中的变量a是函数内部定义的自动存储期局部变量，这类变量的内存分配在进程栈空间上，生命周期和函数执行周期完全绑定：一旦函数执行完毕返回调用方，a对应的栈内存就会被系统自动回收，标记为可被后续函数调用、栈操作覆写的状态，原变量已经不复存在。
• 函数返回的&a是典型的悬垂指针（野指针）：调用方拿到这个指针值时，指针指向的内存已经不属于原变量a，后续如果对这个指针做解引用读写，可能读到随机脏数据，可能篡改到其他栈变量的值，甚至直接触发内存访问错误导致程序崩溃，运行结果没有任何确定性。
• 这里需要明确区分语法合规和逻辑合规：C语言语法确实规定int*类型指针可以存储int变量的地址，也没有在语法层面禁止返回局部变量的地址，但语法放行不代表代码逻辑正确，这类问题属于编译期很难完全拦截的运行时逻辑错误。

如果确实需要函数返回int类型指针，可以根据场景选择以下两种合规实现：

1. 返回静态存储区变量的地址

int* function() {
    // static修饰的局部变量存储在静态存储区，整个程序运行周期内都有效
    static int a = 4;
    return &a;
}

2. 返回堆上动态分配的内存地址

#include <stdlib.h>
int* function() {
    int* a = (int*)malloc(sizeof(int));
    *a = 4;
    // 动态分配的堆内存不会随函数返回自动回收，手动调用free前一直有效
    return a;
}

注意：第二种写法返回的堆内存指针，需要调用方在使用完成后手动调用free()释放，否则会造成内存泄漏。

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