在 Swift 中移动互斥锁是否安全？

Question

我正在对互斥锁进行一些研究，并遇到了以下 Swift 代码：

class Lock {

    private var mutex: pthread_mutex_t = {
        var mutex = pthread_mutex_t()
        pthread_mutex_init(&mutex, nil)
        return mutex
    }()

    func someFunc() {
        pthread_mutex_lock(&mutex)
        defer { pthread_mutex_unlock(&mutex) }
        ...
    }

}

代码在闭包中定义并初始化一个 pthread_mutex_t，然后将返回的值分配给类属性。然后它会在所示的几个函数中锁定和解锁。

由于还应该调用 pthread_mutex_destroy，这意味着在互斥体中发生了某种分配，它可能引用或不引用原始值的地址。

实际上，互斥体在一个地方初始化并存储在另一个地方。

问题是这样做是否安全或正确？

如果互斥量初始化器需要参数怎么办？

    private var mutex: pthread_mutex_t = {
        var recursiveMutex = pthread_mutex_t()
        var recursiveMutexAttr = pthread_mutexattr_t()
        pthread_mutexattr_init(&recursiveMutexAttr)
        pthread_mutexattr_settype(&recursiveMutexAttr, PTHREAD_MUTEX_RECURSIVE)
        pthread_mutex_init(&recursiveMutex, &recursiveMutexAttr)
        return recursiveMutex
     }()

我觉得后者肯定是不正确的，因为当闭包崩溃时，其地址被传递到互斥锁中的属性存储将消失。

Answer 1

不是，这段代码坏了。

要工作，pthread_mutex_t 需要在类实例中就地初始化，并且从不复制出来。该类需要公开锁定/解锁方法，该方法对实例变量进行就地操作。

值类型

请注意，pthread_mutex_t、pthread_rwlock_t 和 os_unfair_lock 是值类型，而不是引用类型。这意味着如果你在它们上使用 =，你就会复制一份。这很重要，因为这些类型无法复制！如果您复制其中一种 pthread 类型，则该副本将无法使用，并且在您尝试使用时可能会崩溃。

——By Mike Ash, Friday Q&A 2017-10-27: Locks, Thread Safety, and Swift: 2017 Edition

查看https://cocoawithlove.com/blog/2016/06/02/threads-and-mutexes.html

这个示例在 Swift 中使用 pthread_mutex_t：https://github.com/mattgallagher/CwlUtils/blob/0bfc4587d01cfc796b6c7e118fc631333dd8ab33/Sources/CwlUtils/CwlMutex.swift#L60-L105