scala - 什么时候在Scala中使用存在类型？

Question

给出以下方法:

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

它们相等吗？你能给我一些例子，什么时候应该选哪个？

Answer 1

我想，只要您需要访问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]) = ???