Relaciones de igualdad en Scala

Question

Acabo de tropezar con uno de Tony Morris 'blog-posts about Java y un problema fundamental con el lenguaje: el de definir una relación de igualdad a medida para una colección. Esto es algo que creo que es un gran problema y me preguntaba si había alguna solución scala.

El problema clásico se manifiesta al pensar, por ejemplo, en una operación. Digamos que hago dos intercambios de +100 participaciones de vodafone a 150p. Los dos intercambios son iguales, ¿sí? Excepto que no son la misma operación. En el caso de un sistema normal del mundo real, con persistencia o serialización, no puedo confiar en identidad para decirme si dos referencias son la misma operación!

Así que lo que quiero es ser capaz de crear una colección que me puede pasar una igualdad-relación con:

val as = CleverSet[Trade](IdEquality) 
val bs = CleverSet[Trade](EconomicsEquality) 

¿Cómo puedo aplicar mi sistema de una manera eficiente (a menos que el EqualityRelation define también una hash mecanismo)?

trait EqualityRelation[T] { 
    def equal(t1: T, t2: T) : Boolean 
    def hash(t: T) : Int 
} 

Así que las preguntas son:

• ¿Hay una biblioteca que proporciona esta capacidad?
• ¿Hay alguna forma de hacerlo bien en Scala?

Parece que con implícitos, que sería una cosa bastante fácil de añadir a la Scala Set tipo existente.

Answer 1

Esto ya se puede conseguir con TreeSet de Java y una aplicación Comparador:

TreeSet<String> ignoreCase = new TreeSet<String>(new Comparator<String>(){ 
    @Override 
    public int compare(String o1, String o2) { 
     return o1.compareToIgnoreCase(o2); 
    }}); 

TreeSet<String> withCase = new TreeSet<String>(); 

List<String> values = asList("A", "a"); 
ignoreCase.addAll(values); 
withCase.addAll(values); 

Salida:

ignoreCase -> [A] 
withCase -> [A, a] 

Esto tiene las desventajas de que el Comparador de implementar es más potente de lo necesario y que usted está restringido a colecciones que admiten comparadores. Como lo señala oxbow_lakes, la implementación de Comparator rompe el contrato de configuración (para !a.equals(b) podría ser new Set(); set.add(a) == true && set.add(b) == false).

Scala admite esto con una transformación de vista desde A => Ordenado [A].

scala> new scala.collection.immutable.TreeSet[String]()(x=> x.toLowerCase) + "a" 
+ "A" 
res0: scala.collection.immutable.TreeSet[String] = Set(A) 

Answer 2

Usted está describiendo el concepto de una estrategia de hash. El Trove library incluye conjuntos y mapas que se pueden construir con estrategias hash.

Answer 3

Sé que estás preguntando por Scala, pero vale la pena compararlo con lo que ofrecen las colecciones de .Net. En particular, todas las colecciones basadas en Hash (por ejemplo, Dictionary<TKey, TValue> y HashSet<T>) pueden tomar una instancia de IEqualityComparer<T>. Esto es similar al Equiv[T] de Scala, pero también proporciona un código hash personalizado.Se puede crear un rasgo similares subclasificando Equiv:

trait HashEquiv[T] extends Equiv[T] { 
    def hashOf(t: T) : Int 
} 

ser apoyado totalmente, colecciones basadas picadillo tendrían que añadir HashEquiv parámetros implícitos a su construcción y el uso de las implícita importados métodos equiv y hashOf en lugar de los métodos de instancia Object (como TreeSet, etc. hacer con el rasgo Ordered, pero en reversa). También debería haber una conversión implícita de Any a HashEquiv que utiliza la implementación intrínseca equals y hashCode.