文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

Sendable 和 @Sendable 闭包代码实例详解

2024-12-01 14:06

关注

Sendable​ 和 @Sendable 是 Swift 5.5 中的并发修改的一部分,解决了结构化的并发结构体和执行者消息之间传递的类型检查的挑战性问题。

应该在什么时候使用 Sendable?

Sendable协议和闭包表明那些传递的值的公共API是否线程安全的向编译器传递了值。当没有公共修改器、有内部锁定系统或修改器实现了与值类型一样的复制写入时,公共API可以安全地跨并发域使用。

标准库中的许多类型已经支持了Sendable协议,消除了对许多类型添加一致性的要求。由于标准库的支持,编译器可以为你的自定义类型创建隐式一致性。

例如,整型支持该协议:

extension Int: Sendable {}

一旦我们创建了一个具有 Int 类型的单一属性的值类型结构体,我们就隐式地得到了对 Sendable 协议的支持。

struct Article {
var views: Int
}

与此同时,同样的 Article 内容的类,将不会有隐式遵守该协议:

class Article {
var views: Int
}

类不符合要求,因为它是一个引用类型,因此可以从其他并发域变异。换句话说,该类文章(Article)的传递不是线程安全的,所以编译器不能隐式地将其标记为遵守Sendable协议。

使用泛型和枚举时的隐式一致性

很好理解的是,如果泛型不符合Sendable协议,编译器就不会为泛型添加隐式的一致性。

struct Container<Value> {
var child: Value
}

然而,如果我们将协议要求添加到我们的泛型中,我们将得到隐式支持:

struct Container<Value: Sendable> {
var child: Value
}

对于有关联值的枚举也是如此:

如果枚举值们不符合 Sendable 协议,隐式的Sendable协议一致性就不会起作用。

你可以看到,我们自动从编译器中得到一个错误:

Associated value ‘loggedIn(name:)’ of ‘Sendable’-conforming enum ‘State’ has non-sendable type ‘(name: NSAttributedString)’。

我们可以通过使用一个值类型String来解决这个错误,因为它已经符合Sendable。

enum State: Sendable {
case loggedOut
case loggedIn(name: String)
}

从线程安全的实例中抛出错误

同样的规则适用于想要符合Sendable的错误类型。

struct ArticleSavingError: Error {
var author: NonFinalAuthor
}

extension ArticleSavingError: Sendable { }

由于作者不是不变的(non-final),而且不是线程安全的(后面会详细介绍),我们会遇到以下错误:

Stored property ‘author’ of ‘Sendable’-conforming struct ‘ArticleSavingError’ has non-sendable type ‘NonFinalAuthor’。

你可以通过确保ArticleSavingError​的所有成员都符合Sendable协议来解决这个错误。

隐式一致性消除了很多我们需要自己为Sendable协议添加一致性的情况。然而,在有些情况下,我们知道我们的类型是线程安全的,但是编译器并没有为我们添加隐式一致性。

常见的例子是被标记为不可变和内部具有锁定机制的类:

final class User: Sendable {
let name: String

init(name: String) { self.name = name }
}

你需要用@unchecked属性来标记可变类,以表明我们的类由于内部锁定机制所以是线程安全的:

extension DispatchQueue {
static let userMutatingLock = DispatchQueue(label: "person.lock.queue")
}

final class MutableUser: @unchecked Sendable {
private var name: String = ""

func updateName(_ name: String) {
DispatchQueue.userMutatingLock.sync {
self.name = name
}
}
}

Sendable协议的一致性必须发生在同一个源文件中,以确保编译器检查所有可见成员的线程安全。

例如,你可以在例如 Swift package这样的模块中定义以下类型:

public struct Article {
internal var title: String
}

Article 是公开的,而title是内部的,在模块外不可见。因此,编译器不能在源文件之外应用Sendable一致性,因为它对属性不可见,即使使用的是遵守Sendable协议的String类型。

