如何在尾递归函数中添加内联函数并维持尾递归特性？

你的f2之所以报错，是因为嵌套的add函数内部调用f2时，这个递归调用并不在f2本身的直接尾位置。编译器判断尾递归的标准是：递归调用必须是函数执行的最后一个操作，而f2里调用add(1)或add(2)后，还要等待add函数内部执行完f2的调用，所以编译器无法识别这是尾递归。

要在维持尾递归的前提下泛化加法逻辑，你可以把更新i的逻辑作为函数参数传递，让递归调用直接出现在函数的尾位置。以下是几种可行的实现方式：

方式一：传递增量计算函数 #

@tailrec final def f3(i: Int, j: Int, step: Int => Int): Int = {
  if (i < j) f3(i + step(1), j, step)
  else if (i < j * 2) f3(i + step(2), j, step)
  else i
}

// 调用示例：使用默认加法
def defaultStep(c: Int): Int = c
f3(0, 5, defaultStep)

// 自定义增量逻辑，比如返回两倍的增量
f3(0, 5, c => c * 2)

方式二：传递完整的i更新函数 #

如果需要更灵活的泛化（比如不只是加法，而是任意更新逻辑），可以直接传递一个接收当前i和增量值、返回新i的函数：

@tailrec final def f4(i: Int, j: Int, update: (Int, Int) => Int): Int = {
  if (i < j) f4(update(i, 1), j, update)
  else if (i < j * 2) f4(update(i, 2), j, update)
  else i
}

// 调用示例：默认加法
f4(0, 5, _ + _)

// 自定义更新逻辑，比如i加上增量的平方
f4(0, 5, (x, c) => x + c * c)

方式三：带默认参数的简化版 #

如果大部分场景用默认加法，可以给更新函数加默认值，避免每次调用都传参数：

@tailrec final def f5(i: Int, j: Int, update: (Int, Int) => Int = _ + _): Int = {
  if (i < j) f5(update(i, 1), j, update)
  else if (i < j * 2) f5(update(i, 2), j, update)
  else i
}

// 直接使用默认加法调用
f5(0, 5)

// 按需传自定义逻辑
f5(0, 5, (x, c) => x + c * 3)

这些实现都能保持尾递归特性，同时实现了加法（或更新逻辑）的泛化，编译器可以正常优化尾递归调用。

内容的提问来源于stack exchange，提问作者user79074