对于＆＃34; Box [+ T]＆＃34;，我可以说＆＃34; Box类型是协变的＆＃34;，它是否正确？

Question

假设我定义了一个类型构造函数Box：

trait Box[+T]

什么是正确的？

1. type Box is covariant
2. 类型构造函数Box是协变的
3. 类型参数T是协变的
类型构造函数T中的
4. 类型参数Box是协变的
5. 如果所有这些都不正确，那么正确的表达方式是什么？

Answer 1

关于书籍Functional Programming in Scala的差异：

  

在声明trait List[+A]中，+位于...前面   类型参数A是方差注释，表示 A   是List的协变或“正”参数。这意味着   例如，List[Dog]被认为是其子类型   List[Animal]，假设Dog是Animal的子类型。

Answer 2

正确的是：

“类型Box在T”中是协变的