fun fact(x: Int): Int{
tailrec fun factTail(y: Int, z: Int): Int{
if (y == 0) return z
else return factTail(y - 1, y * z)
}
return factTail(x, 1)
}
Может ли кто-нибудь объяснить мне, как приведенная выше функция рекурсии работает в kotlin?
Я начну с того, что ключевое слово tailrec используется только как оптимизация для компилятора, который попытается выразить функцию с помощью цикла, а не рекурсии, избегая риска переполнение стека.
Если мы избежим рекурсии, функция может выглядеть примерно так:
fun fact(x: Int): Int {
var result = x
for (i in x - 1 downTo 1) {
result *= i
}
return result
}
Существует большой риск, когда вы используете рекурсию в Java, которая представляет собой stackoverflow. стек
Как указано выше, рекурсия ссылок работает в Java. Для стека будет некоторый максимальный размер. Если наша функция рекурсии будет бесконечной, то она превысит максимальный размер, и это приведет к исключению StackOverflow. Поэтому избегайте использования рекурсии и вместо этого используйте цикл
Переходим к текущей проблеме. Это специальная рекурсия, которая называется Tail call. При этом функция должна вызывать себя как последнюю операцию, которую она выполняет. Хвостовые вызовы могут быть реализованы без добавления нового кадра стека в стек вызовов. Так что риска StackOverflow не будет. И это поддерживается в Котлине.
В Kotlin для отображения этой специальной рекурсии используется модификатор tailrec. Вы не можете использовать хвостовую рекурсию, когда после рекурсивного вызова есть еще код, и вы не можете использовать ее в блоках try/catch/finally.
tailrecв Kotlin предотвращает переполнение стека вашей функцией. Этот модификатор используется компилятором для его оптимизации. - person Nikola Despotoski schedule 31.10.2017