Java基础3-JVM层面理解Java继承、封装、多态的实现原理(二)

简介: Java基础3-JVM层面理解Java继承、封装、多态的实现原理(二)

Java基础3-JVM层面理解Java继承、封装、多态的实现原理(一):https://developer.aliyun.com/article/1535614

继承的实现原理

Java 的继承机制是一种复用类的技术,从原理上来说,是更好的使用了组合技术,因此要理解继承,首先需要了解类的组合技术是如何实现类的复用的。

使用组合技术复用类 假设现在的需求是要创建一个具有基本类型,String 类型以及一个其他非基本类型的对象。该如何处理呢?

对于基本类型的变量,在新类中成员变量处直接定义即可,但对于非基本类型变量,不仅需要在类中声明其引用,并且还需要手动初始化这个对象。

这里需要注意的是,编译器并不会默认将所有的引用都创建对象,因为这样的话在很多情况下会增加不必要的负担,因此,在合适的时机初始化合适的对象,可以通过以下几个位置做初始化操作:

在定义对象的地方,先于构造方法执行。在构造方法中。在正要使用之前,这个被称为惰性初始化。使用实例初始化。

class Soap {    
    private String s;    
    Soap() {        
        System.out.println("Soap()");        
        s = "Constructed";    
    }    
    public String tiString(){        
        return s;    
    }
}
public class Bath {    
    // s1 初始化先于构造函数    
    private String s1 = "Happy", s2 = "Happy", s3, s4;    
    private Soap soap;    
    private int i;    
    private float f;    
    public Both() {        
        System.out.println("inSide Both");        
        s3 = "Joy";       
         f = 3.14f;        
        soap = new Soap();    
    }    
    {        
        i = 88;    
    }    
    public String toString() {        
        if(s4 == null){            
            s4 = "Joy"        
        }        
        return "s1 = " + s1 +"\n" +               
                "s2 = " + s2 +"\n" +               
                "s3 = " + s3 +"\n" +               
                "s4 = " + s4 +"\n" +               
                "i = " + i +"\n" +               
                "f = " + f +"\n" +               
                "soap = " + soap;    
    }
}

继承 Java 中的继承由 extend 关键字实现,组合的语法比较平实,而继承是一种特殊的语法。当一个类继承自另一个类时,那么这个类就可以拥有另一个类的域和方法。

class Cleanser{    
    private String s = "Cleanser";    
    public void append(String a){        
        s += a;    
    }    
    public void apply(){        
        append("apply");    
    }    
    public void scrub(){        
        append("scrub");    
    }    
    public String toString(){        
        return s;    
    }    
    public static void main(String args){        
        Cleanser c = new Cleanser();        
        c.apply();        
        System.out.println(c);    
    }
}
public class Deter extends Cleanser{    
    public void apply(){       
         append("Deter.apply");       
         super.scrub();    
    }    
    public void foam(){        
        append("foam");   
     }   
     public static void main(String args){        
        Deter d = new Deter();        
        d.apply();        
        d.scrub();        
        d.foam();        
        System.out.println(d);       
         Cleanser.main(args);    
    }
}

上面的代码中,展示了继承语法中的一些特性:

子类可以直接使用父类中公共的方法和成员变量(通常为了保护数据域,成员变量均为私有) 子类中可以覆盖父类中的方法,也就是子类重写了父类的方法,此时若还需要调用被覆盖的父类的方法,则需要用到 super 来指定是调用父类中的方法。子类中可以自定义父类中没有的方法。可以发现上面两个类中均有 main 方法,命令行中调用的哪个类就执行哪个类的 main 方法,例如:java Deter。继承语法的原理 接下来我们将通过创建子类对象来分析继承语法在我们看不到的地方做了什么样的操作。

可以先思考一下,如何理解使用子类创建的对象呢,首先这个对象中包含子类的所有信息,但是也包含父类的所有公共的信息。

下面来看一段代码,观察一下子类在创建对象初始化的时候,会不会用到父类相关的方法。

class Art{    
    Art() {        
        System.out.println("Art Construct");    
    }
}
class Drawing extends Art {    
    Drawing() {        
       System.out.println("Drawing Construct");    
    }
}
public class Cartoon extends Drawing {    
    public Cartoon() {        
    System.out.println("Cartoon construct");    
}    
public void static main(String args) {        
    Cartoon c = new Cartoon();    
    }
}
/*output:Art ConstructDrawing ConstructCartoon construct*/

通过观察代码可以发现,在实例化Cartoon时,事实上是从最顶层的父类开始向下逐个实例化,也就是最终实例化了三个对象。编译器会默认在子类的构造方法中增加调用父类默认构造方法的代码。

因此,继承可以理解为编译器帮我们完成了类的特殊组合技术,即在子类中存在一个父类的对象,使得我们可以用子类对象调用父类的方法。而在开发者看来只不过是使用了一个关键字。

注意:虽然继承很接近组合技术,但是继承拥有其他更多的区别于组合的特性,例如父类的对象我们是不可见的,对于父类中的方法也做了相应的权限校验等。

那么,如果类中的构造方法是带参的,该如何操作呢?(使用super关键字显示调用)

见代码:

class Game {    
    Game(int i){        
        System.out.println("Game Construct");    
    }
}
class BoardGame extends Game {    
    BoardGame(int j){        
        super(j);        
        System.out.println("BoardGame Construct");    
    }
}
public class Chess extends BoardGame{    
    Chess(){        
        super(99);        
        System.out.println("Chess construct");    
    }    
    public static void main(String args) {        
        Chess c = new Chess();    
    }
}

/*output:Game ConstructBoardGame ConstructChess construc*/

重载和重写的实现原理

   刚开始学习Java的时候,就了解了Java这个比较有意思的特性:重写 和 重载。开始的有时候从名字上还总是容易弄混。我相信熟悉Java这门语言的同学都应该了解这两个特性,可能只是从语言层面上了解这种写法,但是jvm是如何实现他们的呢 ?

重载官方给出的介绍:

一.  overload: The Java programming language supports overloading methods, and Java can distinguish between methods with different method signatures. This means that methods within a class can have the same name if they have different parameter lists .

Overloaded methods are differentiated by the number and the type of the arguments passed into the method.

You cannot declare more than one method with the same name and the same number and type of arguments, because the compiler cannot tell them apart.

The compiler does not consider return type when differentiating methods, so you cannot declare two methods with the same signature even if they have a different return type.

首先看一段代码,来看看代码的执行结果:

public class OverrideTest {
    class Father{}    
    class Sun extends Father {}    
    public void doSomething(Father father){        
        System.out.println("Father do something");    
    }    
    public void doSomething(Sun father){        
        System.out.println("Sun do something");    
    }    
    public static void main(String [] args){        
        OverrideTest overrideTest = new OverrideTest();        
        Father sun = overrideTest.new Sun();        
        Father father = overrideTest.new Father();        
        overrideTest.doSomething(father);        
        overrideTest.doSomething(sun);    
    }
}

看下这段代码的执行结果,最后会打印:

Father do something Father do something

为什么会打印出这样的结果呢?首先要介绍两个概念:静态分派和动态分派

静态分派:依赖静态类型来定位方法执行版本的分派动作称为静态分派

动态分派:运行期根据实际类型确定方法执行版本的分派过程。

他们的区别是:

  1. 静态分派发生在编译期,动态分派发生在运行期;
  2. private,static,final 方法发生在编译期,并且不能被重写,一旦发生了重写,将会在运行期处理。
  3. 重载是静态分派,重写是动态分派

回到上面的问题,因为重载是发生在编译期,所以在编译期已经确定两次 doSomething 方法的参数都是Father类型,在class文件中已经指向了Father类的符号引用,所以最后会打印两次Father do something。

二. override: An instance method in a subclass with the same signature (name, plus the number and the type of its parameters) and return type as an instance method in the superclass overrides the superclass's method.

The ability of a subclass to override a method allows a class to inherit from a superclass whose behavior is "close enough" and then to modify behavior as needed. The overriding method has the same name, number and type of parameters, and return type as the method that it overrides. An overriding method can also return a subtype of the type returned by the overridden method. This subtype is called a covariant return type.

还是上面那个代码,稍微改动下

public class OverrideTest {    
    class Father{
        public void doSomething(){                System.out.println("Father do something");    
    }    }   
    class Sun extends Father {
        public void doSomething(){                System.out.println("Sun do something");    
    }    }            
    public static void main(String [] args){        
        OverrideTest overrideTest = new OverrideTest();        
        Father sun = overrideTest.new Sun();        
        Father father = overrideTest.new Father();        
        overrideTest.doSomething();        
        overrideTest.doSomething();    
    }
}

