C語言返回數組的正確姿勢：靜態、動態分配與內存區解析

核心結論

C 語言不能直接返回局部數組（棧上分配，函數結束即銷毀）。正確做法有三種：

1. 返回靜態數組（static，位於全局/靜態區）。
2. 返回動態分配內存（malloc/new，位於堆區，調用者負責 free）。
3. 由調用者傳入緩衝區指針（輸出參數模式）。

錯誤示範：返回局部數組

[cpp]
char* str() {
    char str2[10] = "askdfjk"; // 棧上
    return str2;               // 返回棧地址，調用後內容不可預期
}

反汇编顯示：函數返回 lea -10(%ebp), %eax，指向已銷毀的棧幀。

正確示範一：靜態數組

[cpp]
char* str() {
    static char str2[10] = "askdfjk"; // 靜態區，生命周期贯穿整個程序
    return str2;
}

正確示範二：動態分配

[cpp]
char* str() {
    char *str2 = malloc(10 * sizeof(*str2));
    strcpy(str2, "ababab"); // 必須逐字符拷貝或用 strcpy
    return str2;            // 堆內存不會自動釋放
}

int main() {
    char *p = str();
    printf("%s", p);
    free(p); // 必須手動釋放
    return 0;
}

注意：str2 = "ababab"; 會導致內存洩漏（丟失 malloc 的地址），必須用 strcpy 或逐字符賦值。

程序內存區域速查

為什麼「前面一段固定、後面亂碼」？

編譯器生成的代碼段固定，棧幀佈局固定；返回的棧地址指向舊棧幀，其內容隨後續函數調用被覆寫，前部恰好未被覆蓋，故顯示「固定前綴 + 隨機後綴」。

最佳實踐建議

• 優先使用「調用者分配緩衝區」模式：void func(char *buf, size_t len)。
• 若必須返回指針，文檔明確標註「調用者負責 free」。
• 嚴禁返回局部數組/局部變量地址。