函数式编程与面向对象编程，是近年来技术面试中绕不开的话题。随着 Ja va SE 8 引入函数式构造，越来越多的开发者开始关注这两种范式之间的差异。本文将从实际应用的角度，系统梳理函数式编程、命令式编程和面向对象编程的核心概念、优缺点，以及各自适用的场景，希望能帮助大家在日常开发中做出更明智的选择。
函数式编程（FP）
什么是函数式编程？
简单来说，函数式编程是一种流行的编程范式。它的核心思想是：像数学函数一样进行计算，过程中不改变状态，也不修改数据。在 FP 中，函数是一等公民，程序由一组函数和不可变数据定义而成。
常见的函数式语言包括 Scala、Haskell、Erlang 等。Ja va SE 8 也引入了一些函数式构造（如 Lambda 表达式、Stream API），虽然并非纯函数式，但已经足够让开发者体验 FP 的思维方式。
函数式编程的主要特征
- 不存在状态：FP 程序不包含状态，所有数据都是不可变的，函数不能改变状态。
- 执行顺序不重要：函数彼此独立，改变执行顺序不影响最终结果。
- 无状态编程模型：因为数据不可变，函数无法修改数据，自然实现了无状态。
- 函数是一等公民：函数可以作为参数传递、从函数中返回，可以独立存在并按任意顺序执行。
- 主要操作单元是函数和数据结构：所有程序都由这些单元组合而成。
- 模块化编程：需要编写小而独立的纯函数（无副作用），这让模块化程度比 OOP 更高。
- 高阶函数与惰性求值：支持将函数作为参数或返回值，支持延迟计算。
- 不使用传统的流程控制：比如 for 循环、while 循环、if-else 等，而是通过函数调用、递归函数调用来实现逻辑。
- 支持抽象、封装、继承和多态：FP 同样支持这四大特性，继承通过类型类或隐式实现，多态通过泛型（参数多态）实现。
函数式编程的核心关注点
与 OOP 不同，FP 主要关注“做什么”（What is to be done），而不是“怎么做”（How is it to be done）。它更关心输入是什么、需要什么样的转换逻辑。正因为如此，FP 代码读起来就像问题域的描述，不仅开发者能看懂，非技术人员也能理解。
函数式编程的优势
- 无错误代码：没有状态，就不会产生副作用，代码更健壮。
- 高效并行编程：不可变数据避免了状态变更问题，函数独立运行，非常适合并发。
- 更好的性能：独立单元可以并行或并发执行，整体性能提升。
- 更好的封装：纯函数天然无副作用，封装性比 OOP 更强。
- 支持嵌套函数：可以在函数内部组合其他函数，解决复杂问题。
- 高可复用性：函数作为独立单元，复用起来非常方便。
- 更好的模块化：纯函数要求小而独立，模块化程度更高。
- 易于惰性求值：支持惰性列表、惰性映射等构造，延迟计算非常自然。
- 可读性和可维护性高：函数独立运行、不改变状态，代码更清晰。
- 易于测试：独立函数可以轻松进行单元测试。
- 支持行为抽象：FP 同时支持“数据抽象”和“行为抽象”，更贴近现实世界。
- 适合大数据处理：并行编程和性能优势使其成为大数据应用的理想选择。
- 健壮可靠的代码：不可变数据降低了出错概率。
函数式编程的局限性
- 内存占用较大：FP 不修改现有对象，而是创建新对象来执行操作，因此会消耗更多内存。
- 不关注里氏替换原则：这一点与 OOP 的继承体系不同。
函数式编程的核心概念
- 一等函数
- 惰性求值
- 高阶函数
- 不可变性（非可变数据）
- 模块化
- 无副作用
- 递归函数调用
命令式编程（IP）
命令式编程是另一种主流范式，它通过按顺序执行一系列步骤/指令/语句来完成计算。典型的命令式语言包括 Ja va、C、C++ 等。
命令式编程的主要特征：
- 语句有明确顺序
- 执行顺序非常重要
- 包含状态
- 同时使用可变和不可变数据
- 可以改变状态
- 可能产生副作用
- 采用有状态编程模型
- 直接改变程序状态
- 用数据字段表示状态
面向对象编程（OOP）
面向对象编程是命令式编程的超集。它将一切视为对象，每个对象包含数据字段和方法。OOP 程序包含状态，通常使用可变数据，虽然也可以使用不可变数据，但语言本身并不强制。
OOP 的额外特性包括：
- 一切皆对象
- 每个对象包含数据字段和方法
- 四大基本概念：抽象、封装、继承、多态
与 FP 不同，OOP 主要关注“怎么做”（How is it to be done）。开发者更关注如何实现，而不是要做什么。此外，OOP 将“做什么”和“怎么做”混合在一起，导致代码往往不够简洁，可读性也较差。只有开发者能看懂，非技术人员很难理解。
面向对象编程的缺点（与FP相比）
- 不支持完全的可重用性
- 并非完全模块化
- 破坏了封装概念
- 继承存在诸多问题
继承的主要缺点
- 打破封装原则
- 继承层次增加时，维护和创建对象变得非常困难
何时使用函数式编程？
当我们要对固定数据执行大量不同的操作时，FP 是更好的选择。换句话说，当“事物”较少而“操作”较多时，用 FP 更合适。
何时使用面向对象编程？
当我们要对大量不同的变体（具有共同行为）执行少量操作时，OOP 更合适。换句话说，当“事物”较多而“操作”较少时，用 OOP 更合适。
这里的“事物”对应现实世界的对象，“操作”对应现实世界的动作。在 Ja va 中，事物通常用类表示，操作用方法表示。
FP 与 OOP 的对比
| 对比维度 | 函数式编程（FP） | 面向对象编程（OOP） |
|---|---|---|
| 状态 | 不存在 | 存在 |
| 数据 | 使用不可变数据 | 使用可变数据 |
| 编程模型 | 声明式 | 命令式 |
| 状态模型 | 无状态 | 有状态 |
| 主要关注点 | “做什么” | “怎么做” |
| 并行/并发编程 | 适合 | 不适合 |
| 大数据处理 | 适合 | 不适合 |
| 封装 | 纯封装 | 易被破坏 |
| 副作用 | 无副作用 | 有副作用 |
| 一等公民 | 函数 | 对象 |
| 主要操作单元 | 函数 | 对象（类的实例） |
| 流程控制 | 函数调用、递归 | 循环、条件语句 |
| 迭代集合 | 递归 | 循环（如 for-each） |
| 执行顺序的重要性 | 低 | 高 |
| 抽象层次 | 同时支持数据抽象和行为抽象 | 只支持数据抽象 |
| 适用场景 | 事物少、操作多 | 操作少、事物多 |
以上就是三种主流编程范式的核心内容。从实际开发经验来看，没有绝对的优劣，关键在于根据场景选择合适的工具。理解这些范式的本质差异，能让我们在技术选型时更加从容。
