C++ 返回區域變數位址的陷阱與正確替代方案

C++ 函式返回區域變數位址是經典錯誤，導致未定義行為與難以重現的崩潰。本文剖析錯誤成因、實測驗證，並提供多種安全替代模式。

錯誤程式碼示範

char* Func_Error() {
    char str[30] = "Bruce";  // 區域陣列，儲存於堆疊
    cout << "str: " << str << endl;
    return str;  // 錯誤：返回區域變數位址
}

為何會失效？

• 區域變數儲存於**堆疊**，函式返回時堆疊幀彈出，記憶體被標記為可重用。
• 返回的指標指向已釋放的記憶體區域（懸空指標）。
• 後續函式呼叫、中斷處理等可能覆寫該記憶體，導致讀取垃圾值或崩潰。

實測驗證

#include <iostream>
#include <cstring>
using namespace std;

const char* testValue = "BruceZhang";
char gstr[30] = {0};  // 全域變數，靜態儲存區

char* Func_Bad() {
    char str[30] = "Bruce";
    cout << "str: " << str << endl;
    return str;  // 危險！
}

char* Func_Good() {
    strcpy(gstr, testValue);  // 複製至全域緩衝區
    cout << "gstr: " << gstr << endl;
    return gstr;  // 安全：全域變數生命週期贏過程式
}

int main() {
    char* bad = Func_Bad();
    char* good = Func_Good();

    cout << "bad: " << bad << endl;   // 輸出亂碼
    cout << "good: " << good << endl;  // 正常輸出
    return 0;
}

五種安全替代方案

最佳實踐建議

1. 優先使用 std::string、std::vector 等 RAII 容器。
2. 介面設計避免裸指標所有權轉移，改用參考或智慧指標。
3. 啟用編譯器警告：-Wreturn-local-addr (GCC/Clang) 或 /W4 (MSVC)。
4. 使用靜態分析工具（Cppcheck、Clang Static Analyzer）偵測此類問題。