Scala, Java e l'uguaglianza

Question

val filesHere = (new java.io.File(".")).listFiles 
val filesHere2 = (new java.io.File(".")).listFiles 

scala> filesHere == filesHere2
res0: Boolean = false

che è abbastanza intuitive. Preferirei che i file Here e filesHere2 siano uguali.

Ciò è certamente dovuto a una mancata corrispondenza semantica tra Java e Scala, ad esempio, su array o (file) uguaglianza. Chiaramente, mi manca qualcosa qui!

Answer 1

Si consiglia di leggere qui:

http://ofps.oreilly.com/titles/9780596155957/AdvancedObjectOrientedProgramming.html#EqualityOfObjects

ma sembra che se hai fatto: filesHere.sameElements(filesHere2) che dovrebbe essere vero.

Javadoc per questo è qui: http://www.scala-lang.org/api/2.6.0/scala/IterableProxy.html#sameElements%28Iterable%5BB%5D%29

UPDATE:

Un paio di frammenti dal primo link che possono essere utili:

In Java, C++ e C# l'operatore == verifica il riferimento, non l'uguaglianza di valore. Al contrario, l'operatore == di Ruby verifica l'uguaglianza dei valori. Qualunque sia la lingua a cui sei abituato, ricordati che in Scala, == sta testando l'uguaglianza dei valori.

In riferimento a == non funziona come previsto su Liste:

Anche se questo può sembrare una contraddizione, favorendo un test esplicito della parità di due strutture di dati mutabili è un approccio conservativo da parte del progettisti di linguaggi A lungo termine, dovrebbe salvarti da risultati imprevisti nei tuoi condizionali.

UPDATE 2:

Sulla base di commenti da Raffaello ho guardato le specifiche, ed era datata due giorni fa per l'aggiornamento più recente, e vedo questi a http://www.scala-lang.org/files/archive/nightly/pdfs/ScalaReference.pdf:

Method equals: (Any)Boolean is structural equality, where two instances 
are equal if they both belong to the case class in question and they have equal 
(with respect to equals) constructor arguments. 

class AnyRef extends Any { 
    def equals(that: Any): Boolean = this eq that 
    final def eq(that: AnyRef): Boolean = . . . // reference equality 

Quindi, sembra che la definizione non sia cambiata in Scala 2.10.2, poiché le specifiche sembrano essere coerenti. Se il comportamento è diverso, se scrivi un test unitario dovrebbe essere inviato come errore per Scala.

Answer 2

Il metodo equals() di array Java utilizza l'uguaglianza di riferimento piuttosto che qualsiasi altra cosa più sofisticata, e lo == di Scala è semplicemente Java equals().

Answer 3

Se ho governato il mondo, io ricuso eq metodo di Scala sulla base del fatto che il nome è estremamente confusible con eguali e ==. Invece l'inglese ha una parola che esprime l'identità in contrapposizione all'uguaglianza: io lo chiamerei semplicemente è.

Allo stesso modo vorrei sostituire ne di Scala (che è un nome terribile, dal momento che è sia un'abbreviazione e incomprensibile) con isnt.

Mi sembra che in realtà potrebbero essere aggiunti a AnyRef e i vecchi metodi deprecati, anche in questa fase avanzata.

Answer 4

Il confronto non funziona come previsto, poiché questa API Java restituisce una matrice.

Gli array di Scala e gli array Java sono gli stessi dietro le quinte e sebbene l'array di Scala assomigli ad una classe, è solo un java.io.File [] (in questo esempio).

Questo è il motivo per cui il controllo di uguaglianza non può essere ignorato. Scala deve usare la semantica Java per questo.

Considerate questo esempio:

val filesHere = (new java.io.File(".")).listFiles.toList 
val filesHere2 = (new java.io.File(".")).listFiles.toList 

Questo potrebbe funzionare come previsto.