generics - Scala，高级通用扩展

Question

我正在尝试将https://gist.github.com/319827重写为 Scala。但我无法编译它。什么是正确的语法？

我总是得到错误：

需要类类型，但找到 java.util.Comparator[_ >: java.lang.Comparable[java.lang.Object]]

来源：

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

A extends B不是用A<:Bscala写的A>:B

顺便说一句，scala 类型系统足够强大，可以避免在代码中使用 Object（scala 中的 AnyRef）

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 2

好吧，你把那个java版本弄得一团糟。请注意，您创建了 Comparator< Comparable< Object>> 的一个实例，并使用通配符将其分配给 value - 为什么？您不会为该变量分配任何其他内容。不是说您的 getInstance 还定义了通配符，而它返回的所有内容都相同 Comparator< Comparable< Object>>

所以：

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 3

我已经用更多的经验回到了这个问题并解决了它，尽管我认为这可能会更好。

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
    }

}