C 語言 const 指標技巧：返回指標函數的只讀保護機制

問題背景：誰擁有修改權？

在 C 語言中，函數返回指標 (T*) 是常見模式：字符串字面量、單例對象、靜態緩衝區、查找表等。但一個關鍵問題常被忽視：調用方是否應被允許修改指向的內容？

若函數實現方返回內部靜態變量或只讀數據區地址，而調用方意外寫入，將導致：

• 運行時崩潰 (寫入只讀段 .rdata/.text)
• 邏輯錯誤污染全局狀態 (修改單例/緩存)
• 多線程競態條件

編譯器無法自動阻止這類錯誤 —— 除非我們在類型系統中引入 const 約束。

核心方案：返回「指向 const 的指標」

/* 正確模式：返回類型為 const int* */
const int* GetConfigValue(int key)
{
    static const int configTable[] = { 100, 200, 300 }; // 僅讀數據
    if (key >= 0 && key < 3)
        return &configTable[key];
    return NULL;
}

/* 調用方 */
void UseConfig()
{
    const int* pVal = GetConfigValue(1); // 編譯器強制 pVal 為 const int*
    // *pVal = 999;  // ❌ 編譯錯誤: assignment of read-only location
    printf("Value: %d\n", *pVal);        // ✅ 僅讀取合法
}

錯誤示範與編譯器診斷

/* 錯誤代碼：試圖通過非 const 指標修改只讀數據 */
int* GetConfigValue_Bad(int key)  // 返回非 const 指標
{
    static const int configTable[] = { 100, 200, 300 };
    return (int*)&configTable[key]; // 強制轉型掩蓋 const (極度危險)
}

void CrashDemo()
{
    int* p = GetConfigValue_Bad(0);
    *p = 999; // 編譯器不報錯，但運行時觸發 Access Violation (Windows) / SIGSEGV (Linux)
}

MSVC 錯誤示例 (正確模式下)：

error C3892: 'TestPointer' : you cannot assign to a variable that is const

進階場景：字符串字面量與 API 設計

1. 字符串常量返回

const char* GetErrorMsg(int code)
{
    static const char* msgs[] = {
        "Success",
        "Invalid Parameter",
        "Out of Memory"
    };
    return (code >= 0 && code < 3) ? msgs[code] : "Unknown Error";
}
// 調用方: const char* msg = GetErrorMsg(err); // 安全

2. 結構體只讀視圖

typedef struct { int id; const char* name; double score; } StudentRecord;

const StudentRecord* FindStudent(int id)
{
    static const StudentRecord db[] = {
        {1, "Alice", 92.5},
        {2, "Bob",   87.0}
    };
    for (size_t i=0; i