为什么 Go 的 Mutex 不支持递归锁？

Go 中的递归锁定

Go 的sync 包中，Mutex 数据结构不支持递归锁定。这意味着 Goroutine 不能连续多次获取相同的锁。虽然这看起来像是一个限制，但对于在 Go 中实现递归锁存在强烈的反对意见。

根据 Go 开发团队成员 Russ Cox 的说法，递归互斥锁从根本上来说是有缺陷的，因为它们损害了互斥锁的保证旨在提供。互斥体保护不变量，这是程序数据结构的基本属性。当 Goroutine 获取互斥锁时，它假设不变量被保留。

但是，在递归互斥锁中，一个 Goroutine 可以多次获取相同的锁。这可能会破坏不变量，因为 goroutine 可能会解锁互斥体并在重新获取数据结构之前修改数据结构。这可能会导致不可预测且可能错误的程序行为。

Cox 建议重新设计代码以避免需要递归锁。在大多数情况下，可以编写无需递归锁定即可正确运行的代码。

如果绝对必要，可以使用一些变通方法来模拟 Go 中的递归锁定。然而，这些解决方法不受 Go 标准库支持，应谨慎使用。

以上是为什么 Go 的 Mutex 不支持递归锁？的详细内容。更多信息请关注PHP中文网其他相关文章！