斯卡拉外=>語法

Question

可能重複：
What does 「outer =>」 really mean?

在哪裏可以找到什麼意思外=>上

trait After extends Context { outer => xxx 
//... 
} 

的信息？

Answer 1

這是一種自我類型。你也可以添加一個類型註釋來強制這個類，它將你的特質擴展爲某種類型。但是，如果沒有一個類型是剛this參考（和被稱爲自我參照），所以你可以使用它在內部類等。如：

class MyOuter { outer => 
    // this == outer 
    class MyInner { 
    // this != outer 
    def creator = outer 
    } 
} 

我提到例如可以將其他用途使用特殊行爲添加到現有的類：

class MyClass { 
    val foo = "foo" 
} 

trait MyClassExtension { this: MyClass => 
    def fooExtended(s: String) = foo + s 
} 

scala> val x = new MyClass with MyClassExtension 
x: MyClass with MyClassExtension = $anon$1@5243618 

scala> x.fooExtended("bar") 
res3: java.lang.String = foobar 

這裏this: MyClass =>手段，即MyClassExtension只能被混合到一個實例或MyClass子類。

scala> class OtherClass 
defined class OtherClass 

scala> val x = new OtherClass with MyClassExtension 
<console>:11: error: illegal inheritance; 
self-type OtherClass with MyClassExtension does not conform to MyClassExtension's selftype MyClassExtension with MyClass 
     val x = new OtherClass with MyClassExtension