`＃`运算符在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/