Java JVM 메소드 디스패치 모델을 사용하는 방법

1. 지식 보유

1.1 Dispatch

• 정의: 어떤 메소드를 실행할지 결정하는 과정

a. 질문 어떤 독자들은 메소드의 실행이 실행 객체에 의존하지 않는지 묻습니다. 코드 설정에서? 왜 선택합니까? b. 답변

• 객체가 여러 메소드에 해당하는 경우 선택해야 합니다

• 독자는 Java의 기능인 다형성, 즉 다중 쓰기 및 다시 로드. 아래에서 자세히 설명하겠습니다. Java中的特性：多态，即重写 & 重载。下面我会详细讲解。

• 分类：静态分派 & 动态分派。下面我将详细讲解。

1.2 变量的静态类型 & 动态类型

先看下面的代码

public class Test { 
    static abstract class Human { 
    } 
    static class Man extends Human { 
    } 
    static class Woman extends Human { 
    } 
// 执行代码
public static void main(String[] args) { 
  Human man = new Man(); 
  // 变量man的静态类型 = 引用类型 = Human：不会被改变、在编译器可知
  // 变量man的动态类型 = 实例对象类型 = Man：会变化、在运行期才可知
    } 
}

即：

• 变量的静态类型 = 引用类型 ：不会被改变、在编译器可知

• 变量的动态类型 = 实例对象类型 ：会变化、在运行期才可知

下面，我将详细讲解Java中的分派类型：静态分派 & 动态分派

2. 静态分派

• 定义 根据 变量的静态类型 进行方法分派 的 行为

• 即根据 变量的静态类型 确定执行哪个方法

• 发生在编译期，所以不由 Java 虚拟机来执行

• 应用场景 方法重载（OverLoad）

• 实例说明

public class Test { 
// 类定义
    static abstract class Human { 
    } 
// 继承自抽象类Human
    static class Man extends Human { 
    } 
    static class Woman extends Human { 
    } 
// 可供重载的方法
    public void sayHello(Human guy) { 
        System.out.println("hello,guy!"); 
    } 
    public void sayHello(Man guy) { 
        System.out.println("hello gentleman!"); 
    } 
    public void sayHello(Woman guy) { 
        System.out.println("hello lady!"); 
    } 
// 测试代码
    public static void main(String[] args) { 
        Human man = new Man(); 
        Human woman = new Woman(); 
        Test test = new Test(); 
        test.sayHello(man); 
        test.sayHello(woman); 
    } 
}
// 运行结果
hello,guy! 
hello,guy!

根据上述的讲解，大家应该明白运行结果的原因：

• 方法重载（OverLoad） = 静态分派 = 根据 变量的静态类型 确定执行（重载）哪个方法

• 所以上述的方法执行时，是根据变量（man、woman）的静态类型（Human）确定重载sayHello()中参数为Human guy的方法，即sayHello(Human guy)

特别注意

a. 变量的静态类型 发生变化 的情况

可通过 强制类型转换 改变 变量的静态类型

Human man = new Man(); 
test.sayHello((Man)man); 
// 强制类型转换
// 此时man的静态类型从 Human 变为 Man
// 所以会调用sayHello()中参数为Man guy的方法，即sayHello(Man guy)

b. 静态分派的优先级匹配问题

• 问题描述：

• 背景 现需要进行静态分派

• 问题 程序中 没有显示指定 静态类型

• 解决方案 程序会根据 静态类型的优先级 从而选择 优先的静态类型进行方法分配。

实例说明

public class Overload {  
    private static void sayHello(char arg){  
        System.out.println("hello char");  
    }  
    private static void sayHello(Object arg){  
        System.out.println("hello Object");  
    }  
    private static void sayHello(int arg){  
        System.out.println("hello int");  
    }  
    private static void sayHello(long arg){  
        System.out.println("hello long");  
    }  
// 测试代码
    public static void main(String[] args) {  
        sayHello('a');  
    }  
}  
// 运行结果
hello char

因为‘a’是一个char类型数据（即静态类型是char），所以会选择参数类型为char的重载方法。

若注释掉sayHello(char arg)方法，那么会输出

hello int

因为‘a’除了可代表字符串，还可代表数字97。因此当没有最合适的<strong>sayHello(char arg)</strong>方式进行重载时，会选择第二合适（第二优先级）的方法重载，即 <strong>sayHello(int arg)</strong>

总结：当没有最合适的方法进行重载时，会选优先级第二高的的方法进行重载，如此类推。

优先级顺序为：

char>int>long>float>double>Character>Serializable>Object>...

其中...为变长参数，将其视为一个数组元素。变长参数的重载优先级最低。

因为 char 转型到 byte 或 short 的过程是不安全的，所以不会选择参数类型为byte 或 short的方法进行重载，故优先级列表里也没有。

特别注意

• 上面讲解的主要是 基本数据类型的优先级匹配问题

• 若是引用类型，则根据 继承关系 进行优先级匹配

注意只跟其编译时类型（即静态类型）相关

3. 动态分派

• 定义 根据 变量的动态类型 进行方法分派 的 行为

即根据 变量的动态类型 确定执行哪个方法

• 应用场景 方法重写（Override）

• 实例说明

// 定义类
    class Human { 
        public void sayHello(){ 
            System.out.println("Human say hello"); 
        } 
    } 
// 继承自 抽象类Human 并 重写sayHello()
    class Man extends Human { 
        @Override 
        protected void sayHello() { 
            System.out.println("man say hello"); 
        } 
    } 
    class Woman extends Human { 
        @Override 
        protected void sayHello() { 
            System.out.println("woman say hello"); 
        } 
    } 
// 测试代码
    public static void main(String[] args) { 
        // 情况1
        Human man = new man(); 
        man.sayHello(); 
        // 情况2
        man = new Woman(); 
        man.sayHello(); 
    } 
}
// 运行结果
man say hello
woman say hello
// 原因解析
// 1. 方法重写（Override） = 动态分派 = 根据 变量的动态类型 确定执行（重写）哪个方法
// 2. 对于情况1：根据变量（Man）的动态类型（man）确定调用man中的重写方法sayHello()
// 3. 对于情况2：根据变量（Man）的动态类型（woman）确定调用woman中的重写方法sayHello()

特别注意

对于代码中：

Human man = new Man(); 
man = new Woman(); 
man.sayHello(); 
// man称为执行sayHello()方法的所有者，即接受者。

• invokevirtual指令执行的第一步 = 确定接受者的实际类型

• invokevirtual

  카테고리: 정적 디스패치 및 동적 디스패치. 아래에서 자세히 설명하겠습니다. 🎜🎜🎜🎜1.2 변수의 정적 유형 및 동적 유형🎜🎜다음 코드를 먼저 살펴보세요🎜rrreee🎜즉, 🎜🎜🎜🎜변수의 정적 유형 = 참조 유형: 변경되지 않으며 컴파일러에서 알 수 있음🎜 🎜🎜🎜Variable 동적 유형 = 인스턴스 객체 유형: 런타임 중에만 변경되고 알 수 있음🎜🎜🎜🎜 아래에서는 Java에서 디스패치 유형을 자세히 설명하겠습니다. 정적 디스패치 & 동적 디스패치 🎜🎜2. 정적 디스패치 🎜🎜🎜🎜변수의 정적 유형을 기반으로 메서드 디스패치 동작을 정의합니다🎜🎜🎜🎜🎜🎜즉, 변수의 정적 유형을 기반으로 실행할 메서드를 결정합니다🎜🎜🎜🎜 컴파일 타임에 발생하므로 Java에 의해 제어되지 않습니다. 가상 머신 실행 🎜🎜🎜🎜🎜🎜애플리케이션 시나리오 메서드 오버로드(OverLoad) 🎜🎜🎜🎜예제 설명🎜 🎜🎜rrreee🎜위 설명에 따르면 모두가 작업 결과의 이유를 이해해야 합니다. 🎜 🎜🎜🎜메서드 오버로드(OverLoad) = 정적 디스패치 = 어떤 메서드를 실행할(오버로드)을 기반으로 결정 변수의 정적 유형🎜🎜🎜🎜그래서 위 메소드가 실행되면 변수(man, woman)의 정적 유형(Human)은 오버로드된 sayHello()의 매개변수가 Human guy 메서드, 즉 sayHello(Human guy)인지 확인합니다. >🎜🎜🎜🎜🎜🎜a에 특히 주의하세요. 변수의 정적 유형이 변경되면🎜🎜 🎜강제 유형 변환🎜 정적 유형🎜rrreee🎜b을 통해 변수를 변경할 수 있습니다. 🎜문제 설명:🎜🎜🎜🎜🎜🎜배경에 이제 정적 디스패치가 필요합니다🎜🎜🎜🎜문제 지정된 정적 유형이 프로그램에 표시되지 않습니다.🎜🎜🎜🎜솔루션 솔루션 프로그램은 다음을 기반으로 메서드 할당에 대해 선호하는 정적 유형을 선택합니다. 정적 유형의 우선순위. 🎜🎜🎜🎜예제 설명🎜rrreee🎜 ‘a’는 char 유형의 데이터이기 때문입니다(즉, 정적 유형은 char입니다). 이므로 매개변수 유형이 char인 오버로드된 메소드를 선택합니다. 🎜🎜sayHello(char arg) 메소드를 주석 처리하면 🎜rrreee🎜가 출력됩니다. ‘a’는 문자열뿐만 아니라 숫자도 표현할 수 있기 때문입니다. 97. 따라서 🎜가장 적합한 🎜🎜sayHello(char arg)🎜🎜 오버로드 방법이 없으면 두 번째로 가장 적합한(두 번째 우선순위) 방법이 오버로드되도록 선택됩니다. 즉 🎜 🎜 sayHello(int arg)🎜🎜🎜요약: 오버로드에 가장 적합한 방법이 없으면 두 번째로 높은 우선순위를 가진 방법이 오버로드를 위해 선택됩니다. 🎜🎜우선 순위는 다음과 같습니다.🎜

  🎜char>int>long>float>double>Character>Serialized>Object>...🎜

  🎜여기서 ...는 변수가 됩니다. 긴 인수는 배열 요소로 처리됩니다. 가변 길이 매개변수는 오버로드 우선순위가 가장 낮습니다. 🎜🎜char를 byte 또는 short로 변환하는 과정이 안전하지 않기 때문에 매개변수 유형이 byte로 선택되지 않습니다. code> 또는 short 메소드가 오버로드되어 우선순위 목록에 없습니다. 🎜🎜Special attention🎜🎜🎜🎜위의 설명은 주로 🎜기본 데이터 유형🎜🎜🎜🎜🎜참조 유형인 경우 우선순위 매칭은 🎜상속 관계🎜🎜🎜🎜🎜를 기반으로 합니다. 이것으로만 컴파일해야 합니다. 시간 유형(예: 정적 유형)과 관련하여🎜🎜3. 동적 디스패치🎜🎜🎜🎜변수의 동적 유형을 기반으로 메소드 디스패치의 동작을 정의합니다.🎜🎜🎜🎜즉, 어떤 메소드를 결정합니다. 변수의 동적 유형에 따라 실행🎜🎜🎜🎜응용 시나리오 방법 Override(Override) 🎜🎜🎜🎜예제 설명 🎜🎜🎜rrreee🎜특별한 주의🎜🎜코드의 경우: 🎜rrreee🎜 🎜🎜 invokevirtual 명령어 실행의 첫 번째 단계 = 수신자의 실제 유형 결정 🎜🎜🎜🎜 invokevirtual 명령어 실행의 두 번째 단계 = 🎜클래스 해결 상수 풀의 메서드 기호 참조를 다른 직접 참조🎜🎜

두 번째 단계는 메소드 재작성(Override)

4. 둘의 차이점

위 내용은 Java JVM 메소드 디스패치 모델을 사용하는 방법의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!