Scala中的泛型類型推斷

Question

我編寫了以下代碼，這實際上是scala中的一個愚蠢的合並排序實現：

import scala.collection.immutable.List

object MergeSort {
    def sort[T,E]( comparator: (E,E) => Int ) (l: List[T]): List[T] = {
        def merge[T](first: List[T], second: List[T]): List[T] = (first, second) match {
                case (_, List()) => first
                case (List(), _) => second
                case (f::restFirst, s::restSecond) if comparator(f.asInstanceOf[E],s.asInstanceOf[E]) < 0 => f :: merge(restFirst, second)
                case (f::restFirst, s::restSecond) => s :: merge(first, restSecond)
            }

        l match {
            case List() => return l
            case List(x) => return l
            case _ => {
                val (first, second) = l.splitAt( l.length / 2 )
                merge( sort(comparator)(first), sort(comparator)(second) )
            }
        }
    }
}

這不是以下更優雅的解決方案：

import scala.collection.immutable.List

object MergeSort {
    def sort[T]( comparator: (T,T) => Int ) (l: List[T]): List[T] = {
        def merge[T](first: List[T], second: List[T]): List[T] = (first, second) match {
                case (_, List()) => first
                case (List(), _) => second
                case (f::restFirst, s::restSecond) if comparator(f,s) < 0 => f :: merge(restFirst, second)
                case (f::restFirst, s::restSecond) => s :: merge(first, restSecond)
            }

        l match {
            case List() => return l
            case List(x) => return l
            case _ => {
                val (first, second) = l.splitAt( l.length / 2 )
                merge( sort(comparator)(first), sort(comparator)(second) )
            }
        }
    }
}

哪個不編譯，給我以下錯誤信息：

MergeSort.scala:10: type mismatch;
[error]  found   : f.type (with underlying type T)
[error]  required: T
[error]  case (f::restFirst, s::restSecond) if comparator(f,s) < 0 => f :: merge(restFirst, second)

為什么顯式強制轉換是必要的，因為底層類型是T？

Answer 1

這是我能想到的最煩人的Scala陷阱之一（可能是在與運算符的分號推斷相關問題之后）。 你是正確答案中的三個字符。

問題是merge的類型參數。 它引入了一個新的T ，它在sort隱藏T類型參數。 因此，編譯器不知道comparator可以應用於該新T實例。 你可以使用演員來討論它，這就是你的第一個版本有效的原因，但是否則它會將T視為空白。

只要寫def merge(first: List[T], ...你就沒事了。