1
条回答
写回答
写回答
-
推荐回答子类型需要满足以下性质
1子类型可以增加方法，但是不可删。
2子类型需要实现抽象方法。
3子类型不能具有更强的前置条件。
4子类型不能具有更弱的后置条件。
5参数类型逆变。
6返回值、异常协变。
7不变量保持。
2022-04-02 19:05:03赞同 展开评论 打赏
版权声明：本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
相关问答
