C语言cat工具中getline、strcat与realloc联用的内存问题排查

出现invalid next size错误和length变量异常，核心是缓冲区长度管理混乱，具体原因如下：

• length变量未随新行同步更新：复用了上一行的length值，没有在处理新行前根据当前行的实际长度重置。当新行比上一行短很多时，旧的length值会让你错误判断缓冲区空间，或realloc时计算的新大小完全偏离实际需求，导致写入超出缓冲区边界，破坏malloc内部内存管理结构，触发invalid next size。
• realloc使用逻辑错误：要么计算新缓冲区大小时依赖错误的length值，要么未检查realloc返回值——如果realloc失败返回NULL，直接赋值会丢失原缓冲区指针，后续操作引发更严重的内存问题。
• getline缓冲区与自定义缓冲区未分离：如果process_b_flag直接操作getline返回的缓冲区，同时用自己的length变量跟踪大小，两者长度信息不同步，极易出现实际写入长度超过分配大小的情况。

针对上述问题，按以下步骤修复：

1. 每次处理新行时同步length值
   调用process_b_flag时，直接传入getline返回的当前行实际长度（注意getline返回值是ssize_t，转成size_t时确保非负），在函数内部基于这个真实长度计算处理后的缓冲区需求（比如添加行号需要额外的数字字符空间），而非复用旧的length变量。示例代码：

   // 假设getline调用：ssize_t line_len = getline(&line, &line_cap, fp);
   if (line_len != -1) {
       // 根据b flag的处理逻辑计算所需缓冲区大小，比如行号+原行内容
       size_t required_size = line_len + 12; // 预留足够行号字符空间
       process_b_flag(line, (size_t)line_len, &buf, &buf_len, required_size);
   }
   

   在process_b_flag函数内：

   void process_b_flag(char *line, size_t line_len, char **buf, size_t *buf_len, size_t required_size) {
       if (required_size > *buf_len) {
           char *tmp_buf = realloc(*buf, required_size);
           if (!tmp_buf) {
               perror("realloc failed");
               free(*buf);
               exit(EXIT_FAILURE);
           }
           *buf = tmp_buf;
           *buf_len = required_size;
       }
       // 处理行内容，比如拼接行号
       snprintf(*buf, *buf_len, "%6d %s", current_line_num, line);
       current_line_num++;
   }
   

2. 强制检查realloc返回值
   永远不要假设realloc一定会成功，一旦返回NULL，必须立即处理（比如释放已分配内存、打印错误信息后退出），避免悬空指针或内存泄漏。
3. 完全分离自定义缓冲区和getline缓冲区
   不要直接修改getline返回的line缓冲区，而是将内容复制到自己的buf中处理。这样getline的缓冲区管理和你的处理逻辑完全独立，不会出现长度信息混乱的问题。
4. 用Valgrind精准定位越界点
   执行valgrind --leak-check=full --track-origins=yes ./your_cat [测试文件]，Valgrind会明确指出哪一行代码写入了超出分配内存的区域，帮你快速定位length变量错误使用的具体位置。

内容的提问来源于stack exchange，提问作者Алексей Курочкин