生而为人

程序员的自我修养

0%

版本区别

[toc]

2.11与2.12 的区别

1
2
3
val array = Array("a", "b", "c")
print(array.mkString)
print(array.mkString(""))

2.12与2.13的区别

整体区别

Scala 2.13 是一次重要的里程碑式更新,它主要在三个方面与 2.12 版本拉开了距离:彻底重构了集合框架将标准库模块化,以及为 Scala 3 的发布清除了关键的技术障碍。下表清晰地总结了它们的主要差异:

对比维度 Scala 2.13 Scala 2.12
集合库 (Collections) 全面改革:为更简洁、安全、高效的集合层次结构铺平了道路-。Traversable 被移除,Seq 类型得到了精化等-。 稳定且成熟的经典集合体系-。
标准库结构 深度模块化 (Modularized):将庞大的标准库拆分为更小、职责单一的模块,减少了核心依赖并提升了可维护性-。 庞大的单体库(monolithic)。
二进制兼容性 与 2.12 不兼容:使用 _2.13 后缀标识,使用 2.13 库的 JAR 文件无法在 2.12 项目中运行-。 使用 _2.12 后缀,内部小版本之间(如 2.12.x)保持兼容-。
性能与优化 编译提速:编译器本身速度提升了约 5% 至 10%-。 运行时优化:为 Scala 3 和 Java 未来的新特性做准备。 已具备的基础优化功能,如 lambda 的优化-。
语言演进 弃用并清除“杂质”:弃用和移除了许多过时或罕见的特性,如 Symbol 字面量和早期初始化器,为 Scala 3 清扫道路-。 包含更多历史遗留的语言特性。
迁移与兼容 编译器帮助迁移:通过 -Xmigration 标志提供详细的迁移建议,并提供了辅助跨版本构建的工具,帮助开发者平稳过渡-。 使用标准的构建工具配置。
新功能与 API 标准库增强:集合操作 (如 groupMap)-、StringOps 解析功能-和资源管理尝试,让代码更健壮和现代。 无相关新增特性。

🚀 核心变化深度解析

1. 集合框架 (Collections Framework)

这是 2.13 中最引人注目、影响最广泛的变化。新的集合库更加一致、安全且高效-。

  • 层次结构简化:去除了冗余的顶层特质 Traversable,使得整个集合体系的继承关系更简单清晰-。
  • Seq 类型明确scala.Seq 在 2.13 中被明确为 scala.collection.immutable.Seq 的别名,避免了与 mutable.Seq 的混淆-。
  • 新成员加入:引入了 ArrayDeque,在特定操作上性能优于 ArrayBuffer,为开发者提供了更优的数据结构选择-。
  • API 更加直观:新增了 groupMapgroupMapReduce 等方法,让对集合的分组聚合操作更富表达力-。

2. 标准库模块化 (Modularized Standard Library)

2.13 将原本庞大的标准库拆解为多个小模块,使依赖关系更清晰,并降低了应用启动时的内存占用-。

  • scala-library: 核心库。包含最基础的AnyAnyRefProduct等。
  • scala-reflect: 反射库。只有在需要显式使用反射 API 时才需引入。
  • scala-compiler: 编译器库。仅用于构建编译器插件等开发工具。

3. 为 Scala 3 铺平道路

2.13 在语言层面移除了大量历史遗留或将来不再支持的旧特性-。

  • Symbol 字面量: 语法 'mySymbol 被弃用,推荐使用普通的 String 字面量 "mySymbol" 来代替。
  • unicode 箭头: 被弃用,统一使用标准 ASCII 箭头 =>
  • 早期初始化器: 这种不够优雅的特性被弃用,官方推荐使用更为清晰的 trait 参数等新方式。
  • do-while 循环: 这种形式的循环被移除。

📦 项目迁移与兼容性策略

由于 2.13 与 2.12 二进制不兼容-,迁移项目时需要分情况处理。

对于库的作者,需要使用 交叉编译 (Cross-building) 来发布同时兼容两个版本的 JAR 包。对于应用开发者,最直接的方式就是在依赖升级前,确保所有第三方库都已提供其 2.13 版本。

🛠️ 官方迁移工具

  • -Xmigration 标志: 在 sbtscalac 的选项中设置该标志,编译器会在你使用了新版 Collection 中行为可能发生变化的地方给出详细的警告或建议,帮助你定位问题-。
  • scala-collection-compat: 这是一个由官方维护的兼容性库,提供了大量 2.13 中的新集合 API 作为“补丁”,让你在 2.12 项目中就能提前用上新语法,有助于平稳过渡-。

此外,Scala 2.13 对 JDK 的支持也更为出色。2.13.6 及更高版本支持 JDK 17-,2.13.11 及以上版本支持 JDK 21-。

2.13与3.x的区别

整体概括

Scala 3 是一次跨越式的进化,而非在 Scala 2.13 基础上的增量更新。它对语言的核心进行了重新构思和设计,旨在提供更强的表现力、更高的安全性和更流畅的开发体验。

下面,我将从关键特性、兼容性以及迁移路径等几个方面,为你详细梳理这两个版本之间的核心区别。


🚀 Scala 3 的关键进化

相比 Scala 2.13,Scala 3 在多个方面进行了重塑,引入了一系列强大的新特性。

1. 清晰的上下文抽象

