OOP 可变状态 vs 函数式装配线

核心摘要

本集针对 OOP 中可变状态导致的隐式级联修改与架构僵局，主张利用 JavaScript 的多范式特性与一等函数，采用“数据思维”将系统建模为不可变的函数式装配线，配合 V8 JIT 优化消除性能顾虑，在边界处校验数据、内部纯函数流转，彻底规避全局可变性带来的不可预测 Bug。

干货提炼

主题一：OOP 可变状态 vs 函数式装配线

• [判断：OOP 的隐式耦合是大规模代码库的“机械表”噩梦]：转录稿以复古机械表为喻，拨动一个齿轮（改一处状态）即触发十几个齿轮联动（级联副作用），导致开发者大量时间耗在追踪晦涩状态 Bug 而非交付特性。
• [判断：函数式编程将关注点从“名词/对象”转移到“动词/纯函数”]：原始数据只进不出，每个站点产出新数据，原料从不被原地修改；`parseAge` 示例展示如何把日志、DOM、报警等副作用抽离为 `warn`/`fail` 等动词函数注入管线，核心解析逻辑永不被触动，实现控制反转且无需重型 DI 框架。

主题二：一等函数与 V8 JIT 消除性能顾虑

• [判断：JS 原生一等函数是应用式编程的引擎]：函数可赋值、入数组、作参数传递，支撑 `map`/`reduce`/`filter` 替代命令式循环，实现声明式数据转换。
• [判断：现代 V8 通过 JIT 内联缓存与代码内联将函数调用开销“压平”]：引擎监测热点函数反复以同类型参数被调用，直接把机器码内联进调用方，消除上下文切换与栈帧开销；反之，巨大的命令式循环若频繁改变对象形状会触发隐藏类失效导致去优化，反而更慢。

主题三：高阶函数做“适配器”解耦框架契约

• [判断：用高阶函数把核心谓词与框架强制签名隔离]：`Array.sort` 要求比较器返回 -1/0/1，Fogus 先写通用 `lessOrEqual` 返回布尔，再写 `comparator` 高阶函数把布尔映射为三值；像旅行转换插头，核心逻辑保持纯净可复用，换框架只换适配器。

主题四：数据思维——统一原语 + 边界校验

• [判断：Alan Perlis “一百个函数操作一个数据结构”优于“十个函数操作十个数据结构”]：抛弃 `User`/`Invoice` 等定制类，统一用普通对象与数组；CSV 解析直接得 `Array<Object>`，零样板代码。
• [判断：结构保证前移到系统边界，内部“信任但不验证”]：在 API 入口、CSV 读取处写健壮校验函数，拒绝不合规数据；一旦进入内部管线，所有通用函数（`project`/`restrict`/`as` 等伪 SQL 引擎）均可直接组合，输入输出同构，零拷贝（引用传递），内存开销极小。

主题五：引用透明与全局作用域隔离

• [判断：隐式全局变量是 JS 独有的“静默污染”源头]：未声明赋值会沿作用域链爬到全局对象（`window`/`global`），任意第三方脚本可无声覆盖，导致远距离崩溃且堆栈无法定位源头。
• [判断：纯函数强制显式输入输出，从根上切断副作用传播]：不读全局、不写全局，配置必须显式传参；全代码库推行此纪律，可消灭整类 Bug，认知负荷降至“只看装配线数据流向”。

高光金句

• ❝ If you turn just one gear, it instantly turns three others, and then those turn ten more, which is great for a watch, but as a metaphor for software architecture, it is an absolute nightmare. ❞
• ❝ V eight essentially flattens your beautiful, modular functional code into this highly optimized, imperative machine code block under the hood. ❞
• ❝ Focus's comparator function is that travel adapter. ❞

提及资源

• 书籍/文章/内容：《Functional JavaScript》 - Michael Fogus 著，全书核心教材，用 Underscore.js 演示函数式架构哲学。
• 人物/公司/组织：Alan Perlis - 计算机科学先驱，其名言“让一百个函数操作一个数据结构”被引用为“数据思维”理论基石。