Java的协变数组类型

语言设计中的困难之一就是如何处理集合类型的继承问题。

假设Employee IS-A Person,那么,是不是意味着数据Employee[ ] IS-A Person[ ] 呢?换句话说,如果一个例程接受Person[ ] 作为参数,那么我们能不能把Employee[ ] 作为参数

来传递呢?

从表面上来看,似乎Employee[ ] 就应该是和Person[ ]类型兼容的。

现在假设除Employee之外,我们还有Student IS-A Employee,并假设Employee[ ] 是和Person[ ]类型兼容的,此时考虑以下两个赋值语句:

Person[] arr = new Employee[5]; //编译:arrays are compatible
arr[0] = new Student();
//编译:Student IS-A Person

两句都编译,而arr[ 0 ] 实际上引用一个Employee,可是Student IS-NOT-A Employee,这样就产生了类型混乱。运行时系统(runtime system)(Java虚拟机)是不能抛出ClassCastException异常,因为不存在类型转换。

避免这种问题的最容易的方法是指定这些数组不是类型兼容的。可是,在Java中数组却是类型兼容的,这叫做协变数组类型。每个数组都明了它所允许存储的对象的类型。如果将一个不兼容的类型插入到数组中,那么虚拟机将抛出一个ArrayStoreException异常。


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值