Tham chiếu bình đẳng cho java.lang.String trong Scala

Question

Người ta mong rằng mặc dù các chuỗi là bất biến, giá trị bình đẳng và tham chiếu-bình đẳng sẽ không giống nhau đối với các đối tượng java.lang.String trong Scala. Điều này có nghĩa là hai chuỗi giữ val s không được tham chiếu bằng nhau ngay cả khi các chuỗi của chúng giống nhau. Nhưng đây là những gì tôi nhận được trong phiên bản 2.9.1.final REPL:

scala> val s1 = "a"; val s2 = "a" 
s1: java.lang.String = a 
s2: java.lang.String = a 

scala> s1 eq s2 
res0: Boolean = true 

Bất kỳ ý tưởng nào tại sao kết quả không phải là false? Thử nghiệm tương tự với List("a") thay vì "a" hoạt động như mong đợi. Phương pháp eq được đánh dấu là cuối cùng trong AnyRef. Có bất kỳ phép thuật biên dịch nào được thực hiện riêng cho String hoặc java.lang.String không?

Answer 1

Vâng đó là phép thuật trình biên dịch. Cụ thể, nó được gọi là interning. Java làm điều đó là tốt, và nó chỉ đơn giản là vì lý do hiệu quả, chẳng hạn như sử dụng bộ nhớ và cho phép so sánh mà không so sánh mọi ký tự. Đây là số Wikipedia article on it. Bạn cũng có thể thực hiện Strings theo cách thủ công với phương thức intern().

Answer 2

Từ Java language specification:

Một chuỗi literal là một tham chiếu đến một thể hiện của lớp String (§4.3.1, §4.3.3).

Hơn nữa, một chuỗi ký tự luôn đề cập đến cùng một trường hợp của lớp String. Điều này là do các chuỗi ký tự - hoặc, nói chung, các chuỗi là các giá trị của các biểu thức không đổi (§15.28) - được "interned" để chia sẻ các cá thể duy nhất, sử dụng phương thức String.intern.