为何对getline返回值的判断会引发无限循环？修改为等于-1即可解决的原因是什么？

你的问题核心出在变量类型不匹配导致的隐式转换上，咱们一步步拆解清楚：

1. getline的返回值规则 #

getline函数的返回值是ssize_t——这是一个有符号整数类型，用来兼容正负两种返回情况：

• 成功读取行时，返回读取到的字节数（包含换行符，不包含结尾的\0）
• 遇到文件末尾或发生错误时，返回**-1**表示失败

2. 代码里的类型错误 #

但你把返回值赋值给了size_t line_len——size_t是无符号整数类型，它的取值范围只能是0到系统支持的最大无符号数值（比如64位系统下是18446744073709551615）。

当getline返回-1时，这个有符号的负数会被隐式转换成size_t类型：根据C语言的规则，有符号负数转无符号数会按2^n（n为类型位数）取模，结果会变成一个极大的正数（比如64位下就是UINT64_MAX）。

3. 为什么原判断条件失效？ #

此时line_len是一个超大的无符号正数，而你写的line_len < 0判断——无符号整数的取值范围内根本不存在负数，这个条件永远为假，循环自然永远不会执行break，直接陷入无限循环。

4. 为什么改成line_len == -1就有效？ #

当你写line_len == -1时，这里的-1会被隐式转换成size_t类型，结果和getline返回-1转成size_t后的值完全一致（都是那个极大的无符号最大值），所以此时判断相等会成立，触发break退出循环。

更规范的修复方式 #

其实最优解是把line_len的类型改成ssize_t，从根源上避免隐式转换的坑，同时代码可读性也更好：

#define __STDC_WANT_LIB_EXT2__ 1 
#include <stdio.h> 
#include <stdlib.h> // 要包含free的头文件

int main(void) { 
    char *line = NULL; 
    size_t buf_len; 
    ssize_t line_len; // 改成有符号的ssize_t
    FILE *fp = fopen("README.txt", "r"); 
    
    if (!fp) { // 别忘了检查文件是否成功打开
        perror("Failed to open file");
        return 1;
    }
    
    while (1) { 
        line_len = getline(&line, &buf_len, fp); 
        if (line_len < 0) break; 
        printf("%s", line); 
    }
    
    // 记得清理资源
    fclose(fp);
    free(line);
    return 0; 
}

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