Scala 匿名类类型不匹配

Question

我正在创建一个包含 Comparable 对象的列表，并希望创建一个作为列表中最小值的对象，这样它的 compareTo 方法始终返回 -1。列表中的其他方法，例如这里的 print 需要类型 A 的输入。如果我编译代码，我会收到以下错误：

error: type mismatch;
found   : java.lang.Object with java.lang.Comparable[String]
required: String
l.print(l.min)

任何人都知道如何创建这样一个最小元素，以便它总是小于列表中的任何其他元素？

class MyList[A <: Comparable[A]] {
  val min = new Comparable[A] {
    def compareTo(other: A) = -1
  }

  def print(a: A) = {
    println(a)
  }
}

class Run extends Application {
  val l = new MyList[String]
  l.print(l.min)
}

Answer 1

那么，传递的输入不等于提供的输入，对吧？ print 需要一个 A：

def print(a: A) = {

而 min 不会返回 A：

val min = new Comparable[A] {

至于创建这样一个 A 如你所愿...你怎么可能这么做呢？你对 A 一无所知——你不知道它的 toString 返回什么，你不知道它实现了什么方法，等等。

所以，基本上，改变你的算法。

Answer 2

您收到编译错误，因为您尝试在编译器期望 A 的情况下使用 Comparable，您真正想要做的是：

  val min: A = new A {
    def compareTo(other: A) = -1
  }

但您不能在 Scala（或 Java）中执行此操作)，因为您正在尝试创建未知类型 (A) 的对象。您可以使用反射来做到这一点，但是您仍然会遇到创建一个小于列表中任何其他对象的对象的问题。

另外，请注意，您的compareTo 实现对于您选择的几乎所有排序算法都会出现问题，因为您不能保证compareTo 始终从min 调用。例如，您可以获得：

min.compareTo(list(0)) // returns -1
list(0).compareTo(min) // could be anything really

如果您想要一个返回特定对象作为“最小值”的列表，那么您可以在排序列表前面添加一个特定值：

class MyList2[A <: Comparable[A]] {
    val min: A; // somehow create an instance of the class A
    val list: List[A]

    def sort(fn: (A, A) => Boolean) = {
        min :: list.sort(fn)
    }
}

但正如丹尼尔所说，这可能是错误的方法。