swift-case-paths

swift-case-paths

Swift枚举的键路径式访问工具

swift-case-paths库为Swift枚举提供类似键路径的功能。通过@CasePathable宏生成CaseKeyPath,开发者可以像访问结构体属性一样操作枚举的关联值。这个库简化了复杂枚举类型的处理,适用于SwiftUI和Combine等框架中的状态管理。它支持关联值的提取、嵌入、修改和动态成员查找,增强了枚举类型的灵活性。

CasePathsSwift枚举键路径动态成员查找Github开源项目

🧰 CasePaths

CI Slack

案例路径将键路径层次结构扩展到枚举案例。

动机

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>

案例路径 vs. 键路径

提取、嵌入、修改和测试值

正如键路径打包了在根结构上获取和设置值的功能,案例路径打包了可选地提取和修改根枚举关联值的功能。

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 查找

因为 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 的 embedextract 功能:

@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 WilliamsStephen 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

全球首个AI音乐社区

音述AI是全球首个AI音乐社区,致力让每个人都能用音乐表达自我。音述AI提供零门槛AI创作工具,独创GETI法则帮助用户精准定义音乐风格,AI润色功能支持自动优化作品质感。音述AI支持交流讨论、二次创作与价值变现。针对中文用户的语言习惯与文化背景进行专门优化,支持国风融合、C-pop等本土音乐标签,让技术更好地承载人文表达。

lynote.ai

lynote.ai

一站式搞定所有学习需求

不再被海量信息淹没,开始真正理解知识。Lynote 可摘要 YouTube 视频、PDF、文章等内容。即时创建笔记,检测 AI 内容并下载资料,将您的学习效率提升 10 倍。

AniShort

AniShort

为AI短剧协作而生

专为AI短剧协作而生的AniShort正式发布,深度重构AI短剧全流程生产模式,整合创意策划、制作执行、实时协作、在线审片、资产复用等全链路功能,独创无限画布、双轨并行工业化工作流与Ani智能体助手,集成多款主流AI大模型,破解素材零散、版本混乱、沟通低效等行业痛点,助力3人团队效率提升800%,打造标准化、可追溯的AI短剧量产体系,是AI短剧团队协同创作、提升制作效率的核心工具。

seedancetwo2.0

seedancetwo2.0

能听懂你表达的视频模型

Seedance two是基于seedance2.0的中国大模型,支持图像、视频、音频、文本四种模态输入,表达方式更丰富,生成也更可控。

nano-banana纳米香蕉中文站

nano-banana纳米香蕉中文站

国内直接访问,限时3折

输入简单文字,生成想要的图片,纳米香蕉中文站基于 Google 模型的 AI 图片生成网站,支持文字生图、图生图。官网价格限时3折活动

扣子-AI办公

扣子-AI办公

职场AI,就用扣子

AI办公助手,复杂任务高效处理。办公效率低?扣子空间AI助手支持播客生成、PPT制作、网页开发及报告写作,覆盖科研、商业、舆情等领域的专家Agent 7x24小时响应,生活工作无缝切换,提升50%效率!

堆友

堆友

多风格AI绘画神器

堆友平台由阿里巴巴设计团队创建,作为一款AI驱动的设计工具,专为设计师提供一站式增长服务。功能覆盖海量3D素材、AI绘画、实时渲染以及专业抠图,显著提升设计品质和效率。平台不仅提供工具,还是一个促进创意交流和个人发展的空间,界面友好,适合所有级别的设计师和创意工作者。

图像生成热门AI工具AI图像AI反应堆AI工具箱AI绘画GOAI艺术字堆友相机
码上飞

码上飞

零代码AI应用开发平台

零代码AI应用开发平台,用户只需一句话简单描述需求,AI能自动生成小程序、APP或H5网页应用,无需编写代码。

Vora

Vora

免费创建高清无水印Sora视频

Vora是一个免费创建高清无水印Sora视频的AI工具

Refly.AI

Refly.AI

最适合小白的AI自动化工作流平台

无需编码,轻松生成可复用、可变现的AI自动化工作流

下拉加载更多