¿Cuál es la diferencia entre `null == last` y` null eq last`, en Scala?

Question

veo en la clase incorporada MessageQueue.scala de Scala 2.7.7, alrededor de la línea 164, que es:

def extractFirst(p: Any => Boolean): MessageQueueElement = { 
changeSize(-1) // assume size decreases by 1 

val msg = if (null eq last) null 
else { 
    ... 
    } 
} 

No entiendo val msg = if (null eq last) null así, ¿por qué se utiliza eq, pero no null. Si escribo if (last==null) null, ¿es correcto? Hay alguna diferencia?

Answer 1

Cuando ambos lados de la ==esnullo si el primer operando de ==evalúa como nulo, Scala no invocar equals. Entonces, en este caso, sí, x == null es lo mismo que x eq null; el método equals es no invocado. Presta atención a los casos a continuación.

Considera:

class X { 
    // this is just for testing 
    // any equals that returns true when the other object is null 
    // is arguably broken. thus even though it may be invoked 
    // the end semantics should remain the same 
    override def equals(x: Any) = true 
} 
var x = new X() 
x == null // false -- compiler optimization? 
null == x // false 
var y = null 
y == x // false -- see documentation below, y is null, x is not 
x == y // true -- x does not evaluate to null, equals invokes 
x eq y // false 

y observe que:

(new X()) == null 

resultados en una advertencia diciendo un "un objeto fresca" nunca será igual (a null).

Sospecho que puede haber un código ligeramente más/diferente emitido para x == y que x == null (en caso de que los iguales se deben invocar), pero no se han verificado.

Happy coding.

---

Sección 6.3 (el valor nulo) de la especificación del lenguaje Scala tiene esto que decir:

El valor nulo es de tipo scala.Null, y es por tanto compatible con todas las referencias tipo. Denota un valor de referencia que se refiere a un objeto especial "nulo". Este objeto implementa métodos en scala.AnyRef clase como sigue:

• [nulo] eq (x) y [nulo] == (x) devolver verdadero si y sólo si el argumento x es también el objeto “nulo”.
• ne (x) y! = (X) devuelve verdadero si el argumento x no es también el objeto "nulo".
• isInstanceOf [T] siempre devuelve falso.
• asInstanceOf [T] devuelve el objeto "nulo" si T cumple con scala.AnyRef, y arroja una excepción NullPointerException en caso contrario.

Una referencia a cualquier otro miembro del objeto "nulo" provoca que se genere una NullPointerException.

Answer 2

El operador == en Scala es diferente de Java.

en Scala, == es equivant a equals método en cualquier, eq es equivant a == en Java

Por cierto, ¿por qué no null.asInstanceOf [Int], null.asInstanceOf [doble], null.asInstanceOf [Boolean], null.asInstanceOf [Char] throw NullPointerException?