在Scala中对子类型和类型参数进行分类
发布时间：2020-12-16 18:46:12 所属栏目：安全 来源：网络整理
导读：我是 Scala的新手,目前正在学习 Scala中的类型参数,我遇到了以下情况. 假设我有2个A和B类,其中B是A的子类型. class A {...}class B extends A {...} 所以我可以说B：A. 这是否也意味着List [B]：List [A]？ 解决方法 在List的情况下,B：A确实暗示List [B]lt
|
我是
Scala的新手,目前正在学习
Scala中的类型参数,我遇到了以下情况.
假设我有2个A和B类,其中B是A的子类型. class A {
...
}
class B extends A {
...
}
所以我可以说B<：A. 这是否也意味着List [B]<：List [A]？ 解决方法
在List的情况下,B<：A确实暗示List [B]< ;: List [A],因为List的类型参数是协变的.使类型参数协变意味着它只能出现在List定义中的协变位置,即它只能显示为方法的返回类型,而不能显示为参数的类型. “Scala之旅”包含一个关于
variance的部分.维基百科也有一个很好的
article about variance.类型参数的方差的三个选项是：
>不变性：无论A和B之间的关系是什么,C [A]都不是C [B]的子类型.这方面的例子是可变数据结构,例如数组.>协方差：B<：A意味着C [B]<：C [A].示例是不可变数据结构或函数的返回类型.>逆变量：A<：B表示C [B]< ;: C [A].例如,函数在其参数类型中是逆变的. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |