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