Scala, extension générique avancée

Question

J'essaie de réécrire https://gist.github.com/319827 à Scala. Mais je ne peux pas le compiler. Quelle est la syntaxe correcte?

Erreur Je AllWays obtenir:

type de classe nécessaire, mais java.util.Comparator [_>: java.lang.Comparable [java.lang.Object]] trouvé

source:

package v6ak.util 

import java.util.Comparator 

object NaturalComparator extends Comparator[_ >: Comparable[Object]]{ 

    override def compare(o1:Comparable[Object], o2:Comparable[Object]) = { 
     if(o1==null || o2==null){ 
      throw new NullPointerException("Comparing null values is not supported!"); 
     } 
     o1.compareTo(o2); 
    } 

} 

Answer 1

Je suis retourné au problème avec plus d'expérience et solved it, bien que je pense que c'est peut être mieux.

package v6ak.util 

import java.util.Comparator 

object NaturalComparator extends Comparator[Comparable[Any]]{ 

    def apply[T]() = asInstanceOf[Comparator[T]] 

    override def compare(o1:Comparable[Any], o2:Comparable[Any]) = { 
     if(o1 == null || o2 == null){ 
      throw new NullPointerException("Comparing null values is not supported!") 
     } 
     o1 compareTo o2 
    } 

} 

Answer 2

A extends B est écrit dans A<:B scala pas A>:B

par la voie, le système de type scala est assez puissant pour éviter l'utilisation de l'objet (AnyRef dans scala) dans votre code

package v6ak.util 

import java.util.Comparator 

class NaturalComparator[T <: Comparable[T]] extends Comparator[T] { 
    override def compare(o1: T, o2: T) = { 
    if (o1 == null || o2 == null) { 
     throw new NullPointerException("Comparing null values is not supported!"); 
    } 
    o1.compareTo(o2); 
    } 
} 

object StringComparator extends NaturalComparator[String] 

object Examples { 
    StringComparator.compare("a", "b") 
    StringComparator.compare(2, "b") // error 
} 

Answer 3

Eh bien, vous avez fait des dégâts avec cette version java. Notez que vous créez une instance de Comparateur < Objet < comparable et que vous l'attribuez à la valeur avec un caractère générique - pour quoi faire? Vous n'attribuez rien d'autre à cette variable. Ne pas parler que votre getInstance définit également wildecards, alors qu'il retourne tout le même < Comparator Comparable < Objet >>

Alors:

object NaturalComparator extends Comparator[Comparable[Object]]{ 
    override def compare(o1:Comparable[Object], o2:Comparable[Object]) = { 
     if(o1 == null || o2 == null){ 
      throw new NullPointerException("Comparing null values is not supported!"); 
     } 
     o1.compareTo(o2); 
    } 
}