函数式编程中的对象——不可变性：Scala对象工作原理疑问

嗨，我来帮你理清楚Scala里对象和函数式融合的思路～

Scala是个多范式语言，它同时支持传统面向对象和函数式编程，所以它的对象系统其实是把两种风格的特性揉在了一起，不用把它当成非黑即白的东西。

1. 函数式风格下的Scala对象：不可变是核心 #

你说的没错，函数式编程里的核心原则之一就是不可变性——这和你之前学的C/C#那种“调用方法修改对象内部状态”的OOP思路完全不同：

• 传统OOP：调用obj.UpdateState(...) → 直接修改对象的私有成员/属性，对象本身的状态发生变化
• 函数式Scala：所谓的“状态更新”，其实是返回一个全新的对象，原对象的状态从头到尾都不会变

举个直观的例子：

// 函数式风格的不可变用户类
case class User(id: Int, name: String)

val oldUser = User(1, "Alice")
// 不是修改oldUser，而是生成一个新的User对象
val newUser = oldUser.copy(name = "Alice Smith")

// 此时oldUser还是User(1, "Alice")，完全没被改动

这里的copy方法就是函数式风格的典型：它不会碰原对象的任何数据，只是基于原对象的属性生成一个新实例来代表更新后的状态。

2. 传统OOP风格在Scala里也能用 #

如果你习惯了C#那种可变对象的写法，Scala完全支持，比如：

// 传统OOP风格的可变用户类
class MutableUser(var id: Int, var name: String) {
  def rename(newName: String): Unit = {
    this.name = newName // 直接修改内部状态
  }
}

val user = new MutableUser(2, "Bob")
user.rename("Bob Brown")
// 此时user的name字段已经被改成了"Bob Brown"

但函数式编程更推荐不可变设计，因为不可变对象天生线程安全，而且你不用操心“会不会有其他地方偷偷改了这个对象的状态”，代码逻辑更容易推理。

3. 函数式里的“状态变化”怎么处理？ #

你可能会疑惑：业务里肯定需要状态更新啊，比如用户余额变化、订单状态流转。在函数式风格里，我们会把状态当作参数传递，每次变化都返回新的状态对象，而不是修改原有对象。

比如处理账户余额的例子：

case class Account(balance: Double)

// 存款操作：接收旧账户和金额，返回新的账户对象
def deposit(account: Account, amount: Double): Account = {
  account.copy(balance = account.balance + amount)
}

val initialAccount = Account(100.0)
val updatedAccount = deposit(initialAccount, 50.0)
// initialAccount还是100.0，updatedAccount是150.0

全程没有修改任何已有对象，所有状态变化都通过生成新对象来实现。

4. 和你正在学的Erlang对比？ #

Erlang是纯函数式语言，所有数据都是不可变的，进程靠消息传递通信。Scala则更灵活：你可以选择纯函数式的不可变路线，也可以用传统OOP的可变写法，甚至在性能敏感的局部场景混合使用（比如内部用可变集合提升效率，对外暴露不可变接口）。

总结一下：Scala的对象系统并没有颠覆你学过的OOP知识，只是给你多了一种函数式的设计选项。当你用函数式风格写Scala时，记住**“修改”就是创建新对象**，而不是改动原有对象的状态——这是理解它的关键。

内容的提问来源于stack exchange，提问作者Bajtek80