Scala学习日记(一)类型推断

原创
2016/06/24 15:58
阅读数 1.6K

和Java一样,Scala也有泛型。刚看到泛型的时候,会发现

    List[+T] extends Seq[T]

这样的语法。这里的加号指的是:

协变covariant	C[T’]是 C[T] 的子类	[+T]
逆变contravariant	C[T] 是 C[T’]的子类	[-T]
不变invariant	C[T] 和 C[T’]无关	[T]

有了这个,在Scala里写

    val l:List[Number] = new List[Int]

是合理的。Java里貌似没有对应的结果。

展开阅读全文
加载中
点击引领话题📣 发布并加入讨论🔥
打赏
0 评论
0 收藏
0
分享
返回顶部
顶部