高分面试从Hotspot源码层面剖析java多态实现原理

目录
  • C++是如何实现多态的
  • JVM中的虚表
  • Java是如何实现虚表分发

本篇文章是接上篇文章【JVM的多态是如何实现的】写的，如果你还没看过，墙裂都建议你看一下。

传送门  高分面试分析jvm如何实现多态

上篇文章我给出了这道面试题的及格分的回答及七八十分的回答，今天我就告诉大家如果想回答得接近满分，应该怎么回答。因为会设计到C++的虚表及C++的多态实现，如何这块你不理解或不熟，面试中建议别拿出来说，免得碰到懂C++给你来个连环call把你问懵了。

这边给大家补一个知识点。我在昨天的文章里说：当时设计OOP机制的时候，能够想到多态的人，真特么太牛叉了。我给大家讲一下我为什么这样说。或者说，OOP三大机制为什么就是封装、继承、多态。这么几十年了，没加一个、减一个或改一个。

由于多态需要通过动态绑定才能得以实现，而绑定通俗一点讲就是让不同的对象对同一个函数进行调用，或者反过来讲，就是让同一个函数与不同的对象绑定起来，所以多态得以实现的一个大前提就是，编程语言必须是面向对象的。同时，函数与对象相互绑定，意味着函数也属于对象的一部分，这便具备了封装的特性。因为有了封装，才有了对象。同时，一个函数能够绑定多个对象，意味着对各不同的对象具有相同的行为，这是继承的含义。

因此，面向对象的三大特性缺一不可。封装与继承其实是为了多态准备的，或者说，封装与继承成全了多态，多态让封装与继承的意义最大化。

C++是如何实现多态的

多态的实现，现在几乎所有的编程语言都是基于虚表实现的，英文vtable。这里我没有说全部，因为我也不是所有的语言都了解哈，不敢乱说，免得遭喷。^_^

C++的虚表在哪呢？在new创建的对象的头部。虚表里面存储的是什么呢？是虚函数。C++这块的知识我就不讲太多了，很多小伙伴不了解C++，讲多了没必要，作为一名Java程序员，了解到这个程度够了。

因为hotshot主要是用C++写的，讲了C++的虚表，这张图你应该就能看懂了。

不然总有小伙伴问我：Java的类对应的C++对象，为什么有C++级别的虚表啊。我没看到哪里有这样的代码啊。

搞清楚了虚表，再来了解虚表分发就容易多了。虚表分发，其实就是通过虚表内存地址拿到虚表记录，然后通过函数名+内含参数信息及返回值信息的签名去虚表中找。因为是从前往后找，所以如果子类重写了父类的方法，会调用子类的方法。

C++的虚表分发，我只是简单讲了下，讲多了大家没概念。JVM的虚表分发，我等下会讲得详细一些。很多现象，如果不了解它的底层，是不是百思不得其解。有那么多为什么？为什么？^_^

所以Java虽好，底层也很重要。顺便说下，虚表就是用数组实现的，没有有些小伙伴想得那么复杂。

JVM中的虚表

JVM的虚表跟C++的虚表还不太一样。不一样体现在哪呢？研究虚表研究三个东西：虚表在哪、虚表是用什么结构实现的、虚表分发机制是怎样的。JVM的虚表分发等下讲，JVM的虚表也是用数组实现的，那这个不一样就体现在虚表在哪？

Java的类，JVM中对应的C++对象是klass模型。Java的对象，JVM中对应的C++对象是oop模型。C++中的虚表在对象头中，而JVM的虚表在klass模型的头部，即Java类对象的头部。这点区别一定要记住，这样你才能理解Java对象的内存布局。

问个问题：我们随便定义的一个类，它有没有JVM虚表呢？其实是有的。那是哪些方法的内存地址呢？回答这个问题前先得搞明白：什么样的方法会存入虚表。只有public、protect类型的，且不被static、final修饰的方法才能被多态调用，才会进入虚表。因为Java中所有的类都是Object的子类，所以Object中满足这个条件的方法都会在每个类的虚表中。

又到了小伙伴不服气环节。么事，上证据。具体怎么查看我就不讲了，有点复杂。对hotspot没一定的功力讲了也没概念。

Java是如何实现虚表分发

有些小伙伴不理解：我只会Java干活都没问题呀，我为什么要学底层呢？那你想进大厂跟优秀的人成为同事吗？你想成为别人眼中的大佬吗？你希望在某个领域能有一定的名气吗……这些都需要实力来支撑。

有些小伙伴说：我手写一个JVM干什么呢？那我就用我手写的JVM来讲解这个知识点。这就是你有一个手写JVM的意义之一。

JVM实现虚表分发，对应的字节码指令有两个：invokevirtual、invokeinterface。上篇文章咱们深入讲解了invokeinterface，这篇文章咱们继续拿这个指令来讲这个知识点。我们来看看JVM是如何分发的。其实一看执行invokeinterface时的堆栈，你应该就能明白了。

虽然invokeinterface后面的操作数是接口方法信息。但是真正的对象会作为this传过来。所以在调用的时候，从操作数栈拿到真正的对象，然后通过对象头中的类型指针拿到TestDuotai对应的C++类对象，即klass模型。前面说了，虚表就在这个对象的头部。然后通过函数名+内含参数信息及返回值信息的签名去虚表中找。因为是从前往后找，所以如果子类重写了父类的方法，会调用子类的方法。这就是JVM虚表分发的底层原理。

以上就是高分面试从Hotspot源码层面剖析java多态实现原理的详细内容，更多关于hotspot源码层面剖析java多态原理的资料请关注我们其它相关文章！

赞 (0)

