c# - 如果内部发生异常，锁定的对象是否会保持锁定状态？

Question

在 C# 线程应用程序中，如果我要锁定一个对象，让我们说一个队列，如果发生异常，对象会保持锁定状态吗？这是伪代码:

int ii;
lock(MyQueue)
{
   MyClass LclClass = (MyClass)MyQueue.Dequeue();
   try
   {
      ii = int.parse(LclClass.SomeString);
   }
   catch
   {
     MessageBox.Show("Error parsing string");
   }
}

据我了解，catch 之后的代码不会执行 - 但我一直想知道是否会释放锁。

Answer 1

我注意到，在他们对这个老问题的回答中，没有人提到在出现异常时释放锁是一件极其危险的事情。是的，C# 中的锁语句具有“finally”语义;当控制正常或异常退出锁时，锁被释放。你们都在谈论这件事，好像这是一件好事，但这是一件坏事!如果您有一个抛出未处理异常的锁定区域，正确的做法是在它破坏更多用户数据之前立即终止有问题的进程，而不是释放锁并继续运行 em>.

这样看:假设您有一间浴室，门上有锁，外面有一排人等着。浴室里的炸弹爆炸了，炸死了里面的人。您的问题是“在那种情况下，锁会自动解锁，以便下一个人可以进入浴室吗？”是的，它会。 那可不是什么好事。一颗炸弹刚刚在里面爆炸，炸死了一个人!管道可能被毁，房子的结构不再坚固，那里可能还有另一枚炸弹。正确的做法是尽快让所有人离开并拆除整栋房子。

我的意思是，仔细考虑一下:如果您锁定了一个代码区域以便从数据结构中读取它而不在另一个线程上对其进行修改，并且该数据结构中的某些内容引发了异常，可能性很大这是因为数据结构已损坏。用户数据现在乱七八糟；此时您不想尝试保存用户数据，因为您随后保存的是损坏的数据。只需终止进程即可。

如果您锁定代码区域以便在没有另一个线程同时读取状态的情况下执行突变，并且突变抛出，那么如果数据之前没有损坏，现在肯定是.这正是锁应该防止的场景。现在，等待读取该状态的代码将立即获得访问损坏状态的权限，并且可能自身崩溃。同样，正确的做法是终止进程。

无论您如何划分，锁内的异常都是坏消息。正确的问题不是“如果发生异常，我的锁会被清理吗？”正确的问题是“我如何确保锁内永远不会有异常？如果有，那么我如何构建我的程序以便将突变回滚到以前的良好状态？”