C 庫函數深度解析：strcat 實現陷阱與標準庫設計智慧

編輯：關於C語言

從手寫 strcat 看 C 字符串操作本質

`strcat` 看似簡單，實則蘊含 C 指針操作、內存佈局、函數契約設計的核心智慧。本文通過分析 3 種手寫實現，揭示常見陷阱，對比標準庫設計哲學。

三種手寫實現碼審

版本一：for + while 混合

char* strcat1(char* to, char* from) {
    char* save = to;
    for (; *save; save++);          // 1. 找到 to 末尾 \0
    while ((*save++ = *from++) != '\0'); // 2. 複製 from 含 \0
    return to; // 關鍵：返回目標起始地址
}

版本二：雙 for 循環

char* strcat2(char* to, char* from) {
    char* save = to;
    for (; *save; save++);          // 找尾
    for (; (*save = *from) != '\0'; save++, from++); // 複製
    return to;
}

版本三：雙 while 循環

char* strcat3(char* to, char* from) {
    char* save = to;
    while (*save) save++;           // 找尾
    while ((*save++ = *from++) != '\0'); // 複製
    return to;
}

關鍵測試：未初始化數組的災難

char c[20] = {0}; // 正確：全零初始化，c[0]=='\0'
char c[20];       // 錯誤：棧上垃圾值，c[0] 可能非 '\0'

strcat3(c, "Hello"); // 若 c[0]!='\0'，找尾循環越界訪問，導致 UB、崩潰或靜默錯誤

教訓：**C 中局部數組/結構體必須顯式初始化**（`= {0}` 或 `memset`），否則行為未定義。

三大核心陷阱深度剖析

陷阱一：`while(save) save++;` 能否改為 `while(save++);`？

不能！

`while(*save) save++;`：檢查 `*save`，**非零才移動**，零時停在 `\0` 位置
`while(*save++);`：**無條件移動**，檢查完當前字符後指針已指向下一個，循環結束時 `save` 指向 `\0` **之後**的位置

結果：複製起始位置偏移一字節，導致字符串內容錯誤、長度計算錯誤、甚至緩衝區溢出。

陷阱二：返回值設計 — 為什麼返回 `to` 而非 `save`？

// 錯誤返回
return save; // 指向結果字符串末尾的 \0 之後

// 標準返回
return to;   // 指向目標字符串起始地址

設計意圖：支持鏈式調用

// 鏈式構建字符串
strcpy(buf, strcat(strcat(strcat(buf, "prefix_"), name), "_suffix"));
// 等價於
strcpy(buf, "prefix_");
strcat(buf, name);
strcat(buf, "_suffix");

若返回末尾指針，鏈式調用將失敗。這是 C 標準庫函數**統一返回目標起始地址**的慣例（`strcpy`、`strcat`、`sprintf` 等）。

陷阱三：指針聲明風格 — `char p` vs `char p` vs `char * p`

char *p;    // K&R 風格：強調 * 綁定變量 p，p 是指針
char* p;    // C++ 風格：強調類型是 char*，但易誤導：char* p, q; → q 是 char 非指針
char * p;   // 折中風格

最佳實踐：

C 代碼：用 `char *p`（K&R / Linux 內核風格）
C++ 代碼：用 `char* p` 配合 `using Ptr = char*` 別名，或直接用 `std::string` 避免裸指針
**一行只聲明一個指針變量**，消除歧義

標準庫實現參考 (glibc 簡化版)

char *strcat(char *dest, const char *src) {
    char *save = dest;
    for (; *dest; ++dest);           // 找尾
    while ((*dest++ = *src++) != '\0'); // 複製含 \0
    return save;                     // 返回起始地址
}

關鍵差異：

參數 `const char *src`：源字符串只讀，防止誤修改，支持字符串字面量傳入
無中間變量 `save` 重賦值：直接用 `dest` 遍歷，最後返回保存的 `save`
前綴 `++dest`：微優化，避免臨時變量

工程級安全版本：`strncat` / `strlcat`

// 標準 C：strncat — 但不保證結果以 \0 結尾（若 src 過長）
char *strncat(char *dest, const char *src, size_t n);

// BSD 擴展：strlcat — 保證 \0 結尾，返回嘗試創建的總長度
size_t strlcat(char *dest, const char *src, size_t size);

// 現代 C++：直接用 std::string
std::string s = "Hello";
s += " World"; // 安全、無長度限制、自動內存管理