kotlin - Kotlin 中的 tailrec 有什么意义？

Question

tailrec 优化存在尾递归的函数。为什么编译器不直接优化它？

C 编译器针对尾递归进行了优化。您不必将该方法标记为具有尾递归。编译器只是注意到最后一个操作是递归的。就是这样。

为什么会存在这个看似过多的关键字？我错过了什么吗？纯粹是为了编译器的方便，而不是为了用户？

Answer 1

关键字告诉编译器函数的实现需要是尾递归的，如果函数实际上不是尾递归的，编译器会报错。它可以保护用户免受函数实现的更改导致其不再是尾递归，并导致性能意外下降(或由于堆栈溢出错误导致生产完全失败)的情况。