Java核心技术（初阶）知识点复习——[5]转型、多态、契约设计

1.类转型

　　基本类型的相互转型；

　　对象类型的相互转型只限制于有继承关系的类，且仅限于向上转型（由子类变成父类）；

　　父类转为子类只有一种情况例外，即父类本身就是子类转化过来的（见下面的代码）；

Human obj1 = new Man();//可以，因为man继承于Human
Man obj2 = (Man) obj1;//可以，因为obj1本身起源就是来自Man

　　　注：至于这种向下转型在什么情况下使用，有什么意义等碰到了我再回来补充⑧！

　　　　　（目前推断是为了【实现接口方法的多态性】：定义接口类数组时向上转型，调用某一实例的方法时向下转型，以便使用有方法体的方法）

2.多态

　　类转型带来的作用就是多态；

　　作用为：1）可以以统一的接口来操纵某一类中不同的对象的动态行为；

　　　　　　2）可以实现对象间的解耦；

　　子类方法的方法名、形参和父类一样，但子类方法的优先级高于父类；

public class Human{
    public void eat(){
        system.out.println("I can eat");
    }
5 }

public class Man extends Human{
    public void eat(){
        System.out.println("I can eat more");
    }
    public void plough(){
        Sysytem.out.println("I can also plough")
    }

    public static void main(String[] args){
        Man obj1 = new Man();
        obj1.eat(); //call Man.eat();
        Human obj2 = (Human) obj1;
        obj2.eat(); //call Man.eat();!!!从内存上来理解!!!向上转型只是把原来内存空间的一部分数据遮盖住
        Man obj3 = (Man) obj2;
        obj3.eat(); //call Man.eat();
    } 
}

　　如果这时候来测试一下，会发现这三者实际上只想的是同一块内存，所以只是临时把一部分数据遮盖住了；

public static void main(String[] args){
     System.out.println(obj1 = obj2); //true
     System.out.println(obj1 = obj3); //true
     System.out.println(obj3 = obj2); //true
}

　

3.契约设计——基于多态性的设计思想

　　[1]接口规定规范了对象应该包含的行为和方法，即接口定义了方法的名称、参数、返回值；规范了派生类的行为；

　　[2]基于接口，利用转型和多态，不影响真正方法的调用，成功将调用类和被调用类解耦（decoupling）；

public interface Animal{
    public eat();
}

public class AnimalTest{
    public static void haveLunch(Animal a){
        a.eat();
    }
    havelunch(new Cat());//隐含一个向上转型：Animal a = new Cat();
}

　　[3]综上，基于契约设计，类不会直接使用另外一个类，而是采用接口形式，外部可以“空投”这个接口下的任意子类对象（此时默认实现了一个向上转型过程）