主页 / coding / 问题 / 78701623
Accepted
Reinhard Männer
Asked: 2024-07-03 18:56:17 +0800 CST

如何访问 Swift 6 并发安全的静态属性？

  • 772

我的应用程序使用一个类A及其子类SubA_x。 A有一个静态属性，该属性仅在初始化子类时serialNumber由类修改。它设置一个属性，以便每个子类都有一个唯一的名称。以下是代码：Alet name

class A {
    static var serialNumber = 0
    let name: String

    init( /* some parameters */ ) {
        A.serialNumber += 1
        self.name = "\(A.serialNumber)"
    }
}

final class SubA_1: A {
    init( /* some parameters */ ) {
        super.init( /* some parameters */ )
    }
}

使用 Swift 6 严格并发检查时，初始化的行serialNumber会出现错误

静态属性“serialNumber”不是并发安全的，因为它是非独立的全局共享可变状态

我知道每个子类都A可以var serialNumber从任何线程进行修改，因此数据竞争是可能的。

但是我如何以并发安全的方式实现此功能？

serialNumber我尝试通过演员提供：

actor SerialNumberManager {
    private var serialNumber = 0
    
    func getNextSerialNumber() -> Int {
        serialNumber += 1
        return serialNumber
    }
}

但我无法getNextSerialNumber()在 中调用init，除非init是异步的。但我只能在异步上下文中初始化子类，等等。

我可能可以根据 GCD 提供自己的同步，但应该有一种方法可以在 Swift 并发中做到这一点。

swift

1 个回答

  1. Best Answer

    如果您想要一个线程安全的共享状态，那么这actor是一种合乎逻辑的方法。但是，如果您想要一个可以从同步上下文中调用的管理器，那么您可以编写自己的管理器，实现自己的手动同步（使用 GCD 串行队列或如下所示使用锁）：

    class SerialNumberManager: @unchecked Sendable {
    static let shared = SerialNumberManager()

    private let lock = NSLock()
    private var serialNumber = 0

    private init() { }

    func nextSerialNumber() -> Int {
        lock.withLock {
            serialNumber += 1
            return serialNumber
        }
    }
}

    @unchecked Sendable请注意，我们仅会在实现手动同步时才会使用，如上所述。

    你可以像这样使用它：

    class A {
    let serialNumber = SerialNumberManager.shared.nextSerialNumber()
    let name: String

    init( /* some parameters */ ) {
        self.name = "\(serialNumber)"
    }
}

    或者，您可以使用OSAllocatedUnfairLock，它已经是Sendable：

    import os.lock

class A {
    private static let serialNumber = OSAllocatedUnfairLock(initialState: 0)
    let name: String

    init( /* some parameters */ ) {
        let value = Self.serialNumber.withLock { value in
            value += 1
            return value
        }
        self.name = "\(value)"
    }
}

    为了完整起见，其他替代方案包括原子或UUID。

    • 1

相关问题