相关推荐

  • java多态机制原理特点详解

    java多态机制是什么 java中实现多态的机制是依靠父类或接口的引用指向子类.从而实现了一个对象多种形态的特性.其中父类的引用是在程序运行时动态的指向具体的实例,调用该引用的方法时,不是根据引用变量的类型中定义的方法来运行,而是根据具体的实例的方法. 概念 多态就是指一个引用变量倒底会指向哪个类的实例对象,该引用变量发出的方法调用到底是哪个类中实现的方法,必须在由程序运行期间才能决定. 因为在程序运行时才确定具体的类,这样,不用修改源程序代码,就可以让引用变量绑定到各种不同的类实现上,从而导致

  • java 多态性详解及常见面试题

    java多态性 多态分两种: (1)   编译时多态(设计时多态):方法重载. (2)   运行时多态:JAVA运行时系统根据调用该方法的实例的类型来决定选择调用哪个方法则被称为运行时多态.(我们平时说得多的事运行时多态,所以多态主要也是指运行时多态) 运行时多态存在的三个必要条件: 一.要有继承(包括接口的实现): 二.要有重写: 三.父类引用指向子类对象. 多态的好处: 1.可替换性(substitutability).多态对已存在代码具有可替换性.例如,多态对圆Circle类工作,对其他任

  • java中多态概念、实现原理详解

    一.什么是多态? 1.多态的定义 指允许不同类的对象对同一消息做出响应.即同一消息可以根据发送对象的不同而采用多种不同的行为方式(发送消息就是函数调用) 2.多态的作用 消除类型之间的耦合关系 3.多态的说明 近代网络小说泛滥,我们可以用它来举一个例子 某日你看见你手机上有多部小说同时更新了,比如有大主宰,雪鹰领主,龙王传说-在这里我们可以描述成如下: 小说a=大主宰 小说b=雪鹰领主 小说c=龙王传说 - 这里所表现的就是多态,大主宰,雪鹰领主,龙王传说都是小说的子类,我们仅仅可以通过小说这个

  • Java基础之面向对象机制（多态、继承）底层实现

    一.Java的前世 为什么会产生Java?Java的特点是什么? 从C语言开始讲,C语言是一种结构化语言,模块化编程,便于程序的调试,依靠非常全面的运算符和多样的数据类型,可以轻易完成各种数据结构的构建,通过指针类型更可对内存直接寻址以及对硬件进行直接操作,因此既能够用于开发系统程序,也可用于开发应用软件.其缺点就是封装性弱,程序的安全性上不是很好.C语言的异常处理一般使用setjmp()与longjmp(),在捕获到异常时进行跳转:或者使用abort()和exit()两个函数,强行终止程序的运

  • 关于Java三大特性之多态的总结

    面向对象的三大特性:封装.继承.多态.从一定角度来看,封装和继承几乎都是为多态而准备的.这是我们最后一个概念,也是最重要的知识点. 1.定义: 多态:指允许不同类的对象对同一消息做出响应.即同一消息可以根据发送对象的不同而采用多种不同的行为方式.(发送消息就是函数调用) 2.实现多态的技术称为:动态绑定(dynamicbinding),是指在执行期间判断所引用对象的实际类型,根据其实际的类型调用其相应的方法. 3.作用:消除类型之间的耦合关系. 4.现实中,关于多态的例子不胜枚举.比方说按下F1

  • C语言实现俄罗斯方块的六种模式详程建议收藏

    C语言实现俄罗斯方块的六种模式详程建议收藏

    --------写在前面-------- 第一次做标题党,大家轻喷哈.这个游戏是博主在大一c语言实训时独立完成的,所有内容均为原创.小游戏耗时5天完成,除了常见的单人模式外,增加了作弊模式,双人模式,计时赛等玩法,真滴很好玩哦.虽然现在看起来很简陋,但对于当时的我来说实属不易,从页面设计到游戏背景音乐的选取再到关键算法的编写,每一步都凝汇了自己的努力,通宵鏖战的画面依然历历在目.现在分享出来,一方面是希望可以帮助到大家,另一方面也想纪念美好的大一时光.源码地址放在文末了,大家自取. ------

  • 高分面试从Hotspot源码层面剖析java多态实现原理

    高分面试从Hotspot源码层面剖析java多态实现原理

    目录 C++是如何实现多态的 JVM中的虚表 Java是如何实现虚表分发 本篇文章是接上篇文章[JVM的多态是如何实现的]写的,如果你还没看过,墙裂都建议你看一下. 传送门  高分面试分析jvm如何实现多态 上篇文章我给出了这道面试题的及格分的回答及七八十分的回答,今天我就告诉大家如果想回答得接近满分,应该怎么回答.因为会设计到C++的虚表及C++的多态实现,如何这块你不理解或不熟,面试中建议别拿出来说,免得碰到懂C++给你来个连环call把你问懵了. 这边给大家补一个知识点.我在昨天的文章里说

  • Redis源码设计剖析之事件处理示例详解

    Redis源码设计剖析之事件处理示例详解

    目录 1. Redis事件介绍 2. 事件的抽象 2.1 文件事件结构 2.2 时间事件结构 2.3 事件状态结构 3. 事件的实现 1. Redis事件介绍 Redis服务器是一个事件驱动程序,所谓事件驱动就是输入一条命令并且按下回车,然后消息被组装成Redis协议的格式发送给Redis服务器,这个时候就会产生一个事件,Redis服务器会接收改命令,处理该命令和发送回复,而当我们没有与服务器进行交互时,服务器就会处于阻塞等待状态,它会让出CPU然后进入睡眠状态,当事件触发时,就会被操作系统唤醒

  • vue解析指令compile源码层面使用解析

    vue解析指令compile源码层面使用解析

    目录 概述 compile 测试代码 结果 延伸及重点讲解 1. 类数组对象 2. RegExp.$1 3. nodeType 概述 上篇文章我们已经介绍了Vue的响应式原理,并实现了对数据的监听,监听的目的是为了及时更新视图,所以这篇文章就来介绍下vue解析指令并初始化视图部分. compile 在Vue的构造函数中对根元素进行编译 class MVue { constructor (options) { // 保存options this.$options = options this.$d

  • Java类加载器ClassLoader源码层面分析讲解

    目录 Launcher 源码 AppClassLoader 源码 ExtClassLoader 源码 ClassLoader 源码 总结 最终总结一下 Launcher 源码 sun.misc.Launcher类是java 虚拟机的入口,在启动 java应用 的时候会首先创建Launcher.在初始化Launcher对象的时候会创建一个ExtClassLoader拓展程序加载器 和 AppClassLoader应用程序类加载器(这俩鬼东西好像只是加载类的路径不一样而已),然后由这俩类加载器去加载

  • java源码阅读之java.lang.Object

    java源码阅读之java.lang.Object

    Object是所有类的父类,任何类都默认继承Object.Object类到底实现了哪些方法? 1．clone方法 保护方法,实现对象的浅复制,只有实现了Cloneable接口才可以调用该方法,否则抛出CloneNotSupportedException异常. 2．getClass方法 final方法,获得运行时类型. 3．toString方法 该方法用得比较多,一般子类都有覆盖. 4．finalize方法 该方法用于释放资源.因为无法确定该方法什么时候被调用,很少使用. 5．equals方法 该

  • 使用Spring源码报错java:找不到类 InstrumentationSavingAgent的问题

    使用Spring源码,报错java:找不到类 InstrumentationSavingAgent 报错如下: Error:(26, 38) java: 找不到符号 符号: 类 InstrumentationSavingAgent 位置: 程序包 org.springframework.instrument 解决办法:在自己测试项目的build.gradle里加上 compile(project(":spring-instrument")) dependencies { compile

  • Django 源码WSGI剖析过程详解

    Django 源码WSGI剖析过程详解

    前言 python 作为一种脚本语言, 已经逐渐大量用于 web 后台开发中, 而基于 python 的 web 应用程序框架也越来越多, Bottle, Django, Flask 等等. 在一个 HTTP 请求到达服务器时, 服务器接收并调用 web 应用程序解析请求, 产生响应数据并返回给服务器. 这里涉及了两个方面的东西: 服务器(server)和应用程序(application). 势必要有一个合约要求服务器和应用程序都去遵守, 如此按照此合约开发的无论是服务器还是应用程序都会具有较大

  • android异步消息机制 源码层面彻底解析（1）

    android异步消息机制 源码层面彻底解析（1）

    Handler.Message.Loopler.MessageQueen 首先看一下我们平常使用Handler的一个最常见用法. Handler handler =new Handler(){ @Override public void handleMessage(Message msg) { super.handleMessage(msg); //这里进行一些UI操作等处理 } new Thread(new Runnable() { @Override public void run() {

  • android异步消息机制 从源码层面解析（2）

    AsyncTask 什么是AsyncTask AsyncTask是一个轻量级的异步任务类,它可以在线程池中执行后台任务,然后把执行的进度和结果传递给主线程并在主线程中更新UI. AsyncTask这个类的声明如下 public abstract class AsyncTask<Params, Progress, Result> 它提供了Params, Progress和 Result三个泛型参数,在下面会仔细分析这三个泛型参数的具体含义. AsyncTask提供了四个核心方法 onPreExe

  • jQuery源码分析-04 选择器-Sizzle-工作原理分析

    作者:nuysoft/高云 QQ:47214707 EMail:nuysoft@gmail.com 声明:本文为原创文章,如需转载,请注明来源并保留原文链接. 在分析Sizzle源码之前,先整理一下选择器的工作原理 先明确一些选择器中用到的名词,后边阅读时不会有歧义: 选择器表达式: "div > p" 块表达式: "div" "p" 并列选择器表达式: "div, p" 块分割器: Sizzle中的chunker正则,

随机推荐