Почему Garbage Collector не очищает память стека

Стек управляется автоматически без участия Garbage Collector, так как работает по принципу LIFO (Last In, First Out). Когда метод завершается, его стековый фрейм (локальные переменные, параметры) просто удаляется. Это происходит мгновенно и предсказуемо, в отличие от кучи, где GC нужен для сложного управления динамической памятью. Пример:

void method() {
    int x = 10; // В стеке
    Object obj = new Object(); // obj в стеке, сам Object в куче
} // Стековый фрейм удаляется, x исчезает, а Object остаётся в куче до GC