Scala - 参数方法和forSome之间的区别

Question

在斯卡拉：

def rules[T]: Array[Rule[T]]= { ... }

与

def rules: Array[Rule[T]] forSome {type T} = { ... }

它们不一样，因为在某些情况下只有后者才有效。

Answer 1

forSome标志着一种存在主义类型。 存在类型可用于客户端类型差异，这可能是您的用例所必需的。 您可以在此问题下阅读更多内容。

Scala中的forSome关键字是什么？

或在链接的文章中

http://scalada.blogspot.de/2008/01/existential-types.html