实现自定义memcpy：为何将指针转为unsigned char*而非char*？

核心原因有三点： #

• 消除char的符号不确定性：C标准并没有规定char是带符号还是无符号类型，这取决于编译器。如果是带符号char，当处理值大于0x7F（即127）的字节时，会被解析为负数，在某些操作场景下可能触发符号扩展，导致二进制数据处理出错。而unsigned char明确是无符号类型，每个字节都被当作0-255的纯数值，能精准匹配mem系列函数“逐字节复制/设置任意二进制数据”的需求。
• 贴合标准库的语义：C标准对memcpy、memset的定义是操作“对象的字节”，这些字节属于无符号的抽象二进制单元。用unsigned char*转换指针，能严格对齐标准语义，避免因char的符号属性带来的潜在未定义行为。
• 避免异常值转换问题：比如在memset中，若要设置每个字节为0xFF，如果用char*且char是带符号的，0xFF会被解释为-1，赋值时可能触发实现定义的转换逻辑；而unsigned char*则直接将0xFF视为255，完全符合memset的功能预期。

对你当前实现的说明 #

你的mem_cpy用char*在多数场景下能正常运行，但存在隐性风险：如果编译器将char视为带符号类型，且复制的二进制数据包含大于127的字节值时，可能会出现符号扩展相关的未定义行为。改成unsigned char*会让实现更严谨，完全符合C标准的要求。

修改后的示例代码：

void *mem_cpy(void *dest, const void *src, size_t n) {
    if (dest == NULL || src == NULL)
        return NULL;
    size_t i = 0; // 用size_t匹配n的类型，避免int溢出风险
    unsigned char *dest_arr = (unsigned char *)dest;
    const unsigned char *src_arr = (const unsigned char *)src;
    while (i < n) {
        dest_arr[i] = src_arr[i];
        i++;
    }
    return dest;
}

内容的提问来源于stack exchange，提问作者LearningCode