Bow Optics入门：用Lens和Prism优雅操作不可变数据-北京尧图网络

Bow Optics入门用Lens和Prism优雅操作不可变数据【免费下载链接】bow Bow is a cross-platform library for Typed Functional Programming in Swift项目地址: https://gitcode.com/gh_mirrors/bow/bowBow是一个用于Swift的跨平台类型化函数式编程库它提供了强大的Optics组件帮助开发者以优雅的方式操作不可变数据。本文将带你快速掌握Lens和Prism这两种核心Optics工具让你轻松应对复杂数据结构的修改挑战。为什么需要Optics在函数式编程中不可变数据是核心原则之一。但当面对嵌套较深的数据结构时修改其中某个值就变得非常繁琐。例如要更新一个用户对象中地址的城市字段传统方式需要层层复制对象既不高效也不美观。Bow Optics提供了一种声明式的方式来访问和修改数据结构的特定部分就像为数据结构安装了光学镜片让你可以精准聚焦到需要操作的字段。Lens聚焦数据结构的特定字段Lens是一种能够聚焦到数据结构特定字段的Optics工具它本质上是一对函数get获取字段值和set设置字段值。通过Lens我们可以轻松访问和修改嵌套数据结构中的字段而无需手动复制整个对象。Lens的核心定义在Bow Optics中Lens的定义位于Sources/BowOptics/Lens.swiftpublic typealias LensS, A PLensS, S, A, A public class PLensS, T, A, B { private let getFunc: (S) - A private let setFunc: (S, B) - T public init(get: escaping (S) - A, set: escaping (S, B) - T) { self.getFunc get self.setFunc set } public func get(_ s: S) - A { ... } public func set(_ s: S, _ b: B) - T { ... } // 其他方法... }创建和使用Lens假设我们有以下数据结构struct User { let name: String let address: Address } struct Address { let street: String let city: String }我们可以创建一个Lens来聚焦到User的address字段let addressLens LensUser, Address( get: { $0.address }, set: { user, newAddress in User(name: user.name, address: newAddress) } )然后使用这个Lens来获取或修改用户的地址let user User(name: Alice, address: Address(street: Main St, city: New York)) let city addressLens.get(user).city // 获取城市 let updatedUser addressLens.set(user, Address(street: Oak Ave, city: Boston)) // 更新地址Lens的组合Lens最强大的特性之一是可组合性。我们可以将多个Lens组合起来创建一个能够聚焦到深层嵌套字段的Lenslet cityLens addressLens LensAddress, String( get: { $0.city }, set: { address, newCity in Address(street: address.street, city: newCity) } ) let updatedUser cityLens.set(user, Boston) // 直接更新城市Prism处理可选值和枚举类型Prism是另一种重要的Optics工具它适用于处理可选值和枚举类型。与Lens不同Prism处理的是可能不存在的值或只能在特定条件下访问的值。Prism的核心定义Prism的定义位于Sources/BowOptics/Prism.swiftpublic typealias PrismS, A PPrismS, S, A, A public class PPrismS, T, A, B { private let getOrModifyFunc: (S) - EitherT, A private let reverseGetFunc: (B) - T public init(getOrModify: escaping (S) - EitherT, A, reverseGet: escaping (B) - T) { self.getOrModifyFunc getOrModify self.reverseGetFunc reverseGet } public func getOrModify(_ s: S) - EitherT, A { ... } public func reverseGet(_ b: B) - T { ... } // 其他方法... }Prism有两个核心函数getOrModify尝试获取聚焦的值如果失败则返回原始值reverseGet从聚焦的值构建原始类型使用Prism处理可选值假设我们有一个可选类型的变量我们可以创建一个Prism来安全地访问它let optionalPrism PrismInt?, Int( getOrModify: { optional in optional.map(Either.right) ?? .left(nil) }, reverseGet: { $0 } ) let someValue: Int? 5 let noneValue: Int? nil optionalPrism.getOption(someValue) // Option.some(5) optionalPrism.getOption(noneValue) // Option.none() optionalPrism.reverseGet(10) // 10 as Int?使用Prism处理枚举类型Prism特别适合处理枚举类型。例如对于Result类型enum ResultSuccess, Failure: Error { case success(Success) case failure(Failure) } let successPrism PrismResultString, Error, String( getOrModify: { result in switch result { case .success(let value): return .right(value) case .failure(let error): return .left(.failure(error)) } }, reverseGet: { .success($0) } ) let successResult: ResultString, Error .success(Hello) let failureResult: ResultString, Error .failure(NSError(domain: com.example, code: 1)) successPrism.getOption(successResult) // Option.some(Hello) successPrism.getOption(failureResult) // Option.none() successPrism.reverseGet(World) // .success(World)何时使用Lens和PrismLens适用于访问和修改数据结构中必定存在的字段如结构体的属性。Prism适用于访问和修改可能不存在的值如可选类型、枚举的特定case。总结Bow Optics的Lens和Prism为Swift开发者提供了优雅处理不可变数据的强大工具。通过使用这些Optics你可以简化嵌套数据结构的访问和修改减少样板代码提高代码可读性编写更安全、更具表达力的函数式代码要开始使用Bow Optics只需将Bow库添加到你的项目中然后导入BowOptics模块即可。更多详细信息请参考官方文档和源代码。希望这篇文章能帮助你快速入门Bow Optics并在实际项目中应用这些强大的工具【免费下载链接】bow Bow is a cross-platform library for Typed Functional Programming in Swift项目地址: https://gitcode.com/gh_mirrors/bow/bow创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考

Bow Optics入门：用Lens和Prism优雅操作不可变数据

相关推荐

Win11Debloat：给Windows 11做一次彻底“卸重“，轻装出发的免费方案

AI辅助《我的世界》皮肤制作：从创意到网易版上传全流程指南

从源码到实践：手把手教你定制picasso2-okhttp3-downloader

更多资讯

GitHub访问加速：Git仓库瘦身与依赖缓存实践

Power Query动态路径：参数表与CELL函数解决路径写死问题

机器视觉+检测+三维成像：MVDIT 2026会议投稿价值与技术要点解析

纯C跨平台硬件信息采集与设备指纹实现

全桥LLC谐振变换器PFM+PSM混合控制Simulink建模详解

量化策略源码骨架解析：从回测到实盘的完整链路

今日更新

MATLAB缩进快捷键与批量格式化实战指南

用Poco实现Qt风格信号与槽的跨平台C++方案

ESXi裸机虚拟化安装指南：从硬件兼容到虚拟机部署

本周精选

金融AI落地指南：从调研报告到技术选型与工程实践

大模型上下文成本与注意力优化技术深度解析——为何O(n²)平方复杂度无法被常规优化消除｜TaoToken 统一 Key 通道实测

基于GMM的语音识别系统原理与MATLAB实现详解

本月热门

我发现了一个新思路：用 Remotion + Claude Code 像写代码一样自动化生成短视频

Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式：TaoToken 统一 Key 配置与验证

2026 大模型集体涨价：用 Python 做企业 Token 成本测算与选型避坑（附配置）

读完文章，想聊聊您的网站？