Lý do đằng sau `=>` trong một kiểu tự là gì?

Question

Một tự loại trông giống như ví dụ sau:

trait A { self: String => } 

này nói rằng đặc điểm A (hoặc một subtype của nó) phải kế thừa lớp String.

Từ khóa self được theo sau bởi : tương tự với biến trong var s: String, trong đó loại đến sau :.

Nhưng trạng thái => là loại tự như thế nào? Lý do đằng sau này là gì ?

Answer 1

Chỉ cần đoán công việc ... Bạn cần một số dấu phân cách cụ thể của khai báo kiểu tự. Hãy tưởng tượng rằng => đã bị bỏ qua. this: String sẽ là một tuyên bố hợp lệ cú pháp (mặc dù trình kiểm tra loại sẽ khiếu nại).

Vì vậy, dấu phân cách nào phải là dấu phân tách? Bạn sẽ không muốn niềng răng lồng nhau như trait A { self: String { ... }}. Vì vậy, các dấu phân cách hiện tại không ghép nối tồn tại? => là người duy nhất tôi có thể nghĩ đến.

Trường hợp là => được sử dụng ở nơi khác? Là đường cho các loại chức năng (A => B) và đối với các cơ quan chức năng (i: Int => i + 1). Ngoài ra đối với các đối số theo từng tên và đối với các trường hợp đối sánh mẫu. Cách sử dụng cuối cùng này phần nào gắn kết với kiểu tự. Nó giống như kết hợp this là của một loại cụ thể, và sau đó xác định cơ thể tùy thuộc vào 'trận đấu' này. Tôi không biết, có lẽ đây là một sự tương tự ngớ ngẩn.

Answer 2

Lưu ý rằng self không phải là từ khóa, mà là từ định danh thông thường. Bạn thực sự có thể viết bất kỳ số nhận dạng hợp lệ nào khác thay cho số self. Và : sau khi một biểu thức là một loại kiểu ascription, một cái gì đó hoàn toàn hợp lệ bất cứ nơi nào một biểu thức là hợp lệ.

=> là điều cho Scala biết là tự loại. Nếu không, self: Type trông giống như một câu lệnh đơn giản, một biểu thức. Ví dụ:

class A 
class B extends A { 
    this: A 
} 

Đó là mã Scala hợp lệ và không có loại tự.

Answer 3

this nằm trong phạm vi bên trong phần thân của lớp, do đó, theo nghĩa đó, nó là một tham số (mặc dù chúng tôi chưa bao giờ nghĩ về nó theo cách đó). Cú pháp tự gõ đơn giản làm cho nó rõ ràng, và cho phép một cái để cho nó một tên khác (và gõ). Vì vậy, mũi tên trở thành một sự lựa chọn rất tốt như một dấu phân tách giữa chất kết dính và phạm vi của nó.