为什么 scala 在具有换行符且没有等号时评估类型别名？

Question

我注意到在 REPL 中声明类型别名时，换行符会导致语句成功：

这有效：

scala> type a
     | 3 == 3
defined type alias a
res32: Boolean = true

这不会：

scala> type a 3 == 3              ^
       error: `=`, `>:`, or `<:` expected

Answer 1

如图所示，拥有抽象类型是合法的。

REPL 处于一种特殊的解析模式，它知道当前行是完整的语法产生式还是需要更多输入，所以这就是它转到第二行的原因，即使从技术上讲它应该只接受type a.

scala> object X { type a }
defined object X

scala> object X { def x: Int }
                      ^
       error: only traits and abstract classes can have declared but undefined members

scala> type a
     | 42
defined type alias a
res0: Int = 42

scala> def x: Int
     | 42
           ^
       error: only traits and abstract classes can have declared but undefined members

REPL 不会将抽象 typedef 导入当前表达式，因为它知道它是抽象的。

该类型可能不是很有用，但它是一件事：

scala> object X { type a }
defined object X

scala> val x: X.a = null.asInstanceOf[X.a]
x: X.a = null

scala> def x: X.a = ???
x: X.a

scala> def x: X.a = null
                    ^
       error: type mismatch;
        found   : Null(null)
        required: X.a