您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C >> 關於C

C語言指針陷阱：函數返回局部變量地址導致的未定義行為分析

編輯：關於C

問題代碼還原


struct A { int a; char b; };
struct B { struct A *n; };

struct B *new_B() {
    struct A t = { 100, 'c' };  // 局部變量，棧上分配
    struct B *p = malloc(sizeof(struct B));
    p->n = &t;  // 保存局部變量地址！
    return p;
}

int main() {
    struct B *p = new_B();
    printf("%d, %c\n", p->n->a, p->n->b);  // 偶爾輸出正確
    free(p);
    return 0;
}

現象解釋

觀察到輸出正確 ≠ 代碼正確。這是典型的未定義行為（Undefined Behavior, UB）：

t 是 new_B 的局部變量，存儲在棧幀中
函數返回時，棧幀銷毀，內存標記為可復用
p->n 指向一塊已失效的棧內存（懸垂指針）
主函數讀取時，該內存恰好未被覆蓋，殘留舊值，僥倖輸出正確
任何後續函數調用、中斷、信號處理都可能覆蓋該區域，導致讀取垃圾值或崩潰

為什麼加上 `malloc` 就「能跑通」？


// 有 malloc
struct B *p = malloc(sizeof(struct B));  // p 在堆上，有效
p->n = &t;  // p->n 指向棧上已死的 t

// 無 malloc
struct B *p;  // p 未初始化，野指針
p->n = &t;    // 寫入隨機地址 → 立即崩潰

malloc 只保證 p 本身合法，無法延長 t 的生命周期。兩種情況本質都是 UB，只是崩潰時機不同。

正確解決方案對比

方案	代碼	優點	缺點
1. 動態分配結構體 A	`p->n = malloc(sizeof(struct A)); *p->n = t;`	生命周期可控，需手動 `free(p->n)`	兩次分配，兩次釋放
2. 結構體 B 內嵌結構體 A	`struct B { struct A n; };`	單次分配，無指針，自動釋放	結構體變大，不靈活
3. 傳入輸出參數	`void new_B(struct B *out) { out->n = malloc(...); }`	調用者控制內存	接口稍複雜

方案 1 完整代碼


struct B *new_B_fixed() {
    struct B *p = malloc(sizeof(struct B));
    if (!p) return NULL;

    p->n = malloc(sizeof(struct A));
    if (!p->n) { free(p); return NULL; }

    p->n->a = 100;
    p->n->b = 'c';
    return p;
}

void free_B(struct B *p) {
    if (p) {
        free(p->n);  // 先釋放內嵌指針
        free(p);     // 再釋放外層
    }
}

方案 2 完整代碼（推薦簡單場景）


struct B {
    struct A n;  // 直接內嵌，非指針
};

struct B *new_B_simple() {
    struct B *p = malloc(sizeof(struct B));
    if (p) {
        p->n.a = 100;
        p->n.b = 'c';
    }
    return p;
}
// 釋放只需 free(p)

核心原則：生命周期匹配

棧變量：生命周期綁定作用域，出作用域即銷毀
堆內存：生命周期綁定malloc/free，跨函數存活
指針：只是地址，**不擁有**指向對象的生命周期

鐵律：絕不返回局部變量地址（包括數組、結構體、字面量地址）。編譯器（GCC -Wreturn-local-addr、Clang、MSVC /W4）會發出警告，務必開啟並修復。

調試技巧：捕獲懸垂指針

AddressSanitizer (ASan)：-fsanitize=address 運行時精準報錯 heap-use-after-free / stack-use-after-scope
Valgrind：--tool=memcheck 檢測非法內存訪問
編譯器屬性：__attribute__((cleanup)) (GCC) 自動釋放