Równość Scala z sprawdzaniem typu?

Question

Czy istnieje jednolita metoda równości przy sprawdzaniu typu? Niestety

val objectA:String = "test" 
val objectB:Int = 2 
objectA == objectB 

operator równości == nie narzeka jeśli objectB jest Int podczas objectA jest String. Potrzebowałbym operatora takiego jak ===, który również wykonuje sprawdzanie typu (i mam nadzieję, że jest jednolity dla wszystkich scala obj). Czy taki operator istnieje?

Answer 1

Trzeba spojrzeć na scalaz „s === dla typu bezpieczny równe - to realizowane jako typ klasy tam.

Można również oglądać rozmowa przez Heiko Seeberger, gdzie opisano, jak to jest realizowane:

http://days2011.scala-lang.org/node/138/275

Można również znaleźć kilka przykładów tutaj:

http://scalaz.github.com/scalaz/scalaz-2.9.1-6.0.4/doc.sxr/scalaz/example/ExampleEqual.scala.html#24187

(w przykłady ich używają metody ≟, ale jest to po prostu alias dla ===)

Answer 2

Scalaz zapewnia takiego operatora.

scala> import scalaz._, Scalaz._ 
import scalaz._ 
import Scalaz._ 

scala> 4 === "Scala" 
<console>:14: error: type mismatch; 
found : java.lang.String("Scala") 
required: Int 
       4 === "Scala" 
        ^

scala> 4 === 4 
res7: Boolean = true 

scala> 4 === 5 
res8: Boolean = false 

Answer 3

ta jest również przez bibliotekę ScalaUtils:

import org.scalautils.TypeCheckedTripleEquals._ 

scala> "Scala" == Some("Scala") 
res1: Boolean = false 

scala> "Scala" === Some("Scala") 
<console>:11: error: types String and Some[String] do not adhere to the type 
    constraint selected for the === and !== operators; the missing implicit 
    parameter is of type org.scalautils.Constraint[String,Some[String]] 
       "Scala" === Some("Scala") 
        ^

Answer 4

scala rozsiany posiada funkcję o nazwie Multiversal Equality która pozwala wpisać bezpieczeństwo.

Poniżej znajduje się kropkowany przykład REPL;

scala> val data1 = "string" 
val data1: String = "string" 

scala> val data2 = Array(1, 2, 3, 4) 
val data2: Array[Int] = [I@86733 

scala> val comparisonBool = data1 == data2 
1 |val comparisonBool = data1 == data2 
    |      ^^^^^^^^^^^^^^ 
    | Values of types String and Array[Int] cannot be compared with == or != 

Dotty jest następna generacja kompilator Scala - http://dotty.epfl.ch/#getting-started