gpt4 book ai didi

scala - Scala中的泛型类型推断

转载 作者:行者123 更新时间:2023-12-04 03:38:58 26 4
gpt4 key购买 nike

我编写了以下代码,它实际上是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,为什么显式强制转换是必需的?

最佳答案

这是我能想到的最烦人的Scala陷阱之一(也许是在运算符与分号推理相关的问题之后)。您是正确答案中的三个字符。

问题是merge上的类型参数。它引入了一个新的T,它遮盖了T上的sort类型参数。因此,编译器不知道comparator可以应用于该新T的实例。您可以通过强制转换来解决这个问题,这就是您的第一个版本起作用的原因,但否则它将T视为空白。

只需编写def merge(first: List[T], ...,就可以了。

关于scala - Scala中的泛型类型推断,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13830279/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com