Question

我们来看看这个示例代码：

trait DataProcessor[D] {
  def computeData(): D   
}

case class DataItem[D, P <: DataProcessor[D]](processor: P, data: D)

def computeDataFromItems(items: Set[DataItem[_, _]]) = items collectFirst {
  case DataItem(s: DataProcessor[_], d) =>
    s.computeData()   
}

使用Scala 2.11编译时，会产生此错误：

Error:(8, 77) type arguments [_$1,_$2] do not conform to class DataItem's type 
parameter bounds [D,P <: TwoExistentials.DataProcessor[D]]
  def computeDataFromItems(items: Set[DataItem[_, _]]) = items collectFirst {

似乎collectFirst方法需要更多类型信息，而这些信息不包含在DataItem类的存在类型中。

是否有机会为方法的参数提供更具体的类型，例如：

def computeDataFromItems(items: Set[DataItem[D, P] forSome { type D, type P <: DataProcessor[D] }])

，遗憾的是没有编译？

否则，是否有办法允许以类型安全的方式在集合中使用具有两个相关类型参数的类？

顺便说一句，我已经考虑过使用无形而不是存在类型。但我正在寻找使用经典Scala集合的实现。

Answer 1

这应该编译（用,替换;）：

def computeDataFromItems(items: Set[DataItem[D, P] forSome { type D; type P <: DataProcessor[D] }])

两个相关的存在类型参数

1 个答案: