C语言get_next_line函数释放未分配内存问题排查

核心问题：释放非起始堆指针导致非法内存访问 #

你遇到的释放未分配内存问题，根源是当leftover指向原堆内存的中间偏移位置时，你释放了这个偏移指针——C语言中free()只能释放malloc()/calloc()/realloc()返回的起始地址，释放中间指针属于未定义行为，会触发“释放未分配内存”的错误。

触发场景 #

1. 第一次调用get_next_line：
   • leftover是malloc分配的完整堆内存（比如地址0x1000，内容"line1\nline2"）
   • ft_strchr找到换行符，leftover被修改为0x1006（换行符+1，指向"line2"）
   • 此时temp指向原起始地址0x1000，但因为leftover不为NULL，你没有释放它，原堆内存仍被占用，但leftover现在是偏移指针。
2. 第二次调用get_next_line：
   • leftover是0x1006（非NULL），直接处理"line2"
   • temp = leftover（即0x1006，不是malloc返回的起始地址）
   • 因为"line2"中没有换行符，ft_strchr返回NULL，触发free(temp)
   • 释放0x1006这个偏移指针，属于非法操作，导致“释放未分配内存”的问题。

其他加剧问题的错误 #

1. ft_strchr的错误限制 #

你的ft_strchr循环里加了i < BUFFER_SIZE的条件，导致它最多只检查BUFFER_SIZE个字符。如果leftover长度超过BUFFER_SIZE且换行符在后面，函数会错误返回NULL，提前触发free(temp)逻辑，丢失剩余数据的同时可能触发非法释放。

2. 未初始化buffer导致的异常读取 #

ft_read_from_file中，buffer被malloc后未初始化，第一次调用ft_strchr(buffer, '\n')时，可能读到垃圾值中的'\n'，导致提前终止文件读取，生成包含垃圾数据的leftover，后续处理时引发不可预测的内存问题。

3. 错误的内存管理逻辑 #

当ft_strjoin的malloc失败时，函数会先free(s1)再返回NULL，导致leftover变成NULL，后续调用ft_find_line(leftover)会访问NULL指针，触发崩溃，此时temp指向NULL，虽然free(NULL)是安全的，但属于错误路径的逻辑漏洞。

4. ft_strjoin的拼接限制错误 #

ft_strjoin中s2的循环加了i < BUFFER_SIZE的限制，导致最多只拼接BUFFER_SIZE个字符，若s2实际长度小于BUFFER_SIZE（比如最后一次读取的字节数不足），这部分逻辑没问题，但如果s2是其他长度合规的字符串，会截断内容，引发数据丢失。

修复方案 #

1. 修正ft_strchr实现 #

移除i < BUFFER_SIZE的限制，让函数完整遍历整个字符串：

char    *ft_strchr(const char *s, int c)
{
    int i;

    i = 0;
    while (s[i])
    {
        if (s[i] == (char)c)
            return ((char *)&s[i]);
        i++;
    }
    if ((char)c == '\0')
        return ((char *)&s[i]);
    return (NULL);
}

2. 正确处理leftover的剩余内容 #

不要直接让leftover指向原堆内存的偏移位置，而是复制剩余内容到新内存，释放原内存：

// 在get_next_line中替换原leftover处理逻辑
temp = leftover;
leftover = ft_strchr(leftover, '\n');
if (leftover)
{
    leftover = ft_strdup(leftover + 1); // 复制剩余内容到新内存
    free(temp); // 释放原堆内存
}
else
{
    free(temp);
    leftover = NULL;
}

3. 初始化buffer避免垃圾值 #

ft_read_from_file中，malloc后立即初始化buffer：

buffer = malloc(sizeof(char) * (BUFFER_SIZE + 1));
if (!buffer)
    return (NULL);
buffer[0] = '\0'; // 初始化，避免第一次ft_strchr读取垃圾值

4. 修正ft_strjoin的拼接逻辑 #

移除s2循环的i < BUFFER_SIZE限制，完整拼接整个s2：

// 替换ft_strjoin中对应循环
i = 0;
while (s2[i])
{
    str[j++] = s2[i++];
}

内容的提问来源于stack exchange，提问作者Clément