自定义类strncat函数测试触发未定义行为，寻求问题排查

核心问题分析 #

你的自定义strncate函数完全误解了标准库strncat的行为，再加上未初始化的局部数组，直接导致了未定义行为：

1. 未初始化的局部数组 #

局部数组char buffer[BUFSZ];没有显式初始化，内存中是随机垃圾值。标准库strncat的逻辑是从dest指向的内存中第一个'\0'的位置开始追加内容，而不是从dest指针本身的位置开始写。这意味着第一次调用strncat时，可能会从buffer中间某个随机的'\0'位置开始写入，后续的指针移动计算完全失效。

2. 对strncat的误用 #

标准库strncat的行为和你预期的完全不同：

• strncat(dest, src, n)：从dest的当前字符串末尾（第一个'\0'）开始，最多复制n个字符（不包含src的终止符），然后自动追加一个'\0'，返回dest的起始地址。
• 你的自定义函数错误地认为strncat会从dest指针指向的位置直接写入n个字节，然后返回dest + n，但实际写入的起始位置、长度都和预期不符，指针移动的位置自然完全错误。

修复方案 #

你的需求是实现字节级的链式复制（从当前指针位置写n个字节，指针移动n），因此应该使用memcpy而非strncat（strncat是字符串操作，会处理'\0'，不符合你的场景）。修改自定义函数如下：

static inline char *
strncate(char * restrict dest, char const * restrict src, size_t n)
{
    memcpy(dest, src, n); // 直接复制n个字节，不处理终止符
    return dest + n;
}

static inline size_t
strncatb(char * restrict dest, char const * restrict src, size_t n)
{
    memcpy(dest, src, n);
    return n;
}

同时，由于现在是直接覆盖内存，不需要依赖'\0'，未初始化的buffer不再影响逻辑——后续的复制会直接覆盖垃圾值，指针移动也完全符合预期。

为什么工具没检测到问题 #

AddressSanitizer和Valgrind检测的是非法内存访问（越界、野指针等），但你的代码中所有内存访问都是在buffer的合法范围内，只是逻辑错误导致写入位置不对，属于语义错误而非内存错误，因此工具无法检测到。

而repl.it环境可能默认将局部数组初始化为0，第一次strncat会从buffer起始位置写入，刚好掩盖了问题，但这只是环境巧合。

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