函数参数:上限vs父类作为参数？

Question

考虑一下我们有:

abstract class FlyingObject;
case class Rocket(name: String) extends FlyingObject;

这两个函数声明之间有什么区别:

def launch[T <: FlyingObject](fo: T)

和

def launch(fo: FlyingObject)

如果使用哪种类型的声明,那将是一些很好的例子......

[UPDATE]

在那里可以找到另一个很好的例子和解释.这是你应该使用上限而不仅仅是派生类作为参数的另一个例子.

Answer 1

拥有一个比FlyingObject更具体的T可能是有用的.也许想象你有一个方法

def modifyName(fo: FlyingObject, newName: String): FlyingObject = fo.copy(name=newName)

返回带有修改名称的FlyingObject的副本.这使得这段代码不是类型检查:

val newRocket: Rocket = modifyName(oldRocket, "new name")

由于modifyName返回FlyingObject而不是Rocket.代替:

def modifyName[T <: FlyingObject](fo: T, newName: String): T = fo.copy(name=newName)

当Rocket传入时,将返回Rocket.