類型別名結構類型是什么意思？

Question

我最近遇到了這樣的事情

object example {
   type DButil = AnyRef {
     val a: Int
     def b: String
   }
}

讓我感到困惑的是，這里使用了AnyRef ，后來我再深入一點，我發現你也可以這樣做：

object apple {}
object example {
   type DButil = apple.type {
     val a: Int
     def b: String
   }
}

我以前從未見過這種模式，感謝任何見解和評論。

Answer 1

類型別名只是類型的附加名稱。 像 AnyRef { val a: Int def b: String } apple.type { val a: Int def b: String } SomeSuperType { val structureMember1: Int def structureMember2: String } 這樣的結構

是繼承超類行為並包含在大括號中定義的附加結構類型部分的匿名類/類型。 類型別名只是該匿名類型的名稱。