关于c＃：从多个文件一次读取特定行的最快方法

Quickest way to Read Specific Line from Multiple Files one Line at a time

我有一个基于文本的数据库，该数据库代表按时间戳排序的日志。为了进行测试，我的数据库大约有10,000行，但是这个数目可能更大。其格式为：

primary_key, source_file, line_num
1, cpu.txt, 2
2, ram.txt, 3
3, cpu.txt, 3

我查询数据库，并在读取结果时想将实际数据添加到可以显示的字符串中。上面示例中的实际数据是cpu.txt中第2行的内容，其次是ram.txt中第3行的内容，依此类推。该行内容可能很长。

重要说明是每个文件的行号都是有序的。也就是说，下次我在数据库中遇到cpu.txt条目时，它将以行4作为行号。但是，只有在ram.txt，harddrive.txt，graphics.txt等中的数千个其他条目之后，我才可能看到cpu.txt条目。

我已经考虑过按照以下代码使用某些东西：

1
2
3
4
5
6
7
8
9

StringBuilder odbcResults = new StringBuilder();
OdbcDataReader dbReader = com.ExecuteReader(); // query database
while (dbReader.Read())
{
string fileName = dbReader[1].ToString(); // source file
int fileLineNum = int.Parse(dbReader[2].ToString()); // line number in source file

odbcResults.Append(File.ReadLines(fileName).Skip(fileLineNum).First());
}

但是，File.ReadLines()不想在每次迭代后都丢弃其TextReader吗？不是很有效吗？

我也有这个想法，为需要在Dict中读取的每个文件保留一个StreamReader：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

Dictionary<string, StreamReader> fileReaders = new Dictionary<string, StreamReader>();
StringBuilder odbcResults = new StringBuilder();
OdbcDataReader dbReader = com.ExecuteReader();
while (dbReader.Read())
{
string fileName = dbReader[1].ToString(); // source file
int fileLineNum = int.Parse(dbReader[2].ToString()); // line number in source file

if (!fileReaders.ContainsKey(fileName))
{
fileReaders.Add(fileName, new StreamReader(fileName));
}

StreamReader fileReader = fileReaders[fileName];
// don't have to worry about positioning? Lines consumed consecutively
odbcResults.Append(fileReader.ReadLine());
}
// can't forget to properly Close() and Dispose() of all fileReaders

您是否同意上述任何示例，或者有更好的方法吗？
对于第二个示例，我假设StreamReader会记住它的最后位置-我认为这将保存在BaseStream中。

我已经阅读了如何读取文本文件中的指定行？，在特定行读取文本文件，StreamReader并查找(第一个答案提供了到具有定位功能的自定义StreamReader类的链接，但我只知道行号我需要发言，而不是抵消)，但不要以为他们会具体回答我的问题。