Scala 中 A<:B 和 +B 有什么区别？

Question

Scala有什么区别

[A <: B]

Scala和

[+B]

？

Answer 1

Q[A <: B] 表示类 Q 可以采用任何属于 B 子类的类 A >。

Q[+B] 表示 Q 可以采用任何类，但如果 A 是 的子类>B，则 Q[A] 被认为是 Q[B] 的子类。

Q[+A <: B] 表示类 Q 只能获取 B 的子类并传播子类关系。

当您想做一些通用的事情，但需要依赖 B 中的一组特定方法时，第一个很有用。例如，如果您有一个带有 toFile 方法的 Output 类，则可以在任何可传递到 Q 的类中使用该方法。

当您想要使集合的行为与原始类相同时，第二个很有用。如果您使用 B 并创建子类 A，那么您可以在需要 B 的任何地方传递 A 。但是如果你获取B、Q[B]的集合，是不是总能传入Q[A ] 代替？一般来说，不会；在某些情况下，这样做是错误的。但您可以说，使用 +B （协方差；Q covaries--follows with--B的子类的继承关系）。

Answer 2

我想用更多的例子来扩展 Rex Kerr 的出色答案：
假设我们有四个类：

 class Animal {}
 class Dog extends Animal {}

 class Car {}
 class SportsCar extends Car {}

让我们从方差开始：

 case class List[+B](elements: B*) {} // simplification; covariance like in original List

 val animals: List[Animal] = List( new Dog(), new Animal() )
 val cars: List[Car] = List ( new Car(), new SportsCar() )

如您所见，List 不关心它是否包含动物或汽车。 List 的开发者并没有强制规定，例如只有汽车可以进入 List。

另外：

case class Shelter(animals: List[Animal]) {}

val animalShelter: Shelter = Shelter( List(new Animal()): List[Animal] )
val dogShelter: Shelter = Shelter( List(new Dog()): List[Dog] )

如果函数需要 List[Animal] 参数，您也可以将 List[Dog] 作为参数传递给函数。由于 List 的协方差，List[Dog] 被视为 List[Animal] 的子类。如果 List 不变的话，它就不起作用。

现在进入类型界限：

case class Barn[A <: Animal](animals: A*) {}

val animalBarn: Barn[Animal] = Barn( new Dog(), new Animal() )
val carBarn = Barn( new SportsCar() )
/* 
error: inferred type arguments [SportsCar] do not conform to method apply's type parameter bounds [A <: Animal]
    val carBarn = Barn(new SportsCar())
                 ^
*/

如您所见，Barn 是一个仅适用于动物的集合。这里不允许汽车进入。

Answer 3

我在研究这个问题时发现了这篇博文。对 Scala 方差进行更深入的解释，包括其在类别理论中的理论基础

http://blogs.atlassian.com/2013/01/covariance-and-contravariance-in-scala/

Answer 4

根据我的理解：

---

第一个是参数类型界限，在我们的例子中，有一个上限和下限类型界限，它是“类型参数 A，它是 B（或 B 本身）的子类型。

---

第二个是类定义的方差注释，在我们的例子中，B

---

Scala 的协变子类化： + Java: ? extends T 协变子类化

Scala： - Java: ? super T 逆变子类化