Nieporozumienia związane z ładowaniem klasy

Question

Jestem trochę zmieszany, gdy klasa faktycznie jest ładowana przez maszynę JVM. Zauważyłem, że program ładujący klasy załaduje klasę, gdy odwołanie się do klasy.

Używam środowiska java6 i uruchamiam z opcją -verbose: class, aby śledzić ładowanie klasy. Na przykład:

MyObject obj = new MyObject(); //MyObject.class will be loaded 

Jednak w tym przypadku

// ClassC.java 
package com.gogog22510.test; 
public class ClassC {} 

// ClassB.java 
package com.gogog22510.test; 
public class ClassB extends ClassC {} 

// ClassA.java 
package com.gogog22510.test; 
public class ClassA { 
    public ClassC test() { 
     return new ClassB(); 
    } 
} 

kiedy mój program testowy zainicjować ClassA, to załadowanie wszystkich ClassA, ClassB i ClassC choć nie powoływać test()

// TestClassLoad.java 
package com.gogog22510.test; 
public class TestClassLoad { 
    public static void main(String[] args) { 
     // initialize ClassA 
     System.out.println("start load ClassA"); 
     new ClassA(); 
    } 
} 

konsola:

[załadowany TestClassLoad z pliku: /.../ bin /]
obciążenia początek ClassA
[załadowany Classa z pliku:/C: /.../ bin /]
[załadowany ClassC z pliku:/C: /.../ bin /]
[Loaded ClassB z pliku:/C: /.../ bin /]

Ale jeśli zmienię test() metoda jest zwracany typ tak :

// ClassA.java 
package com.gogog22510.test; 
public class ClassA { 
    public ClassB test() { 
     return new ClassB(); 
    } 
} 

ClassLoader załaduje ClassA tylko do przestrzeni perm, chyba że wywołam metodę test().

konsoli:

[załadowany TestClassLoad z pliku: /.../ bin /]
obciążenia początek ClassA
[załadowany Classa z pliku:/C: /.../ Pojemnik /]

Dlaczego obciążenie ClassLoader wszystkie trzy klasy przed jawnie wywołać metodę?

Answer 1

Myślę, że to się dzieje podczas etapu weryfikacji, aby upewnić się, że ClassC jest podklasą ClassB, dla celów sprawdzania poprawności typu zwrotu.

Here, mówią:

Jeśli metoda zwraca typ referencyjny, musi to zrobić za pomocą areturn instrukcji, oraz typ zwracanej wartości musi być przypisanie kompatybilny (JLS §5.2) z deskryptorem zwrotnym (§ 4.3.3) metody .

Zobacz także this:

Weryfikacja (§4.10) zapewnia binarną reprezentację klasy lub interfejsu strukturalnie (§9.9). Weryfikacja może spowodować załadowanie dodatkowych klas i interfejsów (§5.3), ale nie musi powodować ich weryfikacji ani przygotowania.