第3章 函数式编程核心与面试考察
函数式编程是 Scala 面试中区分基础与深度的关键板块。面试官往往从 纯函数 切入，逐步考察 不可变性、副作用管理 以及 Monad 的理解深度。掌握这四个概念的内在逻辑和实际应用，是拿下 Scala 岗位的基础。
知识结构对比
| 概念 | 定义 | 面试高频点 | 典型问题 |
|---|---|---|---|
| 纯函数 | 相同输入必得相同输出，无副作用 | 引用透明性 | 什么是纯函数？如何判断？ |
| 不可变性 | 对象创建后状态不可变 | 线程安全、结构共享 | 如何保证不可变性？ |
| 副作用 | 函数与外部环境交互并修改状态 | 副作用隔离、IO monad | Scala 如何处理副作用？ |
| Monad | 一种设计模式，封装计算上下文 | flatMap、Monad 定律 | 解释 Monad 并举例 |
面试问答卡
问题1：请解释纯函数和不可变性的关系。
考察点：是否理解纯函数的“无副作用”与不可变数据结构的联系，以及 Scala 中实现方式。
回答框架：纯函数要求无副作用 → 不可变性帮助避免副作用 → 引用透明 → 举例（case class + val）。
示例回答：“纯函数是返回值仅由输入决定的函数。不可变性保证对象状态不改变，防止副作用。二者共同实现引用透明性，例如 Scala 的 case class 默认不可变，配合 copy 生成新实例，从而保持函数纯净。”
可能追问：不可变集合的底层结构？（结构共享 / 持久化）
避坑提醒：不要只说“不可变就是 val”，要理解引用不可变与对象不可变的区别。同时避免将纯函数与不可变性混为一谈，它们本质不同但协同。
问题2：在 Scala 中如何处理副作用？
考察点：是否熟悉函数式编程中副作用的隔离方式，如 IO Monad、Future、ZIO 等。
回答框架：副作用不可避免 → 用 Monad 封装 → 推迟执行 → 组合控制（flatMap / for comprehension）。
示例回答：“Scala 通过 Monad（如 Future、IO）将副作用延迟到解释层。例如 Future 封装异步计算，用 map/flatMap 组合纯逻辑，只在最后通过 Await 或框架执行。这保持了主逻辑的纯函数特性。”
可能追问：IO Monad 和 Future 的区别？（惰性 vs 立即执行）
避坑提醒：避免说“使用 var 或 println 也可以管理副作用”——面试官希望看到你理解函数式范式下的隔离思想。也不要把 Future 直接当成纯函数，需指出其立即执行的特性。
问题3：请解释 Monad 的概念并给出例子。
考察点：是否理解 Monad 的本质（可组合的计算上下文），是否掌握 flatMap 和 Monad 定律。
回答框架：Monad 是 type class → 提供 pure 和 flatMap → 满足左单位元/右单位元/结合律 → 常用例子（Option, List, Future）。
示例回答：“Monad 是封装计算上下文的设计模式，具有 pure 和 flatMap 操作。例如 Option：pure 包装值，flatMap 顺序组合可能失败的计算。这样避免空指针检查，代码更安全且组合灵活。”
可能追问：如何自己实现一个简单的 Monad？（定义 pure 和 flatMap）
避坑提醒：不要只背概念，要手写例子。避免混淆 Monad 和 Functor（缺少 flatMap 是 Functor）。注意区分 Monad 和配套的 for comprehension 语法糖。