scala类型绑定表示法的方向是否有差异?

scala类型绑定表示法的方向是否有差异?,scala,covariance,contravariance,generic-variance,Scala,Covariance,Contravariance,Generic Variance,scala类型绑定表示法方向是否有差异,如在Is[B:B]中?这里[B:B]您声明类型a,它是类型BB:B的父级,表示a具有B的下限,这意味着A可以是类型层次结构中从B到Any的任何内容 一般来说,它们的意思并不相同。每个参数对不同的类型参数施加一个界限。这也不是方差表示法,它们是类型边界。就像Java iirc中处理类型签名时的supervsextends。

scala类型绑定表示法方向是否有差异,如在Is
[B:B]
中?

这里
[B:B]
您声明类型
a
,它是类型
B

B:B
的父级,表示
a
具有
B
的下限,这意味着
A
可以是类型层次结构中从
B
Any
的任何内容


一般来说,它们的意思并不相同。每个参数对不同的类型参数施加一个界限。这也不是方差表示法,它们是类型边界。

就像Java iirc中处理类型签名时的
super
vs
extends