`＃`運算符在Scala中的含義是什麼？

Question

我看到這個代碼在這個博客：Type-Level Programming in Scala：

// define the abstract types and bounds 
trait Recurse { 
    type Next <: Recurse 
    // this is the recursive function definition 
    type X[R <: Recurse] <: Int 
} 
// implementation 
trait RecurseA extends Recurse { 
    type Next = RecurseA 
    // this is the implementation 
    type X[R <: Recurse] = R#X[R#Next] 
} 
object Recurse { 
    // infinite loop 
    type C = RecurseA#X[RecurseA] 
} 

有中，我從來沒有見過的代碼R#X[R#Next]操作#。由於很難搜索它（被搜索引擎忽略），誰能告訴我這是什麼意思？

Answer 1

來解釋它，我們首先必須在斯卡拉解釋嵌套類。考慮一個簡單的例子：

class A { 
    class B 

    def f(b: B) = println("Got my B!") 
} 

現在，讓我們嘗試一些與它：

scala> val a1 = new A 
a1: A = A@2fa8ecf4 

scala> val a2 = new A 
a2: A = A@4bed4c8 

scala> a2.f(new a1.B) 
<console>:11: error: type mismatch; 
found : a1.B 
required: a2.B 
       a2.f(new a1.B) 
       ^

當你聲明Scala的另一個類中的一類，你是說該類的每個實例有這樣一個子類。換句話說，沒有A.B類，但有a1.B和a2.B類，它們是不同的類，如上面的錯誤消息告訴我們的那樣。

如果您不明白，請查找路徑相關類型。

現在，#可以讓您引用這樣的嵌套類，而不會將其限制爲特定的實例。換句話說，沒有A.B，但有A#B，這意味着B嵌套類任何A的實例。

我們可以通過改變上面的代碼工作中看到這一點：

class A { 
    class B 

    def f(b: B) = println("Got my B!") 
    def g(b: A#B) = println("Got a B.") 
} 

，並試圖出來：

scala> val a1 = new A 
a1: A = A@1497b7b1 

scala> val a2 = new A 
a2: A = A@2607c28c 

scala> a2.f(new a1.B) 
<console>:11: error: type mismatch; 
found : a1.B 
required: a2.B 
       a2.f(new a1.B) 
       ^

scala> a2.g(new a1.B) 
Got a B. 

Answer 2

它被稱爲類型投影，用於訪問類型成員。

scala> trait R { 
    | type A = Int 
    | } 
defined trait R 

scala> val x = null.asInstanceOf[R#A] 
x: Int = 0 

Answer 3

基本上，這是一種引用其他類中的類的方法。

http://jim-mcbeath.blogspot.com/2008/09/scala-syntax-primer.html（搜索「咚咚」）

Answer 4

這裏有一對夫婦資源的「象徵性的運營商」搜索（這是真的方法），但我還沒有想出如何逃避「＃」搜索在scalex）

http://www.artima.com/pins1ed/book-index.html#indexanchor

http://scalex.org/