C 語言字符串拷貝：strcpy 實現原理與指針陷阱

經典 strcpy 實現分析

char *strcpy(char *strDest, const char *strSrc) {
    assert((strDest != NULL) && (strSrc != NULL));
    char *address = strDest;
    while ((*strDest++ = *strSrc++) != '\0');
    return address;
}

核心邏輯解析

1. 保存目標起始地址：address = strDest，因為後續循環會移動 strDest 指針。
2. 逐字符拷貝：*strDest++ = *strSrc++ 同時完成賦值、指針後移、判斷是否為結束符 '\0'。
3. 返回原始地址：循環結束時 strDest 已指向字符串末尾，必須返回保存的 address 以便鏈式調用。

常見誤區

• 忘記保存起始地址：直接返回 strDest 會導致調用者得到字符串末尾地址，而非開頭。
• 忽略空指針檢查：生產代碼必須斷言或判斷 NULL。
• 目標緩衝區溢出：標準 strcpy 不檢查長度，建議使用 strncpy 或 strlcpy。

內存模型圖解

strSrc:  [H][e][l][l][o][\0]
           ↑
strDest: [ ][ ][ ][ ][ ][ ]
           ↑
address 保存此處

循環結束後，strDest 指向 \0 後一位，address 仍指向首字符。

標準庫實現差異

現代 libc 多使用向量化指令（SSE/AVX）按塊拷貝，並處理對齊優化，但邏輯核心一致。