我有以下案例类:
case class Alert[T <: Transport](destination: Destination[T], message: Message[T])
在Scala 2.9.2中,以下方法签名编译正常:
def send(notification: Alert[_]) {
notification match {
...
}
}
现在在Scala 2.10.1中,它无法编译,并出现以下错误:
type arguments [_$1] do not conform to class Alert's type parameter bounds [T <: code.notifications.Transport]
为什么是这样?我该如何修复错误?简单地给出相同类型的边界来发送更多的编译错误…
更新:看看SIP-18,我不认为原因是我没有启用存在类型,因为SIP-18说它只需要非通配符类型,这正是我在这里所拥有的.
最佳答案 有错误似乎是说存在主义类型“_”并不局限于运输的子类型.这可能是首选的解决方案,
trait Transport
trait Destination[T]
trait Message[T]
case class Alert[T <: Transport](destination: Destination[T], message: Message[T])
def send[T <: Transport](notification: Alert[T]) {
notification match {
case _ => ()
}
}
这似乎也有效,
def send(notification: Alert[_ <: Transport])
但我认为最好不要使用存在类型.