软件构造week5

3.3Abstract Data Type(ADT)
第一题
类WordList有四个方法，根据其方法定义来确定其类型
public WordList(List words)->Creator
public void unique()->Mutator
public WordList getCaptitalized()->Producer
public Map<String ,Integer> getFrequencies()->Observer

第二题
下面关于ADT的RI和AF正确的：
ADT的Abstract空间（A）中的某个值，在其Rep空间（R）中可能有多个值和其对应
若ADT的某个方法返回一个mutable的对象，并不一定表明该ADT产生了表示泄露（defensive copy）
一个immutable的ADT，其rep可以是mutable的
不正确的：
若ADT的任意constructor所构造出的object都满足RI、每个mutator方法执行结束后都保持RI为真，那么该ADT的RI就始终保持为真
解析：
defensive copy返回mutable对象，其实并未产生表示泄露
如果存在表示泄露，外部client就可以修改内部rep的值，就可能导致RI违反
只要没有rep exposure就没有问题

第三题
关于invariants,AF和RI，说法正确的是
如果一个immutable的ADT存在rep exposure，那么就违反了该ADT的invariants
如果在一个mutator方法内没有checkRep()，那么RI就可能被违反了
两个ADT有相同的rep和相同的RI，但可能AF不同
不正确：
两个ADT有相同的rep和相同的AF，那么其RI一定相同
解析：
immutability也是invariants的一部分，产生表示泄露就可能导致内部rep被修改，于是就不能保证immutable了，invariants就被违反了

第四题
用于检查ADT的Rep Invariants是否保持为真的checkRep()最好应该以下类型的方法结束前调用
Mutator
Creator
Producer
Observer
解析：
虽然observe方法不改变rep，但还是强烈建议return之前要checkRep()

第五题
class{
private String s;
private String t;
}
它的可能Rep Invariant会是
s contains only letters
s.length()==t.length()
s is the reverse of t

第六题
ADT的某个方法的spec需要以注释的形式放在代码中，在撰写这部分spec的时候，不能用到的信息是：
Mathematical values in the Rep space®
可以使用：
Parameters of operation
Data type of return values of the operation
Exceptions thrown by the operation
Mathematical values in the Abstract space(A)
解析：
Spec要给client看，那么所有内部的东西都不能用。R是rep的值空间，只能开发者自己了解。

第七题
在对ADT的方法进行JUnit测试时，以下说法正确的是：
对constructor方法，测试用例中需要构造新对象之后调用observer方法确认构造结果是否正确
对observer方法，测试用例中需要使用其他三类方法构造一个对象，再执行该方法并判断结果是否正确
不正确：
如果某方法的返回值为void，则无法为其撰写测试用例，因为无法assertEquals()
对mutator方法，测试用例中需要在该方法执行之后调用producer方法确认是否做了正确的mutate

第八题
不正确：
只要有非final的field，就一定产生表示泄露
除了初始化，immutable的类一定不能存在其他任何改变rep的方法
正确：
只要有public的field，就一定有表示泄露
checkRep()方法可能消耗大量运算在程序投入实际运行的时候要注释掉
解析：
所以不到迫不得已千万不要用public
final是来支持immutable的，与是否存在表示泄露无直接关系
可以有beneficent mutation
assert语句在投入真正运行的程序中是没有意义的，需要注释掉。前提是开发者利用checkRep()已经发现了所有违法RI的bug并修复了

第九题
针对你设计的一个ADT，不应该提供给client看的内容包括：
AF
RI
Rep exposure
Testing strategy
Rep
Implementation
Test cases
提供：
Spec

3.4Object-Oriented Programming(OOP)
第一题
关于static和final的说法，正确的是：
static类型的方法，调用时无需创建类的实例对象，可直接通过类名使用
被声明为final类型的类，无法从中派生出子类
被声明为final类型的方法，无法在子类中被override
类A的static方法中不能直接调用A的instance方法（而是要new一个A的对象再调用）；A的instance方法中可以直接调用A的static方法
不正确：
一个变量被声明为final，意味着它在被首次赋值之后，其内容就不能再变化

第二题
关于Java interface的说法，正确的是：
不能有constructor（构造方法）
不能有final方法
不能有private方法
可以有static方法
可以有fields（属性）
解析：
可以有属性的，都是public static final的

第三题
关于class和interface的说法，不正确的是：
一个类只能implements一个接口
一个类不能同时extends另一个类和implements一个接口
正确的：
一个接口可以extends一个或多个其他接口
一个类implements了一个接口，意味着它必须要实现该接口中的所有方法
一个类除了实现其implements的接口中的方法，还可以增加新的方法

第四题
某方法的定义是public int getLength (List <String> list, boolean bFliter)，对该方法合法的重载：
private int getLength (List<String> list, String regex)
public Integer getLength (List<String> list)
public int getLength (List<String> list) throws IOException
不合法的：
public void getLength (List<Object> list, boolean bFliter)

第五题
关于Java OOP中override 和overload的异同，说法正确的是：
前者的参数列表不能改变，后者的参数列表必须发生变化
前者的返回值类型不可变化，后者的返回值类型可以变化
前者的类型检查发生在run-time，后者的类型检查发生在compile-time
不正确的：
前者抛出的异常可以变化，后者抛出的异常不能变化
在子类里override父类方法时，方法前面必须使用@Override；overload父类方法时，无需使用annotation
解析：
在子类里override父类方法时，@override不是必须的，但是强烈建议使用，可以帮助开发者理解方法的“源头”

第六题
class Car{
public String refuel()
{ return “R”;}
}
Class Tesla extends Car{
public String refuel(){return “C”;}
public String refuel(double price)
{return “p”;}
}
无法通过static type checking的是
Car c = new Car();
c.refuel(10);

Car c = new Tesla();
c.refuel(10);
可以通过：
Car c = new Tesla();
c.refuel;

Tesla t = Tesla();
t.refuel;
解析：
Overload由static type checking负责

第七题
class Car{
public String refuel()
{ return “R”;}
}
Class Tesla extends Car{
public String refuel(){return “C”;}
public String refuel(double price)
{return “p”;}
}
能获得内容为"C"的字符串是
Car c = new Tesla();
c.refuel();

Tesla t = Tesla();
t.refuel();
不能获得：
Car c = new Car();
c.refuel();

Car c = new Car();
((Tesla) c).refuel();
解析：
Override在run-time做dynamic checking

第八题
类A和B，BextendsA，二者分别有一个apply（A a）方法，具有不同的返回值类型
假如
A a = new A();
B b = new B();
下面正确的是：
b.apply(a)与((B) b).apply((B) a)不等价
不正确：
b.apply(a)与((B) b).apply(a)不等价
b.apply(a)与((A) b).apply(a)不等价
b.apply(a)与((B) b).apply((A) a)不等价
解析：
b.apply(a)与((B) b).apply(a)等价
将b强转为(B)b，等于没转，b 的类型本来就是B

b.apply(a)与((B) b).apply((A) a)等价
也是类似的，两个强转都是没转

b.apply(a)与((A) b).apply(a)等价
B是A的子类，所以b必然是A的实例，所以将b转成(A)b，本质上还是等价的。

b.apply(a)与((B) b).apply((B) a)不等价
将a转成(B) a，这个向下强转做 不到，该强转将会在运行时抛出异常 ClassCastException。

第九题
关于OOPpolymorphism(多态）不是同义词：
generics和overriding
同义词：
subtype polymorpgism 和 inclusion polymorphism
Parametric polymorphism 和 generics
ad hoc polymorphism 和function overloading