Scala 3 将 Scala 2 中功能复杂的 implicit 拆解为几个更专注、语义更清晰的语法结构,降低了学习和使用难度-13

特性 Scala 2.13 Scala 3 说明
类型类实例 implicit val given given 专门用于定义“给定实例”-10-13
上下文参数 implicit 参数列表 using 子句 using 专用于声明上下文参数-10-13
扩展方法 implicit class extension 内置的 extension 语法,声明和使用都更清晰-10-13
隐式转换 implicit def given Conversion[A, B] 将隐式转换能力收窄到一个明确的类型 Conversion-10-11

2. 更强大的类型系统

Scala 3 引入了众多在类型理论中早已存在但尚未进入主流工业语言的高级特性,让类型系统更加强大和灵活。

特性 说明 在 Scala 2.13 中的替代方案
交集类型 (A & B) 表示既是 A 类型又是 B 类型的值,是类型安全的组合--27 A with B (复合类型),语义和行为不同
**联合类型 (`A B`)** 表示是 A 类型或 B 类型的值,极大增强灵活性--27
不透明类型别名 (opaque type) 隐藏具体实现,只提供抽象接口,实现零成本抽象--11-27 AnyVal 值类或密封类,但性能或表达力有限
枚举 (enum) 统一了枚举和代数数据类型,比组合 sealed class + case object 更简洁--11 使用 sealed trait/classcase object
导出子句 (export) 避免样板代码,轻松实现聚合或委托模式-27 手动编写委托方法
依赖函数类型 结果类型依赖于参数值,表达能力更强- 没有
类型 Lambda 内联的、类型级别的高阶函数,简洁地操作类型构造器-11-27 需要额外的辅助 trait,代码冗长

3. 现代化的语法

Scala 3 提供了一系列可选的新语法,让代码更简洁。

  • 可选大括号和缩进语法:你可以选择用缩进来代替大括号,像 Python 那样组织代码块-13-15
  • 显式 new 关键字可选:创建类的实例时,可以省略 new,使代码更简洁-13
  • 控制结构的简化if, while, for 等控制结构可以省略括号-13
  • 顶级定义:可以直接在包内定义方法、字段等,代替 package object-27

🤝 兼容性与迁移

虽然变化巨大,但 Scala 3 的官方文档特别强调了它实现了与 Scala 2.13 在运行时的互操作性。

🔄 运行时兼容:无缝互操作

最关键的一点是,Scala 3 和 Scala 2.13 共享相同的应用程序二进制接口 (ABI)-1。这意味着:

  • 二进制兼容:用 Scala 2.13 编译的库,可以直接作为依赖用在 Scala 3 项目中,反之亦然-1-3
  • 一致的运行时:除少数改进(如 lazy val 的初始化性能)外,编译后的字节码行为高度一致,确保了性能的稳定-1

🔄 源码兼容:非破坏性升级

尽管运行时兼容,但两种语言在源码层面并不完全兼容-2-15。为了让迁移过程平滑,官方提供了完善的工具链:

  • 提前探测(-Xsource:3:在 Scala 2.13 项目中添加此编译选项,编译器会提前警告不兼容未来的 Scala 3 代码,帮助你早做准备-2-30
  • 过渡版本(3.0-migration:此编译器模式会将破坏性的源码改动降级为警告,并尝试提供自动迁移建议-2
  • 自动重写与工具:内置的迁移模式与 scalafix 等工具,可以自动将符合规则的旧代码重写为 Scala 3 风格-5-30

需要注意的是,Scala 2 的宏(Macro)系统在 Scala 3 中被全新的编译期编程机制(如 inline)取代。这意味着任何依赖 Scala 2 宏的库都必须升级到 Scala 3 版本才能正常工作-25。官方迁移指南提供了一个检查清单,列出了第三方库的迁移状态-25

🔄 已移除的语言特性

为了精简语言,Scala 3 移除了一些在 Scala 2.13 中已弃用或使用频率低的特性。

类别 移除特性 简要说明 替代方案
语言构造 do-while 循环 语法与新的控制结构冲突,被移除-21 使用 while 循环替代-21
过程语法 没有等号和返回类型、只有方法体的写法被移除-33 明确指定 : Unit =
类型系统 存在类型 已被联合类型、交集类型等新概念取代-21 使用 Scala 3 的新类型特性
any2stringadd 隐式转换 可能导致不易察觉的字符串拼接错误,被移除-21 显式使用 .toString
其他语法 符号字面量 ('xyz) 符号字面量语法被移除-21 使用字符串字面量 "xyz"-21
视图界定 (A <% B) 视图界定语法不再支持-19 使用普通参数或上下文界定
早期初始化器 这种写法不再被支持-21 使用特质参数-
自动应用 无参方法 def foo 调用时可省略括号,Scala 3 强制显式写出foo() 以增加代码确定性-21 显式写出括号

💎 总结

总的来说,从 Scala 2.13 到 Scala 3 的演进,是一场深入内核的重大升级。它以打破非必要的源码兼容性为代价,换来了一个在类型系统、语法一致性和开发体验上更加强大的语言。这一点从官方为现有用户提供了完善的迁移工具链,并为 Scala 2.13 和 3 的代码提供了无缝的运行时互操作性,便可见一斑-1-3

希望这份详细的对比能帮助你更好地理解 Scala 的演进。如果想了解特定特性(比如枚举或给定实例)的具体用法,我们可以继续深入探讨~