c#FileStream读取StreamReader EndOfStream存在问题

aaaabb
ccccddd
eeeefffffff

有许多方法可以逐行阅读本文,其中一种方法是：

StreamReader sr = new StreamReader("file.txt");
while(!sr.EndOfStream)
{
    string s = sr.ReadLine();
}
sr.Close();

作品.获得每一行.
现在我需要前4个字母作为字节,其余的作为字符串.在查看事物并尝试一点后,我发现最简单的方法是：

FileStream fs = new FileStream("file.txt",FileMode.Open);
StreamReader sr = new StreamReader(fs);
byte[] arr = new byte[4];
fs.Read(arr,4);
string s = sr.ReadLine();
sr.Close();
fs.Close();

作品. arr包含前4个字母作为字节,其余部分保存在s中.这只是一行.如果我们添加while：

FileStream fs = new FileStream("file.txt",FileMode.Open);
StreamReader sr = new StreamReader(fs);
while(!sr.EndOfStream)
{
    byte[] arr = new byte[4];
    fs.Read(arr,4);
    string s = sr.ReadLine();
} 
sr.Close();
fs.Close();

现在有一个问题.现在arr没有得到任何东西,并且s读取整行,包括前4个字母.更奇怪的是,如果我使用while(true)(并且我假设其他任何不是示例)而不是按预期工作,则4个字符作为字节,其余为字符串,这对于每一行都是相同的.

问题是我错过了什么？为什么会这样？我该如何解决这个问题？或者这可能是一个错误？