Я получаю StackOverFlowException для этого кода, потому что моя JVM не поддерживает оптимизацию хвостовых вызовов, верно?

Question

Я получаю StackOverflowException для этого метода Java:

private static final Integer[] populate(final Integer[] array, final int length, final int current) {

    if (current == length) {
        return array;
    } else {
        array[current] = TR.random.nextInt();
        System.out.println(array[current]);
        return populate(array, length, current + 1);
    }
}

Я играю с рекурсией хвостового вызова, поэтому я думаю, что это происходит, когда JVM не закорачивает стек, верно?

Answer 1

Нет JVM, о которой я знаю, поддерживает оптимизацию хвостового вызова. Это не недосмотр. Очевидно, что эта оптимизация имеет существенные последствия для рефлексии Java и менеджеров безопасности Java.

Ссылки:

• "Хвостовые вызовы в виртуальной машине" от John Rose @ Oracle.
• Ошибка 4726340 - RFE: Оптимизация вызовов в хвосте

Answer 2

Да, оптимизация Tail Call в настоящее время не поддерживается JVM из-за модели безопасности и необходимости всегда иметь доступную трассировку стека, хотя этот пример можно легко переписать с использованием итерации.

Answer 3

Обычная Java не имеет оптимизации хвостового вызова, AFAIK.Scala имеет несколько ограниченную реализацию: http://fupeg.blogspot.com/2009/04/tail-recursion-in-scala.html

Answer 4

Я нашел ссылку на хвостовую рекурсию в Java, поэтому я проверю это (позже, когда у меня будет время).

Хотя это было бы крайне неэффективно для вашего случая использования.