Toán tử `#` có nghĩa là gì trong Scala?

Question

tôi thấy mã này trong blog này: 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] 
} 

Có một nhà điều hành # trong mã R#X[R#Next] mà tôi chưa bao giờ thấy. Vì rất khó để tìm kiếm nó (bị bỏ qua bởi các công cụ tìm kiếm), ai có thể cho tôi biết nó có ý nghĩa gì?

Answer 1

Để giải thích điều đó, trước hết chúng ta phải giải thích các lớp lồng nhau trong Scala. Hãy xem xét ví dụ đơn giản này:

class A { 
    class B 

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

Bây giờ hãy thử một cái gì đó với nó:

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) 
       ^

Khi bạn khai báo một lớp bên trong một lớp học trong Scala, bạn đang nói rằng mỗi trường hợp của lớp đó có như vậy một phân lớp. Nói cách khác, không có lớp học A.B nhưng có các lớp học a1.B và a2.B và chúng là các lớp khác nhau, vì thông báo lỗi cho chúng tôi biết ở trên.

Nếu bạn không hiểu điều đó, hãy tìm kiếm các loại phụ thuộc vào đường dẫn.

Bây giờ, # giúp bạn có thể tham khảo các lớp lồng nhau đó mà không hạn chế nó vào một cá thể cụ thể. Nói cách khác, không có A.B, nhưng có A#B, có nghĩa là B lớp lồng nhau là bất kỳ phiên bản nào của A.

Chúng ta có thể thấy điều này trong công việc bằng cách thay đổi mã trên:

class A { 
    class B 

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

Và cố gắng nó ra:

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

Được gọi là phép chiếu loại và được sử dụng để truy cập các thành viên loại.

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

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

Answer 3

Về cơ bản, đó là cách đề cập đến các lớp trong các lớp khác.

http://jim-mcbeath.blogspot.com/2008/09/scala-syntax-primer.html (tìm kiếm cho "pound")

Answer 4

Dưới đây là một vài nguồn lực để tìm kiếm trên "khai thác mang tính biểu tượng" (mà thực sự phương pháp), nhưng tôi đã không tìm ra cách để thoát khỏi "#" để tìm kiếm trong scalex)

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

http://scalex.org/