理解Java程序的执行

这篇具有很好参考价值的文章主要介绍了理解Java程序的执行。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

main 方法

public class Solution {
    public static void main(String[] args) {
        Person person = new Person();
        person.hello();
    }
}

class Person {
    public void hello() {
        System.out.println("hello");
    }
}

源文件名是 Solution.java,这是因为文件名必须与 public 类的名字相匹配。在一个源文件中,只能有一个公有类,但可以有任意数目的非公有类。

在这个示例程序中包含两个类:Person 类和带有 public 访问修饰符的 Solution 类。Solution 类包含了 main 方法。

当编译这段源代码的时候,编译器将在目录下创建两个 class 文件:Solution.class 和 Person.class。

将程序中包含 main 方法的类名提供给字节码解释器,以便启动这个程序:java Solution。字节码解释器开始运行 Solution 类的 main 方法中的代码。

理解Java程序的执行

理解方法调用

下面假设要调用 x.f(args)。下面是调用过程的详细描述:

  • 编译时:
    1. 编译器査看对象变量的声明类型和方法名,然后获得所有可能被调用的候选方法。
    2. 编译器査看调用方法时提供的参数类型,然后获得需要调用的方法名字和参数类型。
  • 运行时:
    • 如果方法是 private 方法、static 方法、final 方法或者构造器方法,那么编译器将可以准确地知道应该调用哪个方法,我们将这种调用方式称为静态绑定(static binding)。与此对应的是,调用的方法依赖于对象变量 x 的实际类型,并且在运行时实现动态绑定。
    • 虚拟机预先为每个类创建了一个方法表(method table),方法表中列出了所有方法的签名和实际调用的方法。这样一来,在真正调用方法的时候,虚拟机仅查找方法表就行了。

1、编译器査看对象变量的声明类型和方法名,然后获得所有可能被调用的候选方法。假设调用 x.f(param),且对象变量 x 被声明为 C 类型。需要注意的是:有可能存在多个名字为 f,但参数类型不一样的方法。例如,可能存在方法 f(int) 和方法 f(String)。编译器将会一一列举所有 C 类中名为 f 的方法和其父类中访问属性为 public 且名为 f 的方法(父类的私有方法不可访问)。至此,编译器已获得所有可能被调用的候选方法。

2、接下来,编译器将査看调用方法时提供的参数类型,然后获得需要调用的方法名字和参数类型。如果在所有名为 f 的方法中存在一个与提供的参数类型完全匹配,就选择这个方法。这个过程被称为重载解析(overloading resolution)。例如,对于调用 x.f("Hello") 来说,编译器将会挑选 f(String),而不是 f(int)。由于允许类型转换(int 可以转换成 double,Manager 可以转换成 Employee 等),所以这个过程可能很复杂。如果编译器没有找到与参数类型匹配的方法,或者发现经过类型转换后有多个方法与之匹配,就会报告一个错误。至此,编译器已获得需要调用的方法名字和参数类型。

如果方法是 private 方法、static 方法、final 方法或者构造器方法,那么编译器将可以准确地知道应该调用哪个方法,我们将这种调用方式称为静态绑定(static binding)。与此对应的是,调用的方法依赖于对象变量 x 的实际类型,并且在运行时实现动态绑定。在我们列举的示例中,编译器采用动态绑定的方式生成一条调用 f(String) 的指令。

当程序运行,并且采用动态绑定调用方法时,虚拟机一定调用与对象变量 x 所引用的对象的实际类型最合适的那个类的方法。假设 x 的实际类型是 D,D 是 C 类的子类。如果 D 类定义了 f(String) 方法,虚拟机就直接调用 D 类的 f(String) 方法;否则(D 类中没有定义 f(String) 方法),将在 D 类的父类中寻找 f(String),以此类推。


每次调用方法都要进行搜索,时间开销相当大。因此,虚拟机预先为每个类创建了一个方法表(method table),方法表中列出了所有方法的签名(方法名、参数类型)和实际调用的方法。这样一来,在真正调用方法的时候,虚拟机仅查找方法表就行了。

在前面的例子中,虚拟机搜索 D 类的方法表,以便寻找与调用 f(Sting) 相匹配的方法。这个方法既有可能是 D.f(String),也有可能是 C.f(String),这里的 C 是 D 的父类。这里需要提醒一点,如果调用 super.f(param),编译器将对对象变量父类的方法表进行搜索。

方法调用的示例

public static void main(String[] args) {
    Employee e = new Manager("Carl Cracker", 80000, 1987, 12, 15);
    System.out.println("salary=" + e.getSalary());
}

现在,查看一下调用 e.getSalary() 的详细过程。对象变量 e 被声明为 Employee 类型。Employee 类只有一个名叫 getSalary() 的方法,这个方法没有参数。因此,在这里不必担心重载解析的问题。

由于 getSalary() 不是 private 方法、static 方法,也不是 final 方法,所以将采用动态绑定。虚拟机为 Employee 和 Manager 两个类生成方法表。


在 Employee 的方法表中,列出了这个类定义的方法。实际上,下面列出的方法并不完整,Employee 类有一个父类 Object,Employee 类从这个父类中还继承了许多方法,在此我们略去了 Object 的方法。

Employee:
    getName() -> Employee.getName()
    getSalary() -> Employee.getSalary()
    getHireDay() -> Employee.getHireDay()
    raiseSalary(double) -> Employee.raiseSalary(doubl e)

Manager 的方法表稍微有些不同。其中有三个方法是继承而来的,一个方法是重新定义的(方法的重写),还有一个方法是新增加的。

Manager:
    getName() -> Employee.getName()
    getSalary() -> Manager.getSalary()
    getHireDay() -> Employee.getHireDay()
    raiseSalary(double) -> Employee.raiseSalary(doubl e)
    setBonus(double) -> Manager.setBonus(double)

在运行时,调用 e.getSalary() 的解析过程为:

  1. 首先,虚拟机提取对象变量 e 的实际类型的方法表。既可能是 Employee、Manager 的方法表,也可能是 Employee 类的其他子类的方法表。
  2. 接下来,虚拟机搜索对象变量 e 的实际类型的方法表。此时,虚拟机已经知道应该调用哪个方法。
  3. 最后,虚拟机调用方法。

动态绑定有一个非常重要的特性:无需对现存的代码进行修改,就可以对程序进行扩展。假设增加一个新类 Executive,并且对象变量 e 有可能引用这个类的对象,我们不需要对包含调用 e.getSalary() 的代码进行重新编译。如果 e 恰好引用一个 Executive 类的对象,就会自动地调用 Executive.getSalary() 方法。

参考资料

《Java核心技术卷一:基础知识》(第10版)第 5 章:继承 5.1.6 理解方法调用文章来源地址https://www.toymoban.com/news/detail-421351.html

到了这里,关于理解Java程序的执行的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • Java项目计算程序执行时间方法

    优点: 1、spring自带工具类,可直接使用 2、代码实现简单,使用更简单 3、统一归纳,展示每项任务耗时与占用总时间的百分比,展示结果直观 4、性能消耗相对较小,并且最大程度的保证了start与stop之间的时间记录的准确性 5、可在start时直接指定任务名字,从而更加直观的

    2024年02月20日
    浏览(49)
  • java程序启动时自动执行方法 @PostConstruct,单元测试@Test

    java程序启动时自动执行方法,在方法上添加@PostConstruct注解即可,可以代替单元测试junit的@Test注解 @PostConstruct //程序启动时自动执行方法 @Test //需要选中该方法运行启动(单元测试) java 代码----程序启动时自动执行方法 @PostConstruct java 代码----需要选中该方法运行启动(单元

    2024年02月05日
    浏览(44)
  • 《深入理解Java虚拟机》读书笔记:Class类文件的结构

    Class类文件的结构   Sun公司以及其他虚拟机提供商发布了许多可以运行在各种不同平台上的虚拟机,这些虚拟机都可以载入和执行同一种平台无关的的程序存储格式——字节码(ByteCode),从而实现了程序的“一次编写,到处运行”。   Java虚拟机提供的语言无关性   “Clas

    2024年02月13日
    浏览(45)
  • class_13:静态成员static关键字

         

    2024年01月20日
    浏览(49)
  • Java面试题Class类的理解?创建类的对象的方式?

    1.类的加载过程: 程序经过 javac.exe 命令以后,会生成一个或多个字节码文件(.class结尾)。 接着我们使用 java.exe 命令对某个字节码文件进行解释运行。相当于将某个字节码文件 加载到内存中。此过程就称为类的加载 。加载到内存中的类,我们就称为运行时类,此运行时类,

    2024年02月10日
    浏览(36)
  • ChatGPT还是有点东西的-public static <T> List<T> Arrays.asList(T... a) {...}

    业务开发需要判断业务状态是否在30、40、50、60的集合内,所以写了以下代码 自我Review代码时,验证了下这行代码,发现状态为30时,仍然返回false。 在自我怀疑中调整代码,并验证,代码如下: 没想很明白,于是问了下ChatGPT。 Arrays.asList() 方法返回的结果类型取决于传入的

    2024年02月12日
    浏览(39)
  • 第08章_面向对象编程(高级)(static,单例设计模式,理解mian方法,代码块,final,抽象类与抽象方法,接口,内部类,枚举类,注解,包装类)

    回顾类中的实例变量(即非static的成员变量) 创建两个Circle对象: Circle类中的变量radius是一个实例变量(instance variable),它属于类的每一个对象,c1中的radius变化不会影响c2的radius,反之亦然。 如果想让一个成员变量被类的所有实例所共享,就用static修饰即可,称为类变量(

    2024年01月25日
    浏览(48)
  • Java 中的 static:静态变量、静态方法,一切都在掌握中

    🎏:你只管努力,剩下的交给时间 🏠 :小破站 static ,这个小小的在Java中扮演着重要的角色,但它的用途和工作原理可能会让人感到困惑。你是否曾想过为什么有些方法和变量可以直接从类访问,而无需创建实例?或者为什么某些变量在多个实例之间共享相同的值?

    2024年02月04日
    浏览(41)
  • 45从零开始学Java之详解static修饰符、静态变量和静态方法

    作者 :孙玉昌,昵称【 一一哥 】,另外【 壹壹哥 】也是我哦 千锋教育高级教研员、CSDN博客专家、万粉博主、阿里云专家博主、掘金优质作者 在前一篇文章中, 壹哥 给大家讲解了abstract,从而我们掌握了抽象类与抽象方法的特性。除此之外,面向对象的核心修饰符

    2024年02月09日
    浏览(34)
  • 深入理解python虚拟机:程序执行的载体——栈帧

    栈帧(Stack Frame)是 Python 虚拟机中程序执行的载体之一,也是 Python 中的一种执行上下文。每当 Python 执行一个函数或方法时,都会创建一个栈帧来表示当前的函数调用,并将其压入一个称为调用栈(Call Stack)的数据结构中。调用栈是一个后进先出(LIFO)的数据结构,用于管

    2023年04月25日
    浏览(38)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包