File.ReadLine打开的文件是否在异常情况下关闭？

Question

如果在迭代结果枚举时抛出异常，则通过File.ReadLines读取的文件是否已关闭？

示例：

File.ReadLines("file.txt")
    .Select(line => { throw new Exception(); return 1; });

file.txt曾经关闭过吗？

如果它确实是封闭的，那么迭代不会继续的事实如何由实现来决定呢？

我无法理解如何关闭该文件的原因如下。我怀疑ReadLines实现是这样的：

IEnumerable<string> ReadLines(string file)
{
    using (var reader <Open reader>)
    {
        String line = null;
        while ((line = reader.ReadLine()) != null)
        {
            yield return line;
        }
    } 
}

如果在迭代期间抛出异常，则不会从结果枚举器中获取所有行。然后，在没有到达while-statement之后，行，using-statement将没有机会关闭该流。

Answer 1

当使用foreach的枚举被中止时，枚举数将被释放。C#迭代器方法在发生这样的“早期处置”时执行所有活动的最后块。这意味着迭代器方法中的所有using语句都将被执行，因为using基于finally。

为了使这更具体：Dispose只能在C#生成的枚举数上在yield return语句中调用。只有yield return才会将控制权交给调用方。

生成的状态机跟踪每个屈服点上哪些最终块是活动的，并在Dispose方法中执行它们。

如果您只是简单地放弃枚举器(File.ReadLines("file.txt").GetEnumerator();)，那么最终块将不会被授予。没有任何机制可以做到这一点。

TL;DR:在所有情况下，只要您释放最外层的枚举数和链中的所有枚举数(此处：Select和ReadLines)，就会关闭文件，并使用finally正确地释放它们的内部枚举数。

Answer 2

是的，会关闭的。它在内部通过一个StreamReader创建一个FileStream，并在一个using块中使用它。我不知道你在第二个问题中的意思(你可以简单地抓住例外)。