Почему объект-обертка подходит для сбора мусора?

Question

Этот вопрос взят из SCJP. Нам нужно найти объекты, которые имеют право на сбор мусора. Ответ гласит c3 и рассказ. Мне нужно знать, почему его короткая история подходит для GC. Это фактически переменная экземпляра. Означает ли это, если я не использую переменные экземпляра, они имеют право на сбор мусора?

Фактический ответ в соответствии с книгой: имеет право только один объект CardBoard (c1), но имеет соответствующий объект Short wrapper, который также имеет право на участие. Таким образом, «два» объекта имеют право на участие.

class CardBoard { 
    Short story = 200; 
    CardBoard go(CardBoard cb) { 
     cb = null; 
     return cb; 
    } 
    public static void main(String[] args) { 
     CardBoard c1 = new CardBoard(); 
     CardBoard c2 = new CardBoard(); 
     CardBoard c3 = c1.go(c2); 
     c1 = null; 
     // do Stuff 
    } 
} 

Answer 1

Ответ не говорит c3 он говорит c1 и, таким образом Short story она содержит. Это связано с линией

c1 = null; 

В этот момент объект, который ссылается c1 может быть GCed и, таким образом, любой объект, это относится к.

Answer 2

Если ничто не относится к c1, тогда поле Short story = 200; (принадлежащее к экземпляру c1) также имеет право на сбор.

Answer 3

Все сводится к тому, что сборщик мусора считает «доступным». В основном, он начинается с так называемых корней сбора мусора (локальные переменные в исполняемом потоке являются примером таких корней) и следует всем ссылкам на другие объекты. После того, как вы посетили все объекты, на которые они могут попасть, пройдя все эти ссылки, есть несколько левых, которые уже недоступны, что означает, что, как бы вы ни старались, вы больше никогда не будете использовать эти объекты, чтобы их можно было безопасно выбросить (или собираются как мусор).

Хотя c1 ссылается на свой объект story, нет никакого способа достичь ни одного, поэтому они оба имеют право на участие.

c3 никогда не ссылается на объект, пример предназначен, чтобы запутать, но go() всегда возвращает ссылку нулевой и не экземпляр объекта не создается для c3, и это также не висит на любой объект, на который ссылается c1 или c2 (хотя более поздняя версия не имеет отношения к этому случаю, поскольку на нее все еще ссылается переменная c2).