¿Por qué la función == de Array no es verdadera para Array (1,2) == Array (1,2)?

Question

En Programming in Scala los autores escriben que la función == de Scala compara igualdad de valores en lugar de igualdad de referencia.

Esto funciona como se espera en las listas:

scala> List(1,2) == List(1,2) 
res0: Boolean = true 

Sin embargo, no funciona en arrays:

scala> Array(1,2) == Array(1,2) 
res1: Boolean = false 

Los autores recomiendan utilizar la función sameElements lugar:

scala> Array(1,2).sameElements(Array(1,2)) 
res2: Boolean = true 

Como explicación escriben:

Si bien esto puede parecer una incoherencia, alentar una prueba explícita de la igualdad de dos estructuras de datos mutables es un enfoque conservador por parte de los diseñadores del lenguaje. A la larga, debería salvarte de resultados inesperados en tus condicionales.

1. ¿Qué significa esto? ¿De qué tipo de resultados inesperados están hablando? ¿Qué más podría esperar de una comparación de matriz que devolver verdadero si las matrices contienen los mismos elementos en la misma posición? ¿Por qué funciona igual en List pero no en Array?

2. ¿Cómo puedo hacer que funcione la función igual en las matrices?

Answer 1

Es cierto que la explicación ofrecida en el libro es cuestionable, pero para ser justos, era más creíble cuando lo escribieron. Sigue siendo cierto en 2.8, pero tenemos que actualizar el razonamiento porque, como habrás notado, todas las demás colecciones hacen comparaciones de elementos, incluso si son mutables.

Se había derramado mucha sangre tratando de hacer que Arrays pareciera el resto de las colecciones, pero esta era una abstracción tremendamente goteante y al final fue imposible. Se determinó, correctamente, creo, que deberíamos ir al otro extremo y suministrar matrices nativas tal como son, usando maquinaria implícita para mejorar sus capacidades. Donde esto se cae de forma más notable es aString e igual, porque ninguno de ellos se comporta de manera razonable en Arrays, pero no podemos interceptar esas llamadas con conversiones implícitas porque están definidas en java.lang.Object. (Las conversiones solo ocurren cuando una expresión no escribe check, y esas siempre escriben check.)

Así que puede elegir su explicación, pero al final las matrices son tratadas fundamentalmente de manera diferente por la arquitectura subyacente y no hay forma de revisarlo sin pagar un precio en alguna parte. No es una situación terrible, pero es algo de lo que debes estar consciente.

Answer 2

Todo se trata de transparencia referencial. La idea es que si dos valores son ==, no debería importar cuál use para algo. Si tiene dos matrices con el mismo contenido, es evidente que importa cuál modifique, por lo que == devuelve falso, a menos que sean el mismo.

Answer 3

Esta pregunta exacta ha sido expresada muchas veces (por mí también, vea Strange behaviour of the Array type).

Tenga en cuenta que SÓLO es la colección Array que no admite ==, todas las demás colecciones lo hacen. La causa principal es que Array ES el Java array.