istream::getline与std::getline读取文件到EOF时的行为差异分析

首先直接确认：你的推测完全符合std::getline的实现逻辑，两种getline的底层差异我们分别拆解如下：

1. istream::getline（C风格字符数组版本）执行逻辑 #

该函数的行为受C++标准明确约束，每次调用按以下步骤执行：

1. 从输入流中逐个读取字符，存入传入的字符数组，直到触发三类终止条件：
   • 读取到换行符\n：丢弃换行符，不存入数组，在数组末尾追加\0结束符，不设置任何错误位，调用返回的流对象转换为布尔值为true
   • 已读取数组长度-1个字符：设置failbit，在数组末尾追加\0结束符
   • 读取时直接遇到EOF：同时设置eofbit和failbit，直接将数组第一个字符设为\0（即数组被置为空串）
     对应你给出的代码1输出：
     前3次调用均读到换行符，正常返回true，fail()返回0；第4次调用时流已到EOF，触发第三类终止条件，返回false，数组被置为空，fail()返回1，和你看到的0 1输出完全匹配。

2. std::getline（std::string版本）执行逻辑 #

和C风格数组版的核心差异在EOF处理和字符串修改逻辑，步骤如下：

1. 调用首先清空传入的string对象，再逐个读取字符存入string，直到触发两类终止条件：
   • 读取到换行符\n：丢弃换行符，不存入string，不设置任何错误位，返回流对象布尔值为true
   • 读取时遇到EOF：
     • 若已读取到至少1个字符：将已读取的内容全部存入string，仅设置eofbit，不设置failbit，返回布尔值为true
     • 若未读取到任何字符就遇到EOF：同时设置eofbit和failbit，不对原string做任何修改，返回布尔值为false
       对应你给出的代码2输出：
       前3次调用均读到换行符，正常返回true，fail()返回0；第4次调用时流已到EOF，未读取到任何字符就触发终止条件，返回false，string保留第三次读取的内容，fail()返回1，和你看到的最后一行输出完全匹配。

核心差异总结 #

• 无字符可读取时触发EOF：istream::getline会清空目标数组为空，std::getline保留string原内容
• 读取到内容后才触发EOF：istream::getline会同时设置eofbit和failbit，std::getline仅设置eofbit、不设置failbit

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