怎么入门Java？深入理解Java虚拟机（二

最新推荐文章于 2023-12-06 22:33:59 发布

m0_60567936

最新推荐文章于 2023-12-06 22:33:59 发布

阅读量64

点赞数

分类专栏：程序员文章标签：后端 java 面试

本文链接：https://blog.csdn.net/m0_60567936/article/details/119421079

版权

程序员专栏收录该内容

36 篇文章 1 订阅

订阅专栏

=========

1、编译器优化-泛型：

1、泛型出现之前存在的问题：

所有对象的类型都继承自Object，虚拟机只有到运行时才能知道这个Object具体是什么类型，在编译期是无法检查这个Object是否强制转型成功，会将ClassCaseException的风险转移到程序运行期。

2、泛型的作用：

通过泛型，编译器可以在编译阶段发现类型不一致的问题

3、泛型擦除：

将Java代码编译成Class文件，通过反编译发现泛型都不见了，被替换为原生类型，并插入强制转型的代码。


//泛型擦除前

List<String> list = new ArrayList<>();

list.add("hello");

System.out.println(list.get(0));

//泛型擦除后

List list1 = new ArrayList();

list1.add("hello");

System.out.println((String) list1.get(0));

2、运行期优化-代码优化

1、公共子表达式消除在程序基本块中，如果一个表达式E已经被计算过了，下次再次使用的时候，如果表达式的变量值都没发生改变，就可以直接拿表达式的结果来代替E。


int x = 1;

int y = 2;

int z = x + y;

int w1 = x + y +2;

//编译器对公共子表达式(x+y)进行消除

int w2 = z + 2;

二、方法调用

======

1、解析

类加载解析节点，将一部分符号引用转化为直接引用。前提是程序运行前有可确定的调用版本，并且在运行期不可变。这些编译期可知、运行期不可变的方法调用就是解析。

2、静态分派和动态分派

1、静态分派：

根据静态类型来定位方法的分派叫做静态分派，发生在编译阶段。


//父类

public class Parent {

 

}

//子类

public class Son extends Parent {



}

//调用

public class MyTest {



  public void say(Parent parent) {

    System.out.println("parent say");

  }



  public void say(Son son) {

    System.out.println("son say");

  }



  public static void main(String[] args) {

    MyTest myTest = new MyTest();

    //实际类型为Parent

    Parent parent = new Parent();

    //实际类型为Son

    Parent son = new Son();

    myTest.say(parent);

    myTest.say(son);

  }

}

返回结果：

Parent为变量的静态类型，Son为实际类型。其中静态类型是在编译期可知的，而实际类型是在运行期确定下来的，编译器在编译阶段不知道某个对象的实际类型是什么，所以是用静态类型作为判定依据来选择使用哪个重载版本的，所以选择了say(Parent)作为调用目标。

2、动态分派


public class Parent {



  public void say() {

    System.out.println("parent....");

  }

}



public class Son extends Parent {



  public void say() {

    System.out.println("son....");

  }

}

//调用

Parent parent = new Parent();

Parent son = new Son();

parent.say();

son.say();

结果：