Java协变、逆变、类型擦除。列表优先于数组

协变逆变与类型擦除解析
本文深入探讨了Java中的协变、逆变概念及其与类型擦除的关系,对比了数组与泛型在继承特性上的差异,阐述了它们在编译时与运行时对类型安全的影响。

什么是协变、逆变、类型擦除。

假设F(X)代表Java中的一种代码模式,其中X为此模式中可变的部分。如果B是A的派生类,而F(B)也享受F(A)派生类的待遇,那么F模式是协变的,如果F(A)反过来享受F(B)派生类的待遇,那么F模式是逆变的。如果F(A)和F(B)之间不享受任何继承待遇,那么F模式是不变的。

  • 总结:
    是否享受继承待遇:
    数组 Object[] = Apple[] 协变
    某个东西 Apple * = Object * 就是逆变
    泛型 是不能够享受 所以是不可变

数组是协变的、具体化的。泛型是不可变的、编译时强化、运行时擦除的。

数组是协变可具体化的,泛型是不可变的且可以被擦除的

数组提供了运行时的类型安全但是没有编译时的类型安全,所以有些错误需要等到运行的时候才发现。

而列表<泛型> 时相反的,在编译时强化对类型安全的判定,而在运行时进行类型擦除。 能够更早的发现错误

所以 列表优先于数组

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值