软构一些知识点

对于anyrep

AF(s)= {s[i] |0<=i<s.length}

RI:true

下列remove方法不满足:
 

/**

* Modifies this set by removing c, if found.

* If c is not found in the set, has no effect.

* @param c character to remove

*/

public void remove ( char c ) {

int position = s . indexOf ( c );

if ( position >= 0 ) {

s = s . substring ( 0 , position ) + s . substring ( position + 1 , s . length ());

}

}

因为AF/RI没有规定字符串里每个字符只出现一次，而remove的规约指出要从s中删掉字符c，所以如果出现xxyyz，c=x时，remove只是得到xyyz，虽然满足AF/RI，但是不满足自己的规约，也是不行的

不变量是由创建者和生产者创建，观察者和改造者保持

接口不能有构造器，变量

所以会导致：用户使用接口的不同实现时要记住不同实现类的名字，这导致打破了抽象界限，

解决方法：Java8之后允许在接口中使用静态方法：public static，在该方法内部选取一个实现类的构造器

例如：public static Mystring valueOF(boolean b){
return new FastMyString（b）；

}

 

重载在静态编译时检查，在子类父类中也可以，方法名字必须一样，参数签名必须不同，返回值可以不同，private，public，protected也可以不同，也可以有新的异常

重写在子类中的方法名，参数类型和个数，返回值一摸一样，不能抛出新异常和更广的异常，可以减少或不抛出异常，对方法的权限不能增加，但是可以减少，对象选择哪个方法在运行时决定，看创建的对象类型例如：Animal a=new dog，则调用dog中重写的方法