使用Scala @tailrec优化代码失败，请求排查递归位置问题

我尝试在Scala中使用@tailrec注解将代码转换为尾递归形式，但编译器提示该函数的递归调用不在尾位置，我对此结论存疑，希望获得帮助或提示。

原代码 #

@tailrec
def f_index_scope(v_sc : T_ContextPtr, v_i : Int):T_ContextPtr = {
  var  v1_result : T_ContextPtr = null.asInstanceOf[T_ContextPtr];
  if (v_or(new M__basic_2[ T_ContextPtr](t_ContextPtr).v__op_0(v_sc,new M__basic_8[ T_ContextPtr](t_ContextPtr).v_nil),new M__basic_2[ T_Integer](t_Integer).v__op_0(v_i,0))) {
    v1_result = v_sc;
  } else {
    val node = v_sc;
    node match {
      case p_context(_,v_0) => {
        return f_index_scope(a_ptr.get(v_sc),new M__basic_4[ T_Integer](t_Integer).v__op_u(v_i,1));
      }
      case _ => {
      }}
  }
  return v1_result;
}

编译器错误信息 #

Could not optimize @tailrec annotated method f_index_scope: it contains a recursive call not in tail position

问题原因与修复方案 #

问题根源

原代码存在两个关键问题导致编译器无法识别尾递归：

1. 使用显式return语句，递归调用通过return在match分支中触发，而函数末尾还有另一个return v1_result，编译器无法确认该递归调用是函数的最终执行操作。
2. 引入可变变量v1_result，破坏了Scala的表达式式编程结构，干扰了尾递归的识别逻辑。

修复后的代码

@tailrec
def f_index_scope(v_sc: T_ContextPtr, v_i: Int): T_ContextPtr = {
  // 提取基础条件判断，简化逻辑
  val isBaseCase = v_or(
    new M__basic_2[T_ContextPtr](t_ContextPtr).v__op_0(v_sc, new M__basic_8[T_ContextPtr](t_ContextPtr).v_nil),
    new M__basic_2[T_Integer](t_Integer).v__op_0(v_i, 0)
  )

  if (isBaseCase) {
    v_sc // 基础情况直接返回结果
  } else {
    v_sc match {
      case p_context(_, _) =>
        // 递归调用作为当前分支的最后表达式，即函数的最终执行操作
        f_index_scope(a_ptr.get(v_sc), new M__basic_4[T_Integer](t_Integer).v__op_u(v_i, 1))
      case _ =>
        v_sc // 默认分支补充返回值，避免编译报错
    }
  }
}

修复说明

1. 移除所有显式return和可变变量，依赖Scala函数默认返回最后一个表达式的特性。
2. 将递归调用作为else分支的最后一个表达式，确保它是函数在非基础情况下的最终执行操作，符合尾递归的要求。
3. 为match的默认分支补充了返回值（原代码空分支会导致编译错误）。

内容的提问来源于stack exchange，提问作者Node.JS