Perché si verifica un StackOverflowError se non ci sono variabili locali? Con cosa si riempirà la memoria?

StackOverflowError возникает, когда стек вызовов переполняется, обычно из-за бесконечной рекурсии или слишком глубокой вложенности вызовов.

Если в методах нет локальных переменных, стек всё равно заполняется записями о вызовах (stack frames), которые содержат адрес возврата, параметры и другую служебную информацию.

Таким образом, даже без локальных переменных стек заполняется информацией о вызовах функций. При бесконечной рекурсии или очень глубоком вызове стек в итоге переполняется, что приводит к StackOverflowError.