Por que ocorrerá um StackOverflowError se não houver variáveis locais? Como a memória será preenchida?

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

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

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