C 語言指針拼接字符串陷阱：字符串常量不可修改、必須用字符數組作目標緩衝區

經典錯誤：嘗試將字符串拼接到字符串常量指向的內存區，導致未定義行為 (段錯誤/運行時錯誤)。

錯誤代碼分析

char *a = "hello";   // a 指向只讀數據段中的 "hello\0"
char *b = "rabbit";  // b 指向只讀數據段中的 "rabbit\0"
strcat_(a, b);       // 嘗試寫入 a 指向的只讀內存 → 崩潰

記憶體佈局解析

正確實現：目標用字符數組

#include <stdio.h>
#include <string.h>

// 安全拼接：目標緩衝區需足夠大
void safe_strcat(char *dest, size_t dest_size, const char *src) {
    size_t dest_len = strlen(dest);
    if (dest_len + strlen(src) + 1 > dest_size) {
        fprintf(stderr, "緩衝區不足\n");
        return;
    }
    strcat(dest, src);  // 標準庫函數已處理 \0
}

int main() {
    char a[20] = "hello";   // ✅ 棧上字符數組，可寫，大小 20
    char *b = "rabbit";     // 源字符串常量無妨
    safe_strcat(a, sizeof(a), b);
    printf("拼接結果: %s\n", a);  // hello rabbit
    return 0;
}

手寫 strcat 實現 (教學用)

char* my_strcat(char *dest, const char *src) {
    char *d = dest;
    while (*d) d++;        // 移至 dest 末尾 \0
    while ((*d++ = *src++)); // 複製 src 含 \0
    return dest;
}

關鍵避坑清單

1. 目標緩衝區必須可寫：字符數組 `char buf[N]` 或 `malloc` 分配
2. 目標緩衝區必須足夠大：`strlen(dest) + strlen(src) + 1 ≤ size`
3. 源字符串可以是常量：`const char *src` 只讀無妨
4. 返回值習慣：返回 `dest` 便於鏈式調用
5. 生產代碼用標準庫：`strcat`/`strncat`/`strlcat` (BSD) 經過優化測試

編譯器輔助檢測

• GCC/Clang：`-Wwrite-strings` 將字符串常量類型視為 `const char*`，賦值給 `char*` 會警告
• C++ 編譯器：直接報錯 `invalid conversion from 'const char*' to 'char*'`
• 靜態分析工具：Cppcheck、Clang Static Analyzer 可檢測緩衝區溢出風險

1. 上一篇文章： C 語言三種循環求 2+4+6+...+100 偶數和：for、while、do-while 完整對比
2. 下一篇文章： 嚴禁提供木馬代碼：C 語言惡意代碼分析與防範、合法安全研究路徑

C 語言問答

C語言巨集定義：#define FORMAT 字串常數替換

#define 巨集替換機制 代碼片段： #define

C語言生成只有兩種結果的隨機數：0 或 1000

C語言生成二元隨機數的簡潔實現 在 C 語言開發中，有時需要

C語言鏈表最大值查找：FindMax 函數邏輯解析

單鏈表遍歷求最大值 函數簽名： int FindMax(s

C語言調試報錯「Debug」？常見原因與排查方法

現象 運行程式時彈出「Debug」提示，或進入調試器。 核心