特征名称[+ 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，它是＆＃34;事物列表的通用类型＆＃34}。例如List[Int]，后者是具体类型＆＃34;整数列表＆＃34;。

另一方面，类型修饰符＆＃34; +＆＃34;在TypeParameter之前用于确定泛型类型是否是协变的。同样，＆＃34; - ＆＃34;表明它的逆转。

来自Martin Ordesky的书（ Scala编程）：

...

...

...

最后，with将您的特征与指定的特征混合在一起。