5.2
subtyping
1.
Behavioral subtyping必须要满足的条件，不包括以下_
A
子类型可以增加父类型中所没有的新方法
B
子类型override父类型的某方法，子类型方法需具备相同或更弱的post-condition
C
子类型必须要具备与父类型相同或更弱的invariants(不变量)
D
子类型override父类型的某个方法，不能比父类型方法抛出新的异常类型，但可比父类型方法抛出的异常更少
正确答案：BC
2.
关于Behavioral subtyping的说法，不正确的是_
A
子类型override父类型某个方法，其返回值类型应该与父类型方法的返回值类型相同或者更具体(子类型)
B
子类型override父类型某个方法，其参数的类型应该与父类型方法的参数类型相同或者更具体
C
某个类是immutable的，它可以派生出一-个mutable的子类
D
子类型override父类型某个public方法，子类型中该方法的可见性可以为private
答案：BCD
C选项: java允许你这么设计, statictype checking也可以通过,但却是违反LSP的,因为immutable也是invariant (不变量),子类型的
invariant应该等于或强于父类型,而一个mutable的子类型就不再具备这个invariant。
D选项:把一个public方法override为private方法,那么如果用子类型的对象取代父类型对象,就无法调用这个操作了，所以无法取代，所以违反LSP。
3.
public class A {
public object a (String d) {
return "";}}
public class B extends A {
@Override
public String a (Object d) {
return null;}
}
该段Java代碣是否能通辻statictype checking?
A：能
B：不能
正确答案:B
答案解析:
虽然方法a在类A和类B里符合
covariance和contra-variance ,但因为Java不支持contra-variance ,这里的@Override是不能成立的。
4.
public class A {
public object a (String d) {
return "" ;}}
public class B extends A {
public String a (0bject d) {
return null;}}
亥段Java代碣是否能通辻statictype checking?
A 能
B 不能
正硝答案: A
解析：方法a在类A和类B里符合covariance和contra-variance，但因为java不支持contra-variance，于是
编译器就把B中的a方法看做A中a方法的overload
5.
void print(List<Object> list)
{...}
以下__作为参数传递进去不是对它的合法调用？
A： List<Integer> a;
B List<?> a;
C： Arraylist<Integer> a;
D： List<? extends Object> a;
E： List<Object> a;
答案：abcd
6.
void print
(List<? extends Number> list)
{...}
以下__作为参数传递进去不是对它的合法调用？
A： List<Integer> a;
B: List<?> a;
C: ArrayList<Integer> a;
D: List<? extends Integer> a;
E: List<0bject> a;
正确答案：BE