C语言strcpy与strcat函数详解：原型、实现与安全用法

strcpy 函数：字符串拷贝

第1步：理解原型与功能

strcpy 的全称为 string copy。其原型声明如下：

char *strcpy(char *dest, const char *src);

• 功能：将 src 指向的字符串（包含结尾的 '\0'）复制到 dest 开始的地址空间。
• 返回值：返回指向 dest 的指针，便于链式操作。
• 关键约束：src 和 dest 所指内存区域不可重叠；dest 必须预分配足够大的空间，否则会导致越界写入。

第2步：分析源码实现逻辑

以下是两种常见的 strcpy 实现方式，展示了底层指针移动的机制。

1. 典型的工业级最简实现：

char *strcpy(char *strDestination, const char *strSource) {
    assert(strDestination != NULL && strSource != NULL);
    char *strD = strDestination;
    while ((*strD++ = *strSource++) != '\0');
    return strDestination;
}

注：内层括号确保取赋值表达式的值（即左操作数 *strD），当复制到 '\0' 时循环停止，但 '\0' 已被写入。

2. GNU-C 中的紧凑实现：

char* strcpy(char *d, const char *s) {
    char *r = d;
    while((*d++=*s++));
    return r;
}

strcat 函数：字符串拼接

第1步：理解原型与功能

strcat 的全称为 string catenate（concatenation）。其原型声明如下：

char *strcat(char *dest, const char *src);

• 功能：将 src 追加到 dest 末尾。首先找到 dest 的结尾 '\0'，然后覆盖该位置开始写入 src 的内容，最后在新的末尾添加 '\0'。
• 返回值：返回指向 dest 的指针。
• 关键约束：同样要求 dest 有足够剩余空间容纳追加后的完整字符串；内存不可重叠。

第2步：分析源码实现逻辑

strcat 的实现分为两个阶段：定位目的地尾部和执行拷贝。

典型实现代码：

char *strcat(char *strDest, const char *strSrc) {
    char *address = strDest;
    assert((strDest != NULL) && (strSrc != NULL));
    
    // 第一阶段：移动指针直到遇到结束符 '\0'
    // 注意：不能直接在while中使用 ++，因为那样会跳过最后一个字符的判断或导致指针偏移错误
    while (*strDest) {
        strDest++;
    }
    
    // 第二阶段：从当前位置开始拷贝
    while (*strDest++ = *strSrc++);
    
    return address;
}

注意：在第二个 while 循环中，条件表达式完成赋值后自动递增，包括最后的 '\0' 也会被拷贝并触发终止，无需手动添加 *strDest='\0';。

安全风险与现代替代方案

尽管上述实现展示了经典算法，但在生产环境中直接使用 strcpy 和 strcat 存在巨大的安全隐患。主要风险是缓冲区溢出：如果 dest 的空间不足以容纳整个源字符串，程序将写入非法内存，导致崩溃或被攻击者利用。

在现代 C/C++ 开发中，建议采取以下措施：

1. 使用安全版本：微软等厂商提供了扩展版本，如 strcpy_s 和 strcat_s，它们需要额外传入缓冲区大小参数。

   // 示例：strcpy_s(dest, dest_size, src);

2. 手动检查长度：在使用原版函数前，务必计算 strlen(src) 并确认 dest 剩余空间充足。
3. 考虑其他策略：对于频繁拼接场景，可考虑预分配足够大的缓冲区和手动管理偏移量，或使用 sprintf/snprintf 进行格式化输出。

以上就是C语言中strcpy与strcat函数的详细内容，更多关于字符串处理与安全编码的资料请关注本站其它相关文章！