如果 class 持有对不可发送的 singleton 的引用，它可以发送吗？

Question

假设我有一个 class，它只有 state 是对 singleton class 的引用：

class MyClass {
    let networkHelper: NetworkHelper

    func makeNetworkRequest(_ url: URL) {
        networkHelper.actuallyMakeNetworkRequest(url)
    }
}

NetworkHelper Sendable不可发送； 它维护一些可变的 state（尽管 state 对外部调用者来说几乎是不可见的）。 但是，class是singleton，因此MyClass的任何两个实例将始终持有对同一NetworkHelper的引用。

鉴于MyClass本身不包含可变 state，并且它确实持有对非Sendable class 实例的引用， MyClass是否符合Sendable ？

Answer 1

简而言之，因为NetworkHelper不是Sendable ，所以MyClass也不能是Sendable 。 NetworkHelper是 singleton 这一事实并不重要。

FWIW，编译器会在这里帮助你：如果你试图让MyClass符合Sendable （通过使其成为final的并添加Sendable一致性），编译器会告诉你NetworkHelper不是Sendable的问题：

final class MyClass: Sendable {
    let networkHelper: NetworkHelper = .shared    // Stored property 'networkHelper' of 'Sendable'-conforming class 'MyClass' has non-sendable type 'NetworkHelper'

    func makeNetworkRequest(_ url: URL) {
        networkHelper.actuallyMakeNetworkRequest(url)
    }
}

要使MyClass成为Sendable ，您还需要使NetworkHelper符合Sendable 。

FWIW，如果NetworkHelper有一个可变的 state，你可能想要让它成为线程安全的，无论如何，一旦你这样做，让它成为Sendable也很容易。

Answer 2

来自文档

可发送类为了满足可发送协议的要求，class 必须：

被标记为最终

仅包含不可变且可发送的存储属性

没有超类或有 NSObject 作为超类

标有@MainActor 的类是隐式可发送的，因为主要参与者协调对其 state 的所有访问。这些类可以具有可变且不可发送的存储属性。

不符合上述要求的类可以标记为@unchecked Sendable，在您手动验证它们满足 Sendable 协议的语义要求后，禁用编译时正确性检查。

据此，可发送

• 你的 MyClass 应该是最终的
• 你的 singleton,.networkHelper 应该是不可变的和可发送的
• 应该没有超类[已经是]