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