结构类型扩展另一种结构类型

Question

为什么以下是不允许的？ (2.12)：

type Foo <: {def foo(): Unit}
type Bar <: {def bar(): Unit} with Foo

在我看来很自然，Bar 应该同时具有 foo() 和 bar()。

Answer 1

似乎可以使用括号

scala> type Foo <: {def foo(): Unit}
     | type Bar <: ({def bar(): Unit}) with Foo
type Foo
type Bar

Answer 2

type Foo <: {def foo(): Unit} 是type Foo <: AnyRef{def foo(): Unit}。

所以虽然 type Bar <: {def bar(): Unit} with Foo 不可解析，但 AnyRef 和不同的顺序可以工作

type Foo <: {def foo(): Unit}
type Bar <: Foo with AnyRef{def bar(): Unit}

val b: Bar = ???
b.foo()
b.bar()

也可以使用括号（和直接命令）

type Foo <: {def foo(): Unit}
type Bar <: ({def bar(): Unit}) with Foo 

val b: Bar = ???
b.foo()
b.bar()

---

实际上type Bar <: {def bar(): Unit} with Foo 违反规范，而type Bar <: ({def bar(): Unit}) with Foo 满足规范，因为{def bar(): Unit} 不是SimpleType，但({def bar(): Unit}) 是SimpleType。

CompoundType    ::=  AnnotType {‘with’ AnnotType} [Refinement]
                  |  Refinement

AnnotType       ::=  SimpleType {Annotation}

SimpleType      ::= ............
                  |  ‘(’ Types ‘)’

Types           ::=  Type {‘,’ Type}

Type            ::=  ...........
                  |  CompoundType
                  |  ...........

https://scala-lang.org/files/archive/spec/2.13/03-types.html#compound-types

Answer 3

规范不允许这样做，它将{ ...} 部分称为可能都有 with 子句的改进。不过反过来也不错。

这当然有点重复，因为它没有说明为什么规范不允许这样做。这里似乎没有深入的理解，只是这不是你被允许编写类型的方式。您应该能够以另一种方式表达相同的意图。