Cet article vous présente une introduction à la répartition statique et à la répartition dynamique en Java (exemples de code). Il a une certaine valeur de référence. Les amis dans le besoin peuvent s'y référer.
Récemment passé en revue les connaissances de JVM, la compréhension de la répartition statique et de la répartition dynamique est un peu déroutante, j'ai donc essayé d'écrire le code moi-même et de consolider les connaissances dans l'analyse.
Il y a le morceau de code suivant. Que produit chaque morceau de code ?
package com.khlin.my.test;
class Base {
public static void foo() {
System.out.println("Base.foo() invoked");
}
public void bar(int c) {
System.out.println("Base.bar(int) invoked");
}
public void bar(Character c) {
System.out.println("Base.bar(Character) invoked");
}
public void baz(Object o) {
System.out.println("Base.baz(Object) invoked");
}
public void baz(Integer i) {
System.out.println("Base.baz(Integer) invoked");
}
}
class Child extends Base {
public static void foo() {
System.out.println("Child.foo() invoked");
}
public void bar(Character c) {
System.out.println("Child.bar(Character) invoked");
}
public void bar(char c) {
System.out.println("Child.bar(char) invoked");
}
}
public class App {
public static void main(String[] args) {
Base child = new Child();
System.out.println("第1段输出：");
child.foo();
child.bar(new Character('C'));
System.out.println("第2段输出：");
Object integer = new Integer(100);
child.baz(integer);
System.out.println("第3段输出：");
child.bar('C');
}
}Permettez-moi de présenter brièvement l'ensemble du processus, de la compilation du code à l'appel de méthode.
· Compile
Regardez d'abord le résultat du premier paragraphe. Child.foo() appelle-t-il une méthode statique de la classe parent. ou la classe enfant ?
Pendant la phase de compilation, envoi statique se produit.
1 Base child = new Child();
Lorsque nous créons un objet, comme indiqué ci-dessus, Base est appelée le type statique de la variable (Static Type), ou elle est appelée le type d'apparence (Apparent) Type), et l'enfant suivant est appelé le type réel de la variable (Actual Type).
Toutes les actions de répartition qui s'appuient sur des types statiques pour localiser la version d'exécution d'une méthode sont appelées répartition statique. Une application typique de la répartition statique est la surcharge de méthode, qui se produit pendant la phase de compilation, de sorte que l'action déterminée comme étant distribuée statiquement n'est pas réellement exécutée par la machine virtuelle.
Le récepteur (Reciever) de la méthode et les paramètres de la méthode sont collectivement appelés variables de la méthode. En fonction du nombre de types de variables sur lesquels la répartition est basée, la répartition peut être divisée en répartition unique et multi-. expédition.
Lors de l'envoi statique, il existe deux bases pour sélectionner la méthode cible L'une est de savoir si le type statique est Base ou Child, et l'autre est le type de paramètre de la méthode. Par conséquent, la répartition statique est une répartition multiple.
Ensuite, jetons un œil aux instructions générées par le code « Output Section 1 ». Les résultats suivants sont obtenus grâce à l'instruction javap -v App.class Vous pouvez voir les références symboliques des deux instructions aux lignes 18 et 31, qui sont cohérentes avec l'analyse ci-dessus : le type statique de l'enfant est Base, donc la méthode. de la classe Base est sélectionné via Aucun. Le paramètre et les types de caractères déterminent respectivement de quelle version de la méthode il s'agit.
Mais au final, le comportement des deux est différent. child.foo() appelle foo() de type statique Base, tandis que child.bar(new Character(' C')) consiste à appeler la méthode du type actuel Child.
La raison est que les deux instructions sont différentes : invoquerstatique et invoquervirtual
La machine virtuelle Java fournit 5 instructions de bytecode d'appel de méthode :
invokestatic : appeler la méthode statique
invokespecial : Invoquer la méthode
invokevirtual : Invoquer toutes les méthodes virtuelles
invokeinterface : Invoquer la méthode d'interface, un objet qui implémente cette interface sera déterminé au moment de l'exécution
invokedynamic : analysez d'abord dynamiquement la méthode référencée par le qualificatif de point d'appel au moment de l'exécution, puis exécutez la méthode, les 4 appels précédents Les instructions et la logique de répartition sont solidifiées à l'intérieur de la machine virtuelle Java, et Invokedynamic est déterminé par la méthode de démarrage définie par l'utilisateur.
La raison spécifique est que différentes instructions se comportent différemment lors de l'étape suivante (analyse du chargement de la classe). Laissons cela de côté pour l'instant et regardons le résultat des instructions dans le deuxième paragraphe.
On peut voir que lorsque est distribué statiquement, la version de la méthode à appeler est déterminée en fonction du type statique des paramètres transmis à la méthode, Bien qu'il existe une méthode baz(Integer), le type statique du paramètre entier transmis est Object, donc baz(Object) est appelé.
Regardons les instructions affichées dans le troisième paragraphe. Nous savons que la référence du symbole doit toujours être une méthode dans la classe Base (bien qu'il existe une méthode bar(char c) avec les mêmes paramètres dans la classe Child. classe), mais il n’y a pas de paramètres identiques dans la méthode Base. (type char), une erreur ne sera-t-elle pas signalée ? Quelle méthode sera appelée ?
Il s'avère que bien que le compilateur puisse déterminer la version surchargée d'une méthode, dans de nombreux cas, cette version surchargée n'est pas "la seule" et ne peut souvent en déterminer qu'une seule. Une version « plus adaptée ».
· Analyse du chargement de classe
La phase d'analyse est le processus dans lequel la machine virtuelle remplace les références de symboles dans le pool constant par des références.
Tant que la méthode peut être appelée par les instructions Invokestatic et Invokespecial, la version d'appel unique peut être déterminée lors de la phase d'analyse. Les quatre catégories qui remplissent cette condition sont les méthodes statiques, les méthodes privées, les constructeurs d'instances. et les méthodes de la classe parent. Elles résoudront la référence du symbole en une référence directe à la méthode lorsque la classe est chargée. Ces méthodes peuvent être appelées méthodes non virtuelles, et d'autres méthodes sont appelées méthodes non virtuelles (à l'exception des méthodes finales).
La méthode finale modifiée est appelée à l'aide de l'instruction Invokevirtual, mais comme elle ne peut pas être remplacée et n'a pas d'autre version, il s'agit également d'une méthode non virtuelle.
Pour en revenir au premier paragraphe de la sortie, child.foo() est une instruction invoquéestatique, donc pendant la phase d'analyse, elle sera remplacée par une référence directe, et la classe spécifique sera déterminée, donc le type statique Base .foo() est appelé ).
Et child.bar(new Character('C')) est invoquévirtual. À ce stade, la signature de la méthode appelée peut être déterminée, mais le type réel du récepteur de la méthode ne peut pas encore être déterminé. Il sera déterminé par répartition dynamique. La répartition dynamique est une répartition unique puisqu'il n'y a qu'un seul effet de cluster.
Le type réel du récepteur de méthode est déterminé à l'étape suivante.
· Appel de méthode au moment de l'exécution
Déterminer la version d'exécution de la méthode au moment de l'exécution en fonction du type réel Le processus de répartition est appelé répartition dynamique.
Le résultat final est :
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!
![[Web front-end] Démarrage rapide de Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
