学习了Scala中List的构造是的类型约束逆变、协变、下界详解，列表中用::加入父类的对象，列表会协变为父类，例子如下：
Def :: [B>:A](x:B):List(B)=
New scala:collection.imutable.::(x,this)
http://url.cn/UNeLA2
http://pan.baidu.com/s/1uLFyehttp://yunpan.cn/cd3M73aknBtdm 访问密码 e7d 
原文：http://www.cnblogs.com/tom-lee/p/4712531.html