C++中字符串拷貝函數strcpy的實現與優(yōu)化指南

更新時間：2026年05月13日 09:21:47 作者：sanqima

本文介紹了C++中字符串拷貝函數strcpy的基本用法及常見邊界條件,分析了不同版本的實現方式及其優(yōu)缺點,并提供了測試案例和使用場景建議,強調了安全性的重要性,需要的朋友可以參考下

空指針：dst或src為NULL時會觸發(fā)非法內存訪問。
內存重疊：dst和src的地址范圍存在重疊，從前向后拷貝會覆蓋尚未讀取的src內容。
空字符串：src僅包含’\0’，需保證拷貝后dst仍然是合法空串。
緩沖區(qū)溢出：dst空間不足導致拷貝越界，是嚴重的安全漏洞。
結束符丟失：必須保證拷貝后的dst以’\0’結尾，否則后續(xù)strlen/printf等字符串操作會越界。

1 基本版本

#include <cassert>
// 對齊標準strcpy簽名，src加const保證常量正確性
char* my_strcpy(char* dst, const char* src) {
    // 調試期斷言快速定位空指針問題，發(fā)布模式可關閉斷言不影響性能
    assert(dst != nullptr && src != nullptr);
    // 保存目標地址首指針，后續(xù)會移動dst指針
    char* ret = dst;
    // 拷貝邏輯：賦值表達式返回賦值后的值，遇到'\0'時循環(huán)終止，自動包含結束符
    while ((*dst++ = *src++) != '\0');
    return ret;
}

1.1 優(yōu)點

實現了核心功能，適合調用方能保證參數合法性的高性能場景。

1.2 缺點

若發(fā)布模式關閉斷言，則傳入空指針，會觸發(fā)未定義行為。
沒有處理內存重疊場景，若dst落在src的地址范圍內且dst > src，會導致拷貝內容錯誤。
沒有檢查dst緩沖區(qū)大小，極易出現溢出。

2 進階版(支持內存重疊)

參考memmove的語義，處理重疊場景，特別存在地址重疊的情況（如字符串內部移動）

#include <cstddef> // size_t定義
char* my_strcpy(char* dst, const char* src) {
    // 發(fā)布期也保留空指針檢查，避免程序崩潰
    if (dst == nullptr || src == nullptr) {
        return nullptr;
    }
    char* ret = dst;
    // 第一步：計算src總長度（包括末尾'\0'）
    size_t len = 0;
    while (src[len] != '\0') len++;
    len += 1; // 包含結束符的總拷貝字節(jié)數
    // 第二步：判斷內存重疊，選擇拷貝方向
    if (dst < src || dst >= src + len) {
        // 無重疊 / dst在src前面，從前向后拷貝性能更高
        for (size_t i = 0; i < len; i++) {
            dst[i] = src[i];
        }
    } else {
        // 重疊且dst在src后面，從后向前拷貝避免覆蓋未讀取的src內容
        // 注意：size_t是無符號類型，禁止寫i>=0（永遠為真），改為從len倒序到1
        for (size_t i = len; i > 0; i--) {
            dst[i-1] = src[i-1];
        }
    }
    return ret;
}

2.1 特點

即使參數為空也返回nullptr，避免程序崩潰。
正確處理所有內存重疊場景，例如dst = src + 2這類后向重疊場景，也能得到正確結果。
仍然依賴調用方保證src以’\0’結尾、dst緩沖區(qū)足夠大。

3 高級版(緩存區(qū)防護)

在實際開發(fā)中，禁止使用無長度限制的strcpy，推薦實現帶緩沖區(qū)長度的安全版本，徹底避免溢出：

#include <cstddef>
char* my_strcpy_s(char* dst, size_t dst_size, const char* src) {
    if (dst == nullptr || src == nullptr || dst_size == 0) {
        return nullptr;
    }
    size_t i = 0;
    // 最多拷貝dst_size-1個字符，預留1個位置給'\0'
    while (src[i] != '\0' && i < dst_size - 1) {
        dst[i] = src[i];
        i++;
    }
    // 強制加結束符，保證dst永遠是合法C字符串（解決strncpy不自動加'\0'的缺陷）
    dst[i] = '\0';
    return dst;
}

3.1 特點

完全避免緩沖區(qū)溢出，即使src遠長于dst的空間，也只會截斷到緩沖區(qū)可容納的最大長度。
始終保證dst以’\0’結尾，不會出現非法字符串。

4 測試案例

測試場景	用例代碼	預期結果
普通字符串拷貝	char dst[20]; my_strcpy(dst, “hello world”);	dst內容為"hello world"
空字符串拷貝	char dst[10]; my_strcpy(dst, “”);	dst[0] == ‘\0’
自拷貝	char buf[] = “test”; my_strcpy(buf, buf);	buf內容不變，仍為"test"
后向內存重疊	char buf[20] = “abcdefgh”; my_strcpy(buf+2, buf);	buf內容為"ababcdefgh"（基礎版會得到"abababab…"錯誤結果）
空參數傳入	my_strcpy(nullptr, “test”);	返回nullptr，程序不崩潰
緩沖區(qū)不足（安全版）	char dst[5]; my_strcpy_s(dst, 5, “hello world”);	dst內容為"hell"，自動截斷并加結束符