高阶函数与行为参数化

核心摘要

本集解决的核心问题是：如何在 C# 中用函数式编程思维消除共享可变状态导致的并发灾难、空引用异常、不诚实的函数签名以及嵌套的命令式控制流。核心判断是：通过将函数作为一等值、拥抱不可变数据、编写纯函数、用 Option 类型替代 null/异常、用 Map/Bind 组合流水线，可在不放弃 C# 特性的前提下，构建出线程安全、可测试、编译期即发现错误的工程级代码。

干货提炼

主题一：高阶函数与行为参数化

• [函数是一等值，可赋值、传参、返回]：C# 通过委托和 Lambda 实现，解锁高阶函数（HOF），即接受函数为参数或返回函数的函数。
• [HOF 将“机械逻辑”与“业务逻辑”分离]：以 `List.Where` 为例，管理循环/索引的样板代码由 HOF 内部封装，调用者仅传入判断谓词；自定义 `Using` 函数可一次性封装数据库连接的打开/关闭/释放，消除五十个仓库里的重复 `using` 块。

主题二：不可变数据与并发安全

• [原地变更是并发噩梦的根源]：`List.Sort` 会在内存中物理重排元素，导致并发读线程读到错位数据（书中示例：对同一列表并发求和与排序，结果出现 9339770 这种荒谬值）。
• [不可变操作天然线程安全]：LINQ 的 `OrderBy` 返回新列表，原列表不变；多线程并发读互不干扰，无需锁，免费获得并行化能力。

主题三：纯函数与副作用隔离

• [纯函数两铁律：仅依赖输入、零副作用]：副作用包括修改全局变量、抛异常、IO（数据库、控制台、系统时钟）；依赖系统时钟会导致同输入不同时间返回不同结果，破坏确定性。
• [纯函数默认线程安全、测试零依赖]：`ToSentenceCase` 可跨百核并行；测试只需 `input -> output` 断言，无需 Mock `IDateTimeService`。实践策略：把纯计算核心（解析、转换、排版）推到内层，把脏 IO（读文件、写 PDF）推到外层“壳”里。

主题四：诚实签名与智能构造器

• [签名即契约，不诚实签名会隐形崩溃]：`CalculateRiskProfile(int age)` 签名承诺接受任意整数，内部却对负数抛 `ArgumentException`，调用方编译通过、运行时炸。
• [智能构造器让非法状态不可表达]：定义不可变 `Age` 类型，提供 `Age.Create(int)` 验证并返回 `Option<Age>`；`CalculateRiskProfile` 改为接受 `Age` 类型，签名彻底诚实，函数体再无防御性检查。

主题五：Option 类型与函子/单子模式

• [Option 替代 null/异常，强制编译期处理缺失]：`Option<T>` 只有 `Some(T)` 与 `None` 两种状态；将 `string` 改为 `Option<string>` 会导致全代码库编译报错，这是特性而非缺陷——把运行时崩溃变成编译期清单。
• [Map 自动穿透 None，Bind 拍平嵌套容器]：`Map`：箱子里有苹果→烤成派装回箱子；箱子空→原样返回空箱子，无需写 `if`。`Bind`：当函数本身返回 `Option` 时（如解析→智能构造），`Map` 会产生 `Option<Option<T>>`，`Bind` 负责拍平为单层 `Option<T>`。
• [ForEach 在管道末端执行副作用]：仅当数据一路流到末尾仍为 `Some` 时，才执行写库、发邮件等副作用。

主题六：函数式工作流与领域建模重构

• [声明式链式管道替代箭头型嵌套]：银行转账控制器：`Request -> Option -> Map(归一化) -> Filter(校验) -> ForEach(入账)`，全程无 `if`/`try-catch`/临时变量。
• [数据与行为分离非倒退而是升维]：传统 OOP `Account.Debit` 修改内部状态、抛异常；函数式拆为不可变 `AccountState`（纯数据）+ 纯静态 `Debit(AccountState, Amount) -> Option<AccountState>`。状态成只读快照，行为成可组合纯函数，消除隐式副作用与隐式异常，提升可测试性与并发推理能力。

高光金句

• ❝ Someone else is standing right next to you frantically flipping the pages of your book back and forth while you're trying to read it. ❞
• ❝ The mission here is to basically act as a shortcut for you, because you absolutely do not need a PhD in mathematics to use these concepts. ❞
• ❝ The goal was never to eliminate IO entirely. It is to isolate it. ❞
• ❝ By changing the signature to an option, the compiler becomes your personal assistant. It flags every single place in your massive codebase that needs to be updated to acknowledge this new optional reality. ❞
• ❝ Bind does the exact same conditional execution as MAP, but it has a special power. It flattens the result. ❞
• ❝ It's not about regressing to procedural spaghetti code. It's about making the business logic mathematically predictable and completely testable in isolation. ❞

提及资源

• 书籍/文章/内容：《Functional Programming in C#》 - Enrico Buonanno（转录中误读为 "Enrico Banana"）著，全集核心参考书，提供并发灾难示例、Pandoc 架构图、银行转账建模对比等。
• 人物/公司/组织：Pandoc - 文档转换器，书中用作“纯核心 + 不纯外壳”架构的实例。