软件构造期末复习05 继承，重写，泛型

一、在接口中实现方法

• default关键字
• static关键字

二、几种关键字的区别

作用域	当前类	同一包内	子孙类(不同包)	其他包
public	T	T	T	T
protected	T	T	T	F
default	T	T	F	F
private	T	F	F	F

三、Overload和Overwrite

区分Overload和Overwrite

• 前者是不同的signature，后者是相同的signature
• Overload在编译时决定，Overwrite在运行时决定
• 例子:

class Animal {
    public void eat() {}
}

class Horse extends Animal {
    public void eat(String food) {}
}

class UseAnimals {
    public void doStuff(Animal a) {
        System.out.println("Animal");
    }
    public void doStuff(Horse h) {
        System.out.println("Horse");
    } 
}

public class Main {
    public static void main(String[] args) {
        UseAnimals ua = new UseAnimals();
        Animal animalobj = new Animal();
        Horse horseobj = new Horse();
        Animal animalRefToHorse = new Horse();
        ua.doStuff(animalobj);  //输出Animal
        ua.doStuff(horseobj);  // 输出Horse
        ua.doStuff(animalRefToHorse);  // 输出Animal
    }
}

• 注 : 返回值不同不能区分signature

四、泛型，通配符

泛型的性质

• 运行时，泛型消失。所以不能使用instanceof

上界通配符 <? extends E>

• 例 :

static int countLegs (List<? extends Animal > animals ) {
    int retVal = 0;
    for ( Animal animal : animals )
    {
        retVal += animal.countLegs();
    }
    return retVal;
}

static int countLegs1 (List< Animal > animals ){
    int retVal = 0;
    for ( Animal animal : animals )
    {
        retVal += animal.countLegs();
    }
    return retVal;
}

public static void main(String[] args) {
    List<Dog> dogs = new ArrayList<>();
    countLegs( dogs );  // 不会报错
    countLegs1(dogs);  // 报错
}

• 注 : ？也可以是 E

下界通配符 <? super E>

• 例 :

private <T> void test(List<? super T> dst, List<T> src){
    // ?是T或T的父类，所以能装下?的List也能装下T
    for (T t : src) {
        dst.add(t);
    }
}

    List<Dog> dogs = new ArrayList<>();
    List<Animal> animals = new ArrayList<>();
    test(animals,dogs);

• 注 : ？也可以是 E

？和 T 的区别

• T可以用来确保泛型参数的一致性

// 通过 T 来 确保 泛型参数的一致性
public <T extends Number> void test(List<T> dest, List<T> src)

//通配符是 不确定的，所以这个方法不能保证两个 List 具有相同的元素类型
public void test(List<? extends Number> dest, List<? extends Number> src)

五、如何设计immutable类型

• Don’t provide any mutators
• Ensure that no methods may be overridden
• Make all fields final
• Make all fields private
• Ensure security of any mutable components (avoid rep exposure)
• Implement toString(), hashCode(), clone(), equals(), etc.