ตัวดำเนินการ `# 'หมายถึงอะไรใน Scala?

ฉันเห็นรหัสนี้ในบล็อกนี้: Type-Level Programming ใน 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]ที่ฉันไม่เคยเห็น เนื่องจากมันยากที่จะค้นหา (ไม่สนใจโดยเครื่องมือค้นหา) ใครสามารถบอกฉันได้ว่ามันหมายถึงอะไร?

ก่อนอื่นเราต้องอธิบายคลาสที่ซ้อนกันใน 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.

เรียกว่า type projection และใช้เพื่อเข้าถึงสมาชิกประเภท

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 (ค้นหา "pound")

นี่คือแหล่งข้อมูลสำหรับการค้นหา "ตัวดำเนินการเชิงสัญลักษณ์" (ซึ่งเป็นวิธีการจริงๆ) แต่ฉันยังไม่ทราบวิธีการออก "#" เพื่อค้นหาใน scalex)

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