c# - 调用 StreamReader.ReadLineAsync 后 Stream.Position 不会更改

Question

当我尝试读取这样的行时，Stream.Position 在第一次调用 StreamReader.ReadLineAsync 后会更改一次，然后在多次调用后不会更改。

var stream = new FileStream(
filename,
FileMode.Open, FileAccess.Read, FileShare.Read,
bufferSize: 4096, useAsync: true);

using (var sr = new StreamReader(stream))
{
    while(stream.Position <= stream.Length)
    {
        var pos = stream.Position;
        var line = sr.ReadLineAsync().Result;
        Console.WriteLine("{0}: {1}", pos, line);
    }
}

当我运行这个时，给定输入

1 2 3
4 5 6
7 8 9
10 11 12

它给了我输出

0: 1 2 3
29: 4 5 6
29: 7 8 9
29: 10 11 12
29: 
29: 

等等。

Answer 1

StreamReader.ReadLine(以及等效的ReadLineAsync)通常会读取超过仅仅一行 - 它基本上读入缓冲区，然后解释该缓冲区。这比一次读取一个字节要高效得多，但这确实意味着流将比严格意义上需要的进一步前进。

基本上，我不会尝试将 Stream.Position 用于由另一个对象包装的流(例如 BufferedStream、StreamReader ETC)。缓冲会让让事情变得困惑。