透镜是一种函数式编程技术，用于优雅地读取和修改嵌套数据结构。它通过get和set方法聚焦深层字段，保持数据不可变性，并支持透镜组合，提升代码可读与维护性，尤其适用于复杂状态管理场景。
函数式编程中，处理嵌套数据结构一直是个挑战。当对象或数组层级较深时，读取和修改属性往往需要重复写很长的路径，代码既不美观又难以维护。透镜（Lens）技术就是为了解决这个问题而生的——它提供一种优雅、可组合的方式来聚焦并操作深层数据。
什么是透镜（Lens）？
透镜本质上是一个“聚焦器”，让你可以集中关注复杂数据结构中的某个特定部分，而不必每次都手动遍历整个结构。一个透镜通常包含两个函数：
- get：从目标数据中提取指定字段的值
- set：返回一个新的数据结构，其中指定字段被更新为新值（保持不可变性）
透镜遵循函数式编程的核心原则：纯函数与不可变数据。它不直接修改原对象，而是返回新的副本。
手动实现一个简单透镜
假设我们有如下用户数据：
立即学习“Java免费学习笔记（深入）”；
const user = { profile: { name: 'Alice', address: { city: 'Beijing', zip: '100001' } } };我们可以创建一个透镜来聚焦 city 字段：
const lensProp = (path) => ({ get: (obj) => path.split('.').reduce((a, b) => a?.[b], obj), set: (val, obj) => { const keys = path.split('.'); const lastKey = keys.pop(); const target = keys.reduce((a, b) => ({ ...a[b] }), { ...obj }); let cursor = target; keys.forEach(k => cursor = cursor[k]); cursor[lastKey] = val; return target; } });使用这个透镜：
const cityLens = lensProp('profile.address.city');
cityLens.get(user); // 'Beijing'
const updated = cityLens.set('Shanghai', user);
console.log(updated.profile.address.city); // 'Shanghai'
透镜的组合能力
透镜真正的威力在于组合。你可以将多个小透镜串联起来，形成更大的透镜。比如先聚焦 profile，再聚焦 address，最后到 city：
const composeLenses = (...lenses) => ({ get: (data) => lenses.reduce((value, lens) => lens.get(value), data), set: (newValue, data) => lenses.reduceRight((d, lens) => lens.set(lens.get(d), d), lenses[lenses.length - 1].set(newValue, data)) });虽然上面的组合逻辑略简化，但在实际项目中推荐使用 Ramda 这样的库，它内置了成熟的透镜支持。
使用 Ramda 的透镜 API
Ramda 是 JavaScript 中最流行的函数式编程工具库，提供了 lensPath、view、set、over 等函数：
import { lensPath, view, set, over } from 'ramda';const cityLens = lensPath(['profile', 'address', 'city']);
view(cityLens, user); // 'Beijing'
set(cityLens, 'Shenzhen', user); // 返回新对象
over(cityLens, toUpper, user); // 城市名转大写
这些函数让数据操作变得声明式且安全，尤其适合在 Redux 或状态管理中更新深层状态。
基本上就这些。透镜不是日常必需品，但当你频繁处理嵌套结构时，它能让代码更清晰、更可靠。掌握它，是迈向高级函数式技巧的重要一步。
