MSVCRT中wcscpy_s的自定义实现是否符合标准要求？

你的实现存在几处不符合wcscpy_s规范的问题，以下是详细分析和修正方案：

原实现的核心问题 #

1. 缺失dest_size合法性校验 #

• 未检查dest_size是否为0：当dest_size=0时，min(dest_size, RSIZE_MAX)-1会被转换为size_t类型的极大值，导致wcsnlen读取内存越界。
• 未检查dest_size是否超过RSIZE_MAX：违反wcscpy_s的参数约束，属于无效输入。

2. 超长src检测逻辑错误 #

当src长度超过dest_size-1时，wcsnlen(src, dest_size-1)返回dest_size-1，计算出的src_size=dest_size，此时dest_size >= src_size的判断会通过，进而执行wcsncpy。但POSIX标准的wcsncpy在复制长度等于源字符串长度（无终止符）时，不会自动添加终止空字符，导致dest成为非终止的宽字符串，完全违背wcscpy_s的安全设计。

3. src为NULL时的校验不完整 #

当src为NULL时，未先校验dest_size的合法性（比如dest_size=0的情况），直接修改dest[0]可能导致越界。

修正后的实现 #

errno_t wcscpy_s(
   wchar_t *dest,
   rsize_t dest_size,
   const wchar_t *src
)
{
    // 校验目标缓冲区的指针与大小合法性
    if (dest == NULL || dest_size == 0 || dest_size > RSIZE_MAX) {
        // 确保非空的dest被终止
        if (dest != NULL) {
            dest[0] = L'\0';
        }
        return EINVAL;
    }

    // 校验源字符串指针
    if (src == NULL) {
        dest[0] = L'\0';
        return EINVAL;
    }

    // 计算源字符串长度（最多检查dest_size-1个字符，避免越界读取）
    size_t src_len = wcsnlen(src, dest_size - 1);
    
    // 检测src是否过长：如果src_len等于dest_size-1，且该位置不是终止符，说明src无法被完整容纳
    if (src_len == dest_size - 1 && src[src_len] != L'\0') {
        dest[0] = L'\0';
        return ERANGE;
    }

    // 复制源字符串（包含终止符）
    size_t copy_len = src_len + 1;
    wcsncpy(dest, src, copy_len);
    // 显式确保目标字符串终止（增强健壮性）
    dest[src_len] = L'\0';
    
    return 0;
}

修正要点说明 #

• 前置参数校验：优先校验dest、dest_size的合法性，确保无效输入被及时拦截，同时保证dest始终处于终止状态。
• 准确检测超长src：通过wcsnlen结果结合src对应位置的终止符检查，精准判断src是否能被dest容纳，避免生成非终止字符串。
• 显式终止保证：即使wcsncpy会自动补0，仍显式设置终止符，避免因实现细节差异导致的问题。

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