主页 / coding / 问题 / 79589648
Accepted
Youmate
Asked: 2025-04-24 07:56:48 +0800 CST

无法从非隔离上下文中引用 Actor 隔离属性“日志”

  • 772

我正在尝试学习 Swift 6。我一直面临的问题是，我无法读取（而不是尝试修改）来自的actor属性UI class。

是否可以在不添加额外存储属性或等待的情况下进行读取？

你能给我提供解决方案吗？

final actor Logger: Sendable {
    
    static let current = Logger()
    
    private(set) final var logs: [Int] = []
    
    private init() { }
    
    nonisolated var count: Int {
        
        return self.logs.count
    }
}

final class ViewController: NSViewController, NSTableViewDataSource {
   
    @IBOutlet weak var tableView: NSTableView!
     
    func numberOfRows(in tableView: NSTableView) -> Int {
        
        return Logger.current.count
    }
}

错误：

无法从非隔离上下文中引用 Actor 隔离属性“日志”

谢谢你！

swift

1 个回答

  1. Best Answer

    如果希望在不同的并发上下文中访问此对象，可以使用不同的同步机制await。例如，SE-0433中提到：

    在并发程序中，保护共享可变状态是确保以可解释的方式进行数据读写的核心基础问题之一。同步访问共享可变状态在 Swift 中并非新问题。我们引入了许多功能来帮助保护可变数据。Actor 是保护可变状态的良好默认解决方案，因为它将存储的数据隔离在其自己的域中。在任何给定时间点，只有一个任务会在 Actor 上执行，并对其拥有独占访问权限。多个任务无法同时访问受 Actor 保护的状态，尽管它们可以在潜在的暂停点（用 表示await）交错执行。通常，Actor 方法也非常适合代码组织，因为 Actor 的状态以及对该状态的操作在逻辑上声明在同一个位置：Actor 内部。

    并非所有代码都能够（或想要）采用 Actor。造成这种情况的原因可能多种多样，例如，代码可能必须同步执行，且不允许其他任务与其交错执行。或者，async引入对方法的影响可能会阻止无法使用 Swift 并发的遗留代码与受保护的状态进行交互。

    无论原因是什么，使用 Actor 可能并不可行。在这种情况下，Swift 目前缺少标准工具供开发者确保其并发数据结构中的正确同步。许多 Swift 程序选择使用互斥锁（或称 mutex）的临时实现。mutex 是一种易于使用的同步原语，它通过确保单个执行上下文对相关数据拥有独占访问权限来帮助保护共享的可变数据。主要问题是，这种同步原语没有统一的标准化实现，导致每个人都需要自行实现。

    因此，在 Swift 6 中可以使用Mutex：

    import Synchronization

final class Logger: Sendable {
    static let current = Logger()

    private let logs = Mutex<[Int]>([])

    private init() { }

    var count: Int {
        logs.withLock { $0.count }
    }
}

    在 Apple 平台上，这使用了不公平锁。如果你想在早期版本的 OS 中这样做，可以将 替换Mutex为OSAllocatedUnfairLock：

    import os.lock

final class Logger: Sendable {
    static let current = Logger()

    private let logs = OSAllocatedUnfairLock(initialState: [Int]())

    private init() { }

    var count: Int {
        logs.withLock { $0.count }
    }
}

    现在，您可能想要访问“日志”本身：如果是这样，您可能只会公开它，并退出count引入竞争的各个计算属性（如 、 等），而是只返回logs：

    import Synchronization

final class Logger: Sendable {
    static let current = Logger()

    private let _logs = Mutex<[Int]>([])

    private init() { }

    var logs: [Int] {
        _logs.withLock { $0 }
    }

    func append(_ value: Int) {
        _logs.withLock { $0.append(value) }
    }
}

    count这样，调用者就可以获得数组的安全副本，避免在不同线程上发生的集合的获取和变异之间的竞争。

    • 1

相关问题