Scala 3 缩进语法详解：可选大括号与代码结构新特性-CSDN博客

本文链接：https://blog.csdn.net/gitblog_00940/article/details/148488259

Scala 3 缩进语法详解：可选大括号与代码结构新特性

引言

Scala 3 引入了一项重要的语法改进：可选大括号（Optional Braces）机制。这项特性通过缩进来表达代码结构，显著减少了代码中对大括号的依赖，使代码更加简洁优雅。本文将全面解析 Scala 3 的缩进规则、可选大括号机制及其应用场景。

缩进规则

Scala 3 编译器会检查并强制执行以下两条缩进规则，违反时会发出警告：

大括号区域对齐规则：在大括号界定的代码块中，任何语句的起始位置不能位于开括号后第一个换行语句的左侧。

示例（错误情况）：
```
if (x < 0) {
  println(1)
  println(2)

println("done")  // 警告：缩进过左
```
连续缩进检测规则：当关闭缩进语法时（如 Scala 2 模式或 -no-indent 标志下），如果缩进子部分以换行结束，则下一语句的缩进必须小于该子部分。

示例（错误情况）：
```
if (x < 0)
  println(1)
  println(2)   // 警告：缺少 `{`
```

这些规则有助于快速定位大括号缺失等常见错误。

可选大括号机制

编译器会在特定换行处自动插入 <indent> 和 <outdent> 标记，这些标记在语法上等效于大括号 { 和 }。

缩进算法原理

编译器维护一个缩进宽度栈 IW，初始包含一个零缩进宽度。当前缩进宽度始终是栈顶元素的值。

插入 `<indent>` 的规则

当满足以下条件时插入 <indent>：

当前位置可以开始缩进区域
下一行首个标记的缩进宽度严格大于当前缩进宽度

缩进区域可以在以下位置开始：

extension 的前导参数后
with 关键字后
模板体开头的 : 后
特定关键字后（如 =, =>, if, while 等）

插入 `<outdent>` 的规则

当满足以下条件时插入 <outdent>：

下一行首个标记的缩进宽度严格小于当前缩进宽度
上一行最后一个标记不是特定延续关键字（如 then, else 等）
如果是中缀操作符，其缩进宽度需小于当前缩进宽度

特殊对齐规则

一般情况下，<outdent> 后的标记缩进必须与封闭区域中某行的缩进对齐。但有一个例外：当行以 . 开头且缩进与相邻区域差异超过一个空格时，可以接受。

示例：

xs.map: x =>
    x + 1
  .filter: x =>   // 允许，虽然缩进不匹配
    x > 0

模板体的可选大括号

Scala 3 允许省略类、特质和对象定义中的大括号，改用冒号加缩进的形式：

trait A:
  def f: Int

class C(x: Int) extends A:
  def f = x

语法上引入新的 <colon> 标记，在特定上下文中替代常规冒号。

方法参数的可选大括号

从 Scala 3.3 开始，方法参数也可以使用冒号加缩进的形式：

times(10):
  println("ah")
  println("ha")

还支持在同一行继续 lambda 表达式：

xs.map: x =>
  val y = x - 1
  y * y

空格与制表符

缩进前缀可以由空格和/或制表符组成。为避免错误，建议不要在同一个源文件中混合使用空格和制表符。

缩进与大括号的混合使用

缩进可以自由地与各种括号混合使用：

多行大括号区域的假定缩进宽度是开括号后第一个换行标记的缩进宽度
方括号或圆括号内的多行区域：
- 如果开括号在行尾，则采用后续标记的缩进宽度
- 否则采用封闭区域的缩进宽度
遇到闭括号时，会插入足够的 <outdent> 来关闭所有嵌套缩进区域

case 子句的特殊处理

match 表达式和 catch 子句的缩进规则有特殊优化：

当 case 与 match 本身缩进对齐时，也会开启缩进区域
该区域在遇到非 case 标记或更小缩进时关闭

这使得可以不缩进 case 子句：

x match
case 1 => print("I")
case 2 => print("II")
...

使用缩进表示语句延续

缩进可用于决定是否在行间插入虚拟分号：

如果第二行比第一行缩进更多，且以 (, [, { 开头或第一行以 return 结尾，则抑制分号插入

示例：

f(x + 1)
  (2, 3)        // 等价于 f(x + 1)(2, 3)
  
g(x + 1)
(2, 3)          // 等价于 g(x + 1); (2, 3)

结束标记（End Marker）

为解决大缩进区域难以辨识结束点的问题，Scala 3 引入了可选的 end 标记：

def largeMethod(...) =
  ...
  if ... then ...
  else
    ... // 大代码块
  end if
  ... // 更多代码
end largeMethod

何时使用结束标记

建议在以下情况使用 end 标记：

结构包含空行
结构较长（15-20行以上）
结构结束时缩进较深（4层以上）

结束标记语法

结束标记由 end 加特定标识符组成，必须与前导语句对应：

对于成员定义，使用成员名
对于构造函数，使用 this
对于控制结构，使用相应关键字（if, while 等）

实际示例

以下是一个缩进宽度表示的实用实现：

enum IndentWidth:
  case Run(ch: Char, n: Int)
  case Conc(l: IndentWidth, r: Run)

  def <= (that: IndentWidth): Boolean = this match
    case Run(ch1, n1) =>
      that match
        case Run(ch2, n2) => n1 <= n2 && (ch1 == ch2 || n1 == 0)
        case Conc(l, r)   => this <= l
    case Conc(l1, r1) =>
      that match
        case Conc(l2, r2) => l1 == l2 && r1 <= r2
        case _            => false
  ...