特征名称[+ Something]在scala中的含义是什么

Question

我正在阅读scala默认库代码,发现这篇文章:

trait TraversableLike[+A, +Repr] extends Any
    with HasNewBuilder[A, Repr]
    with FilterMonadic[A, Repr]
    with TraversableOnce[A]
    with GenTraversableLike[A, Repr]
    with Parallelizable[A, ParIterable[A]]
{
    self =>
    ...
}

究竟是做什么的？

Answer 1

在Scala中Generic[TypeParameter]是一种泛型类型,它接收一个类型作为参数.

这Generic就像一个类型系列,可以在提供类型参数时使用.一个明显的例子是List"事物列表"的泛型类型,例如List[Int],后者是具体类型"整数列表".

另一方面,类型修饰符"+"之前TypeParameter用于确定泛型类型是否是协变的.同样," - "表示其逆转.

来自Martin Ordesky的书(Scala编程):

...

...

...

最后,with将您的特征与指定的特征混合.