最后会打印:

Father do something

Sun do something

相信大家都会知道这个结果,那么这个结果jvm是怎么实现的呢?

在编译期,只会识别到是调用Father类的doSomething方法,到运行期才会真正找到对象的实际类型。

首先该方法的执行,jvm会调用invokevirtual指令,该指令会找栈顶第一个元素所指向的对象的实际类型,如果该类型存在调用的方法,则会走验证流程,否则继续找其父类。这也是为什么子类可以直接调用父类具有访问权限的方法的原因。简而言之,就是在运行期才会去确定对象的实际类型,根据这个实际类型确定方法执行版本,这个过程称为动态分派。override 的实现依赖jvm的动态分派


目录
相关文章
|
10天前
|
缓存 安全 算法
Java面试题:如何通过JVM参数调整GC行为以优化应用性能?如何使用synchronized和volatile关键字解决并发问题?如何使用ConcurrentHashMap实现线程安全的缓存?
Java面试题:如何通过JVM参数调整GC行为以优化应用性能?如何使用synchronized和volatile关键字解决并发问题?如何使用ConcurrentHashMap实现线程安全的缓存?
11 0
|
10天前
|
存储 算法 Java
Java面试题:深入探究Java内存模型与垃圾回收机制,解释JVM中堆内存和栈内存的主要区别,谈谈对Java垃圾回收机制的理解,Java中的内存泄漏及其产生原因,如何检测和解决内存泄漏问题
Java面试题:深入探究Java内存模型与垃圾回收机制,解释JVM中堆内存和栈内存的主要区别,谈谈对Java垃圾回收机制的理解,Java中的内存泄漏及其产生原因,如何检测和解决内存泄漏问题
15 0
|
10天前
|
存储 算法 安全
Java面试题:Java内存模型及相关知识点深度解析,Java虚拟机的内存结构及各部分作用,详解Java的垃圾回收机制,谈谈你对Java内存溢出(OutOfMemoryError)的理解?
Java面试题:Java内存模型及相关知识点深度解析,Java虚拟机的内存结构及各部分作用,详解Java的垃圾回收机制,谈谈你对Java内存溢出(OutOfMemoryError)的理解?
20 0
|
3天前
|
测试技术 API Android开发
《手把手教你》系列基础篇(九十七)-java+ selenium自动化测试-框架设计篇-Selenium方法的二次封装和页面基类(详解教程)
【7月更文挑战第15天】这是关于自动化测试框架中Selenium API二次封装的教程总结。教程中介绍了如何设计一个支持不同浏览器测试的页面基类(BasePage),该基类包含了对Selenium方法的二次封装,如元素的输入、点击、清除等常用操作,以减少重复代码。此外,页面基类还提供了获取页面标题和URL的方法。
13 2
|
9天前
|
存储 Java 程序员
Java面试题:方法区在JVM中存储什么内容?它与堆内存有何不同?
Java面试题:方法区在JVM中存储什么内容?它与堆内存有何不同?
33 10
|
9天前
|
存储 运维 Java
Java面试题:JVM的内存结构有哪些主要部分?请简述每个部分的作用
Java面试题:JVM的内存结构有哪些主要部分?请简述每个部分的作用
28 9
|
9天前
|
存储 安全 Java
Java面试题:在JVM中,堆和栈有什么区别?请详细解释说明,要深入到底层知识
Java面试题:在JVM中,堆和栈有什么区别?请详细解释说明,要深入到底层知识
20 3
|
9天前
|
存储 Java 编译器
Java面试题:描述方法区(Method Area)的作用以及它在JVM中的演变(从永久代到元空间)
Java面试题:描述方法区(Method Area)的作用以及它在JVM中的演变(从永久代到元空间)
17 3
|
9天前
|
算法 Java
Java面试题:列举并解释JVM中常见的垃圾收集器,并比较它们的优缺点
Java面试题:列举并解释JVM中常见的垃圾收集器,并比较它们的优缺点
22 3
|
9天前
|
缓存 Prometheus 监控
Java面试题:如何监控和优化JVM的内存使用?详细讲解内存调优的几种方法
Java面试题:如何监控和优化JVM的内存使用?详细讲解内存调优的几种方法
30 3