Igualdad de referencia para java.lang.String en Scala

Question

Uno esperaría que, aunque las cadenas son inmutables, value-equality y reference-equality no serían las mismas para los objetos java.lang.String en Scala. Esto significa que dos cadenas que contienen val s no deben ser de referencia, incluso cuando sus cadenas son idénticas. Pero esto es lo que me pasa en un REPL 2.9.1.final:

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

scala> s1 eq s2 
res0: Boolean = true 

Cualquier idea de por qué el resultado no fue false? El mismo experimento con List("a") en lugar de "a" funciona como se esperaba. El método eq está marcado como final en AnyRef. ¿Hay alguna magia de compilación hecha específicamente para String o java.lang.String?

Answer 1

Sí, es compilador mágico. Específicamente, se llama interna. Java también lo hace, y es simplemente por razones de eficiencia, como el uso de memoria y permitir comparaciones sin comparar cada personaje. Aquí hay un Wikipedia article on it. También puede internar cadenas manualmente con el método intern().

Answer 2

Desde el Java language specification:

Una cadena literal es una referencia a una instancia de la clase String (§4.3.1, §4.3.3).

Por otra parte, una cadena literal siempre se refiere a la misma instancia de la clase String. Esto se debe a que los literales de cadena (o, más generalmente, las cadenas que son los valores de las expresiones constantes (§15.28)) son "internados" para compartir instancias únicas, usando el método String.intern.