同样的问题发生在我们想要使一个可变的非最终类遵守Sendable协议时:

可变的非最终类无法遵守 Sendable 协议。

由于该类是非最终的,我们无法符合Sendable​协议的要求,因为我们不确定其他类是否会继承User​的非Sendable成员。因此,我们会遇到以下错误:

Non-final class ‘User’ cannot conform to ​Sendable​; use ​@unchecked Sendable​。

正如你所看到的,编译器建议使用@unchecked Sendable​。我们可以把这个属性添加到我们的User类中,并摆脱这个错误:

class User: @unchecked Sendable {
let name: String

init(name: String) { self.name = name }
}

然而,这确实要求我们无论何时从User继承,都要确保它是线程安全的。由于我们给自己和同事增加了额外的责任,我不鼓励使用这个属性,建议使用组合、最终类或值类型来实现我们的目的。

函数可以跨并发域传递,因此也需要可发送的一致性。然而,函数不能符合协议,所以Swift引入了@Sendable属性。你可以传递的函数的例子是全局函数声明、闭包和访问器,如getters和setters。

SE-302的部分动机是执行尽可能少的同步。

我们希望这样一个系统中的绝大多数代码都是无同步的。

使用@Sendable属性,我们将告诉编译器,他不需要额外的同步,因为闭包中所有捕获的值都是线程安全的。一个典型的例子是在Actor isolation中使用闭包。

actor ArticlesList {
func filteredArticles(_ isIncluded: @Sendable (Article) -> Bool) async -> [Article] {

}
}

如果你用非 Sendabel 类型的闭包,我们会遇到一个错误:

let listOfArticles = ArticlesList()
var searchKeyword: NSAttributedString? = NSAttributedString(string: "keyword")
let filteredArticles = await listOfArticles.filteredArticles { article in
guard let searchKeyword = searchKeyword else { return false }
return article.title == searchKeyword.string
}

当然,我们可以通过使用一个普通的String来快速解决这种情况,但它展示了编译器如何帮助我们执行线程安全。

Xcode 14 允许您通过 SWIFT_STRICT_CONCURRENCY 构建设置启用严格的并发性检查。

启用严格的并发性检查,以修复 Sendable 的符合性。

这个构建设置控制编译器对Sendable和actor-isolation检查的执行水平:

严格的并发检查构建设置有助于 Swift 向数据竞赛安全迈进。与此构建设置相关的每一个触发的警告都可能表明你的代码中存在潜在的数据竞赛。因此,必须考虑启用严格并发检查来验证你的代码。

Enabling strict concurrency in Xcode 14

你会得到的警告数量取决于你在项目中使用并发的频率。对于Stock Analyzer,我有大约17个警告需要解决:

并发相关的警告,表明潜在的数据竞赛。

这些警告可能让人望而生畏,但利用本文的知识,你应该能够摆脱大部分警告,防止数据竞赛的发生。然而,有些警告是你无法控制的,因为是外部模块触发了它们。在我的例子中,我有一个与SWHighlight有关的警告,它不符合Sendable,而苹果在他们的SharedWithYou框架中定义了它。

在上述SharedWithYou框架的例子中,最好是等待库的所有者添加Sendable支持。在这种情况下,这就意味着要等待苹果公司为SWHighlight实例指明Sendable的一致性。对于这些库,你可以通过使用@preconcurrency属性来暂时禁用Sendable警告:

@preconcurrency import SharedWithYou

重要的是要明白,我们并没有解决这些警告,而只是禁用了它们。来自这些库的代码仍然有可能发生数据竞赛。如果你正在使用这些框架的实例,你需要考虑实例是否真的是线程安全的。一旦你使用的框架被更新为Sendable的一致性,你可以删除@preconcurrency属性,并修复可能触发的警告。

来源:Swift社区内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     813人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     354人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     318人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     435人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     224人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