2011-03-15 25 views
6

如何SEQ [+ A]可以以如果A在逆变位置发生协变:Seq [+ A]如何在A中协变?

def :+ (elem: A) : Seq[A] ?

据我所知,一个方法参数类型是逆变位置。我错过了什么?

回答

10

这就是用例签名。这不是一个真正的签名,就是你通常在常见用例中看到的。

真正的签名是:

def :+ [B >: A, That] (elem : B)(implicit bf : CanBuildFrom[Seq[A], B, That]) : That 

哪像你看到的,甚至不保证Seq回报,更A

+5

建立在丹尼尔所说的基础上,收集方法返回_a新的collection_,并且这些可以有更宽的类型。所以,是的,一个'Seq [A]'只能包含'A's,但是你的新的'Seq'可以扩大它的类型,这样它就可以包含不仅仅是'A'。 – 2011-03-15 20:20:59

+3

这个用例签名使用':+(elem:A):Seq [A]'而不是':+ [B>:A](elem:B):Seq [B]''虽然有点遗憾。 – 2011-03-15 20:43:16

+0

@Kris I concur:':+ [B>:A](elem:B):Seq [B]'更直观。我们可以让斯卡拉大家改变API文档吗? – Michael 2011-03-16 12:29:07

相关问题