Scala中的＃操作符是什么意思？

我在以下博客中看到此代码：Scala中的Type-Level Programming：

// 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]。由于很难搜索（搜索引擎忽略了它），谁能告诉我这是什么意思？

为了说明这一点，我们首先必须解释Scala中的嵌套类。考虑以下简单示例：

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.

这称为类型投影，用于访问类型成员。

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

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

基本上，这是引用其他类中的类的一种方式。

http://jim-mcbeath.blogspot.com/2008/09/scala-syntax-primer.html（搜索“磅”）

这是用于搜索“符号运算符”（实际上是方法）的资源，但我还没有弄清楚如何转义“＃”以在scalex中进行搜索）

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