AI 助理
备案控制台
开发者社区 问答 正文

子类型具有什么性质？

已解决

子类型具有什么性质？

展开
收起
游客m3boi7lqsjbs2 2022-04-02 19:03:27 751 分享 版权

版权声明：本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。

1 条回答
写回答
取消 提交回答
  • 游客m3boi7lqsjbs2
    推荐回答

    子类型需要满足以下性质

    1子类型可以增加方法，但是不可删。

    2子类型需要实现抽象方法。

    3子类型不能具有更强的前置条件。

    4子类型不能具有更弱的后置条件。

    5参数类型逆变。

    6返回值、异常协变。

    7不变量保持。

    2022-04-02 19:05:03
    赞同 展开评论
问答地址：
开发者社区 > 云计算 > 问答
相关问答
内部函数返回值尽量使用基础类型，主要收益如何？
182
1
0
内部函数尽量使用基础类型。如何操作？
154
1
0
子类等于子类型吗？为什么？
236
1
0
里氏替换原则中子类和子类型可以替换什么？符合里氏替换原则必不可少的条件是什么？
252
1
0
标称类的属性怎么发现属性冗余啊？
435
1
0
基于原型的集群类型具有什么性质呢？
452
1
0
Java面向对象的类的两类成员有什么区别？
949
1
0
为什么说抽象类是用来捕捉子类的通用特性的，而接口则是抽象方法的集合呢？
811
1
0
反转子类和排列数组子类之间有什么关系？
370
1
0
反转子类ReverseArray完美的表现出了什么？
366
1
0