class EG {
private[this] type TypeMember = A
private[this] var field: Int = 0
}
可以像字段一樣爲類型成員指定訪問修飾符。在OOP的情況下，我們很清楚，領域的encapsulation確實提供了有益於防止意外共享狀態和限制狀態修改的好處。就我所知，類型成員只能在Scala中找到，而且在很多地方，
這行之有效 class MyClass[T<: Actor: ClassTag] extends Actor {
//....
}
但這並不適當做以下No ClassTag available for MyClass.this.T class MyClass extends Actor {
type T<: Actor
//...
}
即使錯誤： clas
爲什麼使用綁定到類值參數的類型成員會生成「類型不匹配」錯誤？例如： scala> class A { type t }
defined class A
scala> class B(val a: A)
defined class B
scala> val aInt = new A { type t = Int }
aInt: A{type t = Int} = [email prot
我希望我的特質Outer具有兩個抽象成員類型Inner1和Inner2。我想Inner2也有抽象成員類型Inner1。我想要求Outer#Inner1等於Inner2#Inner1。什麼是最令人信服的方式來做到這一點？到目前爲止，我有 trait HaveInner1 {
type Inner1
}
trait Outer {
type Inner1
type
我的情況是這樣的： trait A {
type B
def foo(b: B)
}
trait C[D <: A] {
val d: D
def createB(): D#B
def bar() {
d.foo(createB)
}
}
在REPL，它抱怨 <console>:24: error: type mi