Garbage collection of private fields

Question

Dato il codice qui sotto.

class A { 
    private B b; 
    public A() { 
     b = new B(); 
    } 
} 

class Main { 
    public static void main(String[] args) { 
     A a = new A(); // two objects are created (a and b) 
     // <-- is B object, referenced only by private a.b eligible for garbage collection? 
     keepAlive(a); 
    } 
} 

L'oggetto B può essere raccolto dopo la creazione dell'oggetto A?

Answer 1

Penso di no, perché è possibile accedere a questo campo tramite riflessione (utilizzando setAccessible(true)).

Teoricamente, compilatore in grado di dimostrare che questo campo non sarebbe mai essere raggiunto, e renderebbe B per la garbage collection (da JLS 12.6.1 Implementing Finalization):

Un oggetto raggiungibile è un qualsiasi oggetto che si può accedere in qualsiasi potenziale continuare il calcolo da qualsiasi thread live. L'ottimizzazione delle trasformazioni di un programma può essere progettata in modo da ridurre il numero di oggetti che sono raggiungibili per essere inferiori a quelli che sarebbero ingenuamente considerati raggiungibili. Ad esempio, un compilatore o un generatore di codice può scegliere di impostare una variabile o un parametro che non sarà più utilizzato per null per causare l'archiviazione per tale oggetto potenzialmente potenzialmente recuperabile prima.

Ma io non credo che nei compilatori di pratica e JVM sono così intelligenti

Answer 2

@Kuba Vuoi dire: può l'istanza della classe B nel campo b dell'istanza a di classe A essere garbage collection ? No. Non mentre a non è null come b viene fatto riferimento a a.

Answer 3

No, perché il thread principale ha un percorso da b a a.

Answer 4

Il compilatore standard non è così intelligente.

class A 
{ 
    private Object[] array; 

    public A() 
    { 
     array = new Object[10000000]; 
    } 
} 

public static void main(String[] args) 
{ 
    LinkedList<A> list = new LinkedList<A>(); 
    while (true) 
    { 
     list.add(new A()); 
    } 
} 

Questo codice butta fuori di un'eccezione di memoria dopo un numero molto limitato di cicli, quindi la risposta alla domanda iniziale è sicuramente no.