Aliasing này trong scala với tự =>

Question

Một số Scala API alias này-tự, ví dụ,

trait Function1[-T1, +R] extends AnyRef { self => 

tôi biết làm thế nào răng cưa này hoạt động nói chung, nhưng không thấy như thế nào các đặc điểm như lợi ích Function1 từ nó. Hàm 1 không sử dụng tự ở bất kỳ đâu trong định nghĩa của nó ngoại trừ đề cập ban đầu, vì vậy mục đích của nó ở đây là gì?

Các biến thể của câu hỏi này đã được hỏi trước đó, nhưng câu trả lời không được áp dụng trực tiếp. Các câu trả lời đã thảo luận về các loại tự và các lớp bên trong, nhưng tôi không thấy cách áp dụng ở đây.

Answer 1

Xem https://github.com/scala/scala/blob/2.10.1/src/library/scala/Function1.scala#L8 nơi nó nói

// GENERATED CODE: DO NOT EDIT. See scala.Function0 for timestamp. 

Mã này được tạo ra bởi các máy phát tương tự cho Function0 qua Function22. Bằng cách nào đó khi nó đi vào Function5 bạn bắt đầu thấy self đang được sử dụng:

self.apply(x1, x2, x3, x4, x5)).curried 

Vì vậy, tôi nghi ngờ nó là dễ dàng hơn để có self => được tích hợp trong mẫu máy phát điện.

Đây là số commit để thêm tham chiếu tự. Thông điệp cam kết thực sự giải thích lý do tại sao nó làm điều gì đó khác nhau cho n> = 5, tôi trích dẫn:

FunctionN, trong đó N> 4, nhiều lớp học ít được tạo ra tĩnh tại chi phí của việc tạo ra nhiều đối tượng tự động (mà có vẻ hợp lý cho biết mức độ phổ biến của các chức năng như vậy). Điều này cũng cho phép cà ri hoạt động trong hàm N cho N> 8 mà không phải chạy theo chiều dài tên tệp hạn chế.