这是一个危险的锁定模式吗？

Question

我有一个用 C# 编写的枚举器，看起来像这样：

try
{
    ReadWriteLock.EnterReadLock();
    yield return foo;
    yield return bar;
    yield return bash;
}
finally
{
    if (ReadWriteLock.IsReadLockHeld)
        ReadWriteLock.ExitReadLock();
}

我相信这可能是一种危险的锁定模式，因为只有在枚举完成时 ReadWriteLock 才会被释放，否则锁会挂起并且永远不会被释放，是吗？正确的？如果是这样，解决这个问题的最佳方法是什么？

Answer 1

不，finally 块将始终被执行，除非有人从计算机上拔掉插头（好吧，还有一些其他例外）。

public static IEnumerable<int> GetNumbers() {
    try
    {
        Console.WriteLine("Start");
        yield return 1;
        yield return 2;
        yield return 3;
    }
    finally
    {
        Console.WriteLine("Finish");
    }
}

...

foreach(int i in GetNumbers()) {
    Console.WriteLine(i);
    if(i == 2) break;
}

上面的输出将是

开始
1
2
完成

请注意，在 C# 中，您编写的是 yield return，而不仅仅是 yield。但我想这只是一个错字。

Answer 2

我认为大卫回答了你想问的问题（关于枚举方面），但还有两点需要考虑：

1. 如果 ReadWriteLock.EnterReadLock 抛出异常会发生什么？
2. 如果 ReadWriteLock.ExitReadLock 抛出异常会发生什么？

在#1 中，您将不恰当地调用ReadWriteLock.ExitReadLock。在 #2 中，您可以隐藏已引发的现有异常（因为 finally 子句发生是因为主线处理到达 try 块的末尾或 因为抛出了异常；在后一种情况下，您可能不想掩盖异常）。也许在这种特定情况下，这两件事都不太可能发生，但您询问了模式，并且作为一种模式，它存在这些问题。

Answer 3

无论如何，finally都会被执行，但是对于锁定来说可能并不安全。比较以下方法：

class Program
{
    static IEnumerable<int> meth1()
    {
        try
        {
            Console.WriteLine("Enter");
            yield return 1;
            yield return 2;
            yield return 3;
        }
        finally
        {
            Console.WriteLine("Exit");
        }
    }

    static IEnumerable<int> meth2()
    {
        try
        {
            Console.WriteLine("Enter");
            return new int[] { 1, 2, 3 };
        }
        finally
        {
            Console.WriteLine("Exit");
        }
    }

    static public void Main()
    {
        foreach (int i in meth1())
        {
            Console.WriteLine("In");
        }
        Console.WriteLine();
        foreach (int i in meth2())
        {
            Console.WriteLine("In");
        }   
    }
}

输出为：

Enter
In
In
In
Exit

Enter
Exit
In
In
In

如果您的处理需要很多时间（每次迭代），那么先填充集合，然后处理，而不是yield 更合理。