案例路径将键路径层次结构扩展到枚举案例。
Swift为每个结构体和类的属性都赋予了键路径。
struct User { let id: Int var name: String } \User.id // KeyPath<User, Int> \User.name // WritableKeyPath<User, String>
这是编译器生成的代码,可以用来抽象地聚焦结构的一部分,检查甚至更改它,同时将这些更改传播到整个结构。它们是许多现代Swift API的无声伙伴,这些API由动态成员查找驱动,如SwiftUI 绑定,但也直接出现,如在SwiftUI 环境和不安全可变指针中。
不幸的是,枚举案例不存在这样的结构。
enum UserAction { case home(HomeAction) case settings(SettingsAction) } \UserAction.home // 🛑
🛑 键路径不能引用静态成员'home'
因此,无法编写通用代码来放大和修改枚举中特定案例的数据。
迄今为止,案例路径最常见的用途是作为分发给其他开发者的库中的工具。案例路径在可组合架构、SwiftUI导航、解析和许多其他库中使用。
如果你维护一个库,期望用户使用枚举来模型化他们的领域,那么为他们提供案例路径工具可以帮助他们将领域分解成更小的单元。例如,考虑SwiftUI提供的Binding
类型:
struct Binding<Value> { let get: () -> Value let set: (Value) -> Void }
通过动态成员查找的力量,我们能够支持点链接语法来派生值成员的新绑定:
@dynamicMemberLookup struct Binding<Value> { … subscript<Member>(dynamicMember keyPath: WritableKeyPath<Value, Member>) -> Binding<Member> { Binding<Member>( get: { self.get()[keyPath: keyPath] }, set: { var value = self.get() value[keyPath: keyPath] = $0 self.set(value) } ) } }
如果你有一个用户的绑定,你可以简单地附加.name
到该绑定上,立即派生出用户名称的绑定:
let user: Binding<User> = // ... let name: Binding<String> = user.name
然而,对于枚举来说,没有这样的便利:
enum Destination { case home(HomeState) case settings(SettingsState) } let destination: Binding<Destination> = // ... destination.home // 🛑 destination.settings // 🛑
无法通过使用简单的点链接语法从目标绑定中派生出只针对home
案例的绑定。
然而,如果SwiftUI使用这个CasePaths库,他们就可以很容易地提供这个工具。他们可以提供一个额外的dynamicMember
下标,使用CaseKeyPath
,这是一个单独指出枚举案例的键路径,并用它来派生出枚举特定案例的绑定:
import CasePaths extension Binding { public subscript<Case>(dynamicMember keyPath: CaseKeyPath<Value, Case>) -> Binding<Case>? where Value: CasePathable { Binding<Case>( unwrapping: Binding<Case?>( get: { self.wrappedValue[case: keyPath] }, set: { newValue, transaction in guard let newValue else { return } self.transaction(transaction).wrappedValue[case: keyPath] = newValue } ) ) } }
定义好之后,可以用@CasePathable
宏注释枚举,然后立即使用点链接从枚举的绑定中派生出案例的绑定:
@CasePathable enum Destination { case home(HomeState) case settings(SettingsState) } let destination: Binding<Destination> = // ... destination.home // Binding<HomeState>? destination.settings // Binding<SettingsState>?
这是一个例子,说明库如何为用户提供工具,以拥抱枚举而不失去结构体的人体工程学。
虽然库工具是使用这个库的最大用例,但在第一方代码中也有一些使用案例路径的方法。该库通 过引入我们称之为"案例路径"的东西来弥合结构体和枚举之间的差距:枚举案例的键路径。
可以使用@CasePathable
宏为枚举启用案例路径:
@CasePathable enum UserAction { case home(HomeAction) case settings(SettingsAction) }
它们可以通过"可案例路径"枚举的Cases
命名空间生成:
\UserAction.Cases.home // CaseKeyPath<UserAction, HomeAction> \UserAction.Cases.settings // CaseKeyPath<UserAction, SettingsAction>
像任何键路径一样,当可以推断枚举类型时,它们可以被缩写:
\.home as CaseKeyPath<UserAction, HomeAction> \.settings as CaseKeyPath<UserAction, SettingsAction>
正如键路径打包了在根结构上获取和设置值的功能,案例路径打包了可选地提取和修改根枚举关联值的功能。
user[keyPath: \User.name] = "Blob" user[keyPath: \.name] // "Blob" userAction[case: \UserAction.Cases.home] = .onAppear userAction[case: \.home] // Optional(HomeAction.onAppear)
如果案例不匹配,提取可能会失败并返回nil
:
userAction[case: \.settings] // nil
案例路径有一个额外的能力,就是将关联值嵌入到一个全新的根中:
let userActionToHome = \UserAction.Cases.home userActionToHome(.onAppear) // UserAction.home(.onAppear)
可以使用可案例路径枚举的is
方法测试案例:
userAction.is(\.home) // true userAction.is(\.settings) // false let actions: [UserAction] = […] let homeActionsCount = actions.count(where: { $0.is(\.home) })
可以使用modify
方法就地修改它们的关联值:
var result = Result<String, Error>.success("Blob") result.modify(\.success) { $0 += ", Jr." } result // Result.success("Blob, Jr.")
案例路径,像键路径一样,可以组合。你可以使用熟悉的点链接深入到枚举的枚举案例中:
\HighScore.user.name // WritableKeyPath<HighScore, String> \AppAction.Cases.user.home // CaseKeyPath<AppAction, HomeAction>
或者你可以将它们附加在一起:
let highScoreToUser = \HighScore.user let userToName = \User.name let highScoreToUserName = highScoreToUser.append(path: userToName) // WritableKeyPath<HighScore, String>
让 appActionToUser = \AppAction.Cases.user 让 userActionToHome = \UserAction.Cases.home 让 appActionToHome = appActionToUser.append(path: userActionToHome) // CaseKeyPath<AppAction, HomeAction>
#### 恒等路径
Case paths 和 key paths 一样,也提供了一个[恒等](https://github.com/apple/swift-evolution/blob/master/proposals/0227-identity-keypath.md)路径,这在与使用 key paths 和 case paths 的 API 交互时很有用,但你想处理整个结构。
``` swift
\User.self // WritableKeyPath<User, User>
\UserAction.Cases.self // CaseKeyPath<UserAction, UserAction>
自 Swift 5.2 起,key path 表达式可以直接传递给像 map
这样的方法。带有动态成员查找注解的可 case-pathable 枚举为每个 case 启用了属性访问和 key path 表达式。
@CasePathable @dynamicMemberLookup enum UserAction { case home(HomeAction) case settings(SettingsAction) } let userAction: UserAction = .home(.onAppear) userAction.home // Optional(HomeAction.onAppear) userAction.settings // nil let userActions: [UserAction] = [.home(.onAppear), .settings(.purchaseButtonTapped)] userActions.compactMap(\.home) // [HomeAction.onAppear]
因为 case key paths 本质上是 key paths,所以它们可以用于相同的应用场景,比如动态成员查找。例如,我们可以通过扩展带有下标的绑定类型来扩展 SwiftUI 的绑定类型到枚举 cases:
extension Binding { subscript<Member>( dynamicMember keyPath: CaseKeyPath<Value, Member> ) -> Binding<Member>? { guard let member = self.wrappedValue[case: keyPath] else { return nil } return Binding<Member>( get: { self.wrappedValue[case: keyPath] ?? member }, set: { self.wrappedValue[case: keyPath] = $0 } ) } } @CasePathable enum ItemStatus { case inStock(quantity: Int) case outOfStock(isOnBackOrder: Bool) } struct ItemStatusView: View { @Binding var status: ItemStatus var body: some View { switch self.status { case .inStock: self.$status.inStock.map { $quantity in Section { Stepper("数量: \(quantity)", value: $quantity) Button("标记为售罄") { self.item.status = .outOfStock(isOnBackOrder: false) } } header: { Text("有库存") } } case .outOfStock: self.$status.outOfStock.map { $isOnBackOrder in Section { Toggle("是否在补货中?", isOn: $isOnBackOrder) Button("已重新有库存!") { self.item.status = .inStock(quantity: 1) } } header: { Text("缺货") } } } } }
注意 上面是我们 SwiftUINavigation 库中提供的下标的简化版本。
Key paths 为每个属性创建,甚至是计算属性,那么 case paths 的等价物是什么?嗯,可以通过扩展 case-pathable 枚举的 AllCasePaths
类型来创建"计算"case paths,属性实现自定义 case 的 embed
和 extract
功能:
@CasePathable enum Authentication { case authenticated(accessToken: String) case unauthenticated } extension Authentication.AllCasePaths { var encrypted: AnyCasePath<Authentication, String> { AnyCasePath( embed: { decryptedToken in .authenticated(token: encrypt(decryptedToken)) }, extract: { authentication in guard case let .authenticated(encryptedToken) = authentication, let decryptedToken = decrypt(token) else { return nil } return decryptedToken } ) } } \Authentication.Cases.encrypted // CaseKeyPath<Authentication, String>
SwiftUINavigation 使用 case paths 来为 SwiftUI 绑定提供动力,包括使用枚举的导航。
The Composable Architecture 允许你将大型功能分解成更小的功能,这些功能可以通过用户 key paths 和 case paths 粘合在一起。
Parsing 使用 case paths 将非结构化数据转换为枚举,反之亦然。
你有使用 case paths 的项目想要分享吗?请提交 PR 添加链接!
如果你想讨论这个库或有关于如何使用它解决特定问题的问题,有几个地方可以与其他 Point-Free 爱好者讨论:
CasePaths API 的最新文档可在这里找到。
特别感谢 Giuseppe Lanza,他的 EnumKit 启发了这个库最初使用的基于反射的解决方案来实现 case paths。
这些概念(以及更多)在 Point-Free 中得到了深入探讨,这是一个由 Brandon Williams 和 Stephen Celis 主持的探索函数式编程和 Swift 的视频系列。
这个库的设计在以下 Point-Free 剧集中得到了探讨:
<a href="https://www.pointfree.co/episodes/ep87-the-case-for-case-paths-introduction"> <img alt="视频海报图片" src="https://yellow-cdn.veclightyear.com/2b54e442/c801217b-00b5-40d5-b7ea-4e7e54fde17e.jpeg" width="480"> </a>所有模块都在 MIT 许可下发布。详见 LICENSE。
全能AI智能助手,随时解答生活与工作的多样问题
问小白,由元石科技研发的AI智能助手,快速准确地解答各种生活和工作问题,包括但不限于搜索、规划和社交互动,帮助用户在日常生活中提高效率,轻松管理个人事务。
实时语音翻译/同声传译工具
Transly是一个多场景的AI大语言模型驱动的同声传译、专业翻译助手,它拥有超精准的音频识别翻译能力,几乎零延迟的使用体验和支持多国语言可以让你带它走遍全球,无论你是留学生、商务人士、韩剧美剧爱好者,还是出国游玩、多国会议、跨国追星等等,都可以满足你所有需要同传的场景需求,线上线下通用,扫除语言障碍,让全世界的语言交流不再有国界。
一键生成PPT和Word,让学习生活更轻松
讯飞智文是一个利用 AI 技术的项目,能够帮助用户生成 PPT 以及各类文档。无论是商业领域的市场分析报告、年度目标制定,还是学生群体的职业生涯规划、实习避坑指南,亦或是活动策划、旅游攻略等内容,它都能提供支持,帮助用户精准表达,轻松呈现各种信息。
深度推理能力全新升级,全面对标OpenAI o1
科大讯飞的星火大模型,支持语言理解、知识问答和文本创作等多功能,适用于多种文件和业务场景,提升办公和日常生活的效率。讯飞星火是一个提供丰富智能服务的平台,涵盖科技资讯、图像创作、写作辅助、编程解答、科研文献解读等功能,能为不同需求的用户提供便捷高效的帮助,助力用户轻松获取信息、解决问题,满足多样化使用场景。
一种基于大语言模型的高效单流解耦语音令牌文本到语音合成模型
Spark-TTS 是一个基于 PyTorch 的开源文本到语音合成项目,由多个知名机构联合参与。该项目提供了高效的 LLM(大语言模型)驱动的语音合成方案,支持语音克隆和语音创建功能,可通过命令行界面(CLI)和 Web UI 两种方式使用。用户可以根据需求调整语音的性别、音高、速度等参数,生成高质量的语音。该项目适用于多种场景,如有声读物制作、智能语音助手开发等。
字节跳动发布的AI编程神器IDE
Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。
AI助力,做PPT更简单!
咔片是一款轻量化在线演示设计工具,借助 AI 技术,实现从内容生成到智能设计的一站式 PPT 制作服务。支持多种文档格式导入生成 PPT,提供海量模板、智能美化、素材替换等功能,适用于销售、教师、学生等各类人群,能高效制作出高品质 PPT,满足不同场景演示需求。
选题、配图、成文,一站式创作,让内容运营更高效
讯飞绘文,一个AI集成平台,支持写作、选题、配图、排版和发布。高效生成适用于各类媒体的定制内容,加速品牌传播,提升内容营销效果。
专业的AI公文写作平台,公文写作神器
AI 材料星,专业的 AI 公文写作辅助平台,为体制内工作人员提供高效的公文写作解决方案。拥有海量公文文库、9 大核心 AI 功能,支持 30 + 文稿类型生成,助力快速完成领导讲话、工作总结、述职报告等材料,提升办公效率,是体制打工人的得力写作神器。
OpenAI Agents SDK,助力开发者便捷使用 OpenAI 相关功能。
openai-agents-python 是 OpenAI 推出的一款强大 Python SDK,它为开发者提供了与 OpenAI 模型交互的高效工具,支持工具调用、结果处理、追踪等功能,涵盖多种应用场景,如研究助手、财务研究等,能显著提升开发效率,让开发者更轻松地利用 OpenAI 的技术优势。
最新AI工具、AI资讯
独家AI资源、AI项目落地
微信扫一扫关注公众号