¿Cómo puedo hacer que kotlin se dé count de que esta function de comparación de BST es recursiva de queue?
Aquí hay una class simple de tree de búsqueda binaria que reuní.
data class Bst<T: Comparable<T>>(var left: Bst<T>?, var value: T, var right: Bst<T>?) { tailrec fun contains(key: T): Boolean { return if (key < value) { left?.contains(key) ?: false } else if (key > value) { right?.contains(key) ?: false } else { true } } } Desafortunadamente, cuando pego esto en try.kotlinlang.org , dice que las llamadas recursivas no son recursivas de queue. Si refactorizo el código de la left?.contains en una instrucción if que testing para left == null , aparece otro error sobre cómo left es mutable y podría haber cambiado desde la instrucción if . ¿Cómo puedo hacer que estas llamadas sean recurrentes a los ojos de kotlin?
- SonarQube: Android no funciona para gradle 3.0.0
- Spring Annotation no funciona en Kotlin
- Osmdroid y Osmdroid bonuspack cómo usar CacheManager
- Kotlin: cómo get el valor del atributo de anotación
- Room Kotlin: Entidades y Pojos deben tener un constructor público utilizable
- ¿Cómo puedo get un número aleatorio en Kotlin?
- Enlace de datos de Kotlin y Android (BuildTools 2.0.0)
- ¿Por qué no está funcionando kotlin en el estudio andriod con la installation del complemento kotlin?
- Combina Rx Singles en Observables recursivamente
- Tiene reference no resuelta: setText cuando convierte java en kotlin
- Las testings de Kotlin fallan desde la línea de command con ClassNotFoundException pero funcionan desde IntelliJ
- ¿Cómo inicializar un hilo en Kotlin?
- Función de límite en Kotlin
Como se indica en las funciones recursivas de Tail :
Para ser elegible para el modificador de
tailrec, una function debe llamarse a sí misma como la última operación que realiza. No puede usar recursion final cuando hay más código después de la llamada recursiva, y no puede usarlo en los bloques try / catch / finally.
Allí su implementación ya falla con la primera restricción para llamar a la function de nuevo. Aunque llame a esta function, es en otra instancia y tampoco en la última operación de este bloque.
Lo mejor que se me ocurrió fue implementarlo "estáticamente" en el context de Kotlin .
data class Bst<T: Comparable<T>>(var left: Bst<T>?, var value: T, var right: Bst<T>?) { fun contains(key: T) = contains(key, this) companion object { tailrec fun <T: Comparable<T>> contains(key: T, bst: Bst<T>): Boolean { if (key == bst.value) return true val bst2 = bst.run { if (key < value) left else right } if (bst2 == null) return false return contains(key, bst2) } } }
Pero, además, debe considerar implementar un patrón de valor nulo, en lugar de usar valores que aceptan valores nulos para la izquierda y la derecha. Puede utilizar classs selladas para esto.