Pourquoi certaines variables non initialisées sont-elles compilables alors que d'autres provoquent des erreurs en Java ?

Initialisation des variables en Java : comprendre les différences entre les membres locaux et les membres d'instance

En Java, une initialisation appropriée des variables est cruciale pour la fonctionnalité du code. Cet article explore le traitement contrasté des variables locales non initialisées et des membres d'instance.

Considérez l'extrait de code suivant :

<code class="java">public class TestClass {

    private String a;
    private String b;

    public TestClass() {
        a = "initialized";
    }

    public void doSomething() {
        String c;

        a.notify(); // This is fine
        b.notify(); // This will throw a runtime exception
        c.notify(); // Compile-time error: "Local variable c may not have been initialized"
    }

}</code>

La confusion vient du fait que b et c ne sont pas initialisés. Cependant, b ne génère pas d’erreur de compilation comme le fait c. Pourquoi cet écart ?

Membres de l'instance (champs)

Java initialise les variables d'instance du type d'objet à null par défaut. Même si b n'est pas explicitement initialisé, il pointe vers null. En effet, les champs sont alloués lors de la création de l'objet et null est une valeur valide pour les types référence. Par conséquent, b.notify() peut être appelé sans rencontrer d'erreur.

Variables locales

En revanche, les variables locales ne sont pas automatiquement initialisées. Ils restent non initialisés jusqu'à ce qu'une valeur leur soit explicitement attribuée. Toute tentative d'accès à une variable locale non initialisée entraîne une erreur de compilation. Cela est évident dans le cas de c, à qui aucune valeur n'est attribuée avant d'être utilisé.

Spécifications du langage

La spécification du langage Java (JLS) définit ces règles dans la section 4.12.5 :

Les variables d'instance de type classe (références d'objet) sont initialisées à la valeur spéciale null par défaut.
Variables locales de type classe (objet références) ne sont pas initialisées par défaut et c'est une erreur de compilation si le programme tente d'accéder à une référence qui n'a pas été initialisée.

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!