何时在Scala中使用存在类型？

发布时间：2020-12-16 09:25:44 所属栏目：安全来源：网络整理

导读：为方法提供以下内容： def beCool[T : S](args:Array[T]) = {}def beCool(args:Array[T forSome {type T :S}]) = {} 它们是等价的吗？你能不能给我一些例子呢？解决方法我想,只要你需要访问T,你就需要第一个.最简单的例子是返回一个args元素： def beCool(

为方法提供以下内容：

def beCool[T <: S](args:Array[T]) = {}
def beCool(args:Array[T forSome {type T <:S}]) = {}

它们是等价的吗？你能不能给我一些例子呢？

解决方法

我想,只要你需要访问T,你就需要第一个.最简单的例子是返回一个args元素：

def beCool(args: Array[T forSome { type T }]): T = args.head // --> not found: type T
def beCool[T](args: Array[T]): T = args.head // ok

当您使用通配符时,第一个中的可访问类型T的不存在性更明显：

def beCool(args: Array[_ <: S]) = ???

（编辑：李大同）

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