文章探讨了Behavioralsubtyping的概念，包括子类型不能增加新方法、不能改变后置条件和不变量、不能抛出新异常等条件。同时，指出了Java中的一些特殊情况，如不支持contra-variance导致的代码静态检查问题。此外，文章还涉及Adapter模式和Iterator模式的应用，强调了接口在解耦和适应性中的作用。
Behavioral subtyping必须要满足的条件，不包括以下__
A 子类型可以增加父类型中所没有的新方法
B 子类型override父类型的某方法，子类型方法需具备相同或更弱的post-condition
C 子类型必须要具备与父类型相同或更弱的invariants（不变量）
D 子类型override父类型的某个方法，不能比父类型方法抛出新的异常类型，但可比父类型方法抛出的异常更少
正确答案：BC
关于Behavioral subtyping的说法，不正确的是___
A 子类型override父类型某个方法，其返回值类型应该与父类型方法的返回值类型相同或者更具体（子类型）
B 子类型override父类型某个方法，其参数的类型应该与父类型方法的参数类型相同或者更具体
C 某个类是immutable的，它可以派生出一个mutable的子类（违反LSP)
D 子类型override父类型某个public方法，子类型中该方法的可见性可以为private(违反LSP)
正确答案：BCD
public class A {
public Object a (String d
最低0.47元/天 解锁文章
扫一扫
8558
到【灌水乐园】发言
