malloc()与memset()异常行为问询：为何修改了26字节内存？

首先要明确：你遇到的是C语言标准中定义的未定义行为的典型表现，而具体出现26字节长度的结果，是由glibc默认的ptmalloc内存分配器的内部实现细节决定的。下面一步步拆解原因：

1. malloc不会精确分配你请求的大小 #

glibc的ptmalloc（默认的malloc实现）不会严格按照你请求的15字节来分配内存。对于小内存分配，它会遵循以下规则：

• 内存块（chunk）必须满足对齐要求（64位系统下通常是16字节对齐）；
• 分配的内存块大小会适配内部的内存管理结构（比如fast bin，专门存放小内存块的缓存区域，大小都是8字节的倍数）。

所以你请求的15字节，实际会被调整为一个更大的可用内存块（比如16或24字节），但这还不是你看到26字节的直接原因。

2. 越界写入是未定义行为 #

调用memset(charptr, 'a', 100)属于堆内存越界写入——你试图修改超出malloc分配给你的内存范围的数据。根据C标准，这种操作是未定义行为：程序可能崩溃、破坏其他变量、输出奇怪的结果，甚至看似“正常运行”但留下隐患。你看到的仅26字节被设置为'a'，就是未定义行为的一种表现。

3. 为什么是刚好26字节？ #

strlen(charptr)返回26，意味着从charptr开始的第27个字节是'\0'。这个'\0'的来源大概率是内存布局的巧合：
你的内存块后面恰好是glibc malloc内部管理的某个结构字段，或者之前分配后残留的内存区域，其中包含'\0'。虽然你调用了memset写100字节，但可能这个'\0'所在的位置，在memset之后被glibc的隐式内存管理逻辑（比如chunk结构的维护）又改回了'\0'；或者你的越界写入刚好到了堆中某个未被完全覆盖的0字节区域，strlen就自然在那里停止了。

4. 为什么程序没有崩溃？ #

越界写入不一定会立即触发段错误：只有当你写入的内存区域属于内核保护的只读页，或者修改了malloc的关键管理结构（比如chunk头部）导致后续操作（比如free）崩溃时，程序才会崩溃。在你的例子中，你写入的100字节可能仍然在glibc分配给进程的堆内存范围内，所以没有触发段错误，但修改了非关键的内存区域，恰好留下了一个'\0'让strlen停止。

验证与建议 #

• 你可以通过打印内存的原始值来确认：在printf之前，循环打印charptr[0]到charptr[30]的十六进制值，看看第26字节是否是0x00，以及后面的字节是什么。
• 如果你想查看malloc实际分配的可用内存大小，可以使用glibc的非标准函数malloc_usable_size(charptr)（仅用于调试，不要在生产代码中使用）。
• 最重要的：永远不要越界访问内存。未定义行为的结果完全不可预测，今天可能只是输出奇怪的长度，明天就可能导致程序崩溃或数据损坏。

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