Scala: Truy cập gói phương pháp có thể nhìn thấy thông qua các loại cấu trúc bên ngoài gói

Question

này không hoạt động như mong đợi (kể từ khi tôi đang cố gắng để gọi một gói tin run từ bên ngoài Services):

object Services { 
class HelloPrinter { 
    private[Services] def run = "Hello" 
    } 
} 

val obj = new Services.HelloPrinter 

Nhưng, đáng ngạc nhiên làm việc này:

val obj: {def run: String} = new Services.HelloPrinter 
obj.run 

Tôi sẽ nói, lỗi của trình biên dịch vì HelloPrinter không khớp với loại cấu trúc vì quy tắc hiển thị gói, không nên biên dịch!

Đây là một trường hợp chương trình biên dịch nhưng nó ném một ngoại lệ thời gian chạy (java.lang.NoSuchMethodException):

class HelloPrinter { 
    private[HelloPrinter] def run = "Hello" 
} 

val obj: {def run: String} = new HelloPrinter 
obj.run 

Đây có phải là một tính năng ngôn ngữ hoặc loại trừ tôi đang thiếu hoặc hợp pháp một lỗi trong Scala?

Answer 1

Trên mức hiển thị cấp JVM được điều chỉnh cho các kiểu/loại xung quanh không tồn tại. Trình biên dịch Scala sẽ tạo ra một phương thức công khai trong trường hợp này và xử lý khả năng hiển thị này trong nội bộ.

Nếu bạn sử dụng các kiểu cấu trúc, trình biên dịch sẽ phản ánh truy cập một cách phản ánh các thành viên thuộc loại này. Nó sẽ không kiểm tra các cờ hiển thị đặc trưng của Scala nhưng chỉ có các cờ được xác định trong mã bytecode Java.

Bạn không đề cập đến phiên bản trình biên dịch Scala nào bạn đang sử dụng nhưng tôi cho rằng đây là lỗi trong phiên bản cụ thể của bạn. Tôi nhận được kết quả tương tự như Jasper-M khi cố gắng biên dịch nó. Lý do là phương thức được trình biên dịch tạo ra thực sự được đặt trước bằng tên kiểu, tức là HelloPrinter$$run trong trường hợp này. Mã sau sẽ thực hiện:

val x: { def HelloPrinter$$run: String } = new HelloPrinter 
x.run 

Một lần nữa trình biên dịch Scala chỉ tạo phương pháp công khai và quản lý khả năng hiển thị nội bộ. Nó không phải là một tính năng mà là một lỗi mà trình biên dịch không kiểm tra khả năng hiển thị Scala-internal cho các kiểu cấu trúc.