scala – 函数参数：上限vs父类作为参数？

发布时间：2020-12-16 18:42:36 所属栏目：安全来源：网络整理

导读：考虑一下我们有： abstract class FlyingObject;case class Rocket(name: String) extends FlyingObject; 这两个函数声明之间有什么区别： def launch[T : FlyingObject](fo: T) 和 def launch(fo: FlyingObject) 如果使用哪种类型的声明,那将是一些很好的例

考虑一下我们有：

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

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

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

和

def launch(fo: FlyingObject)

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

[UPDATE]

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

解决方法

拥有一个比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.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!