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 在 scala 中被写成 A<:B 而不是 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

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

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 3

好吧，你把那个 java 版本弄乱了。请注意，您创建了一个 Comparator< 的实例。可比<对象>>然后用通配符将其分配给值 - 有何用处？您不会为该变量分配任何其他内容。更不用说您的 getInstance 还定义了通配符，而它返回相同 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);
    }
}