Scala tailrec注释错误

发布时间：2020-12-16 18:26:32 所属栏目：安全来源：网络整理

导读：我有一个名为ImmutableEntity的 Java抽象类和几个包含一个名为@DBTable的类级别注释的子类.我试图使用尾递归Scala方法搜索类层次结构中的注释： def getDbTableForClass[A : ImmutableEntity](cls: Class[A]): String = { @tailrec def getDbTableAnnotation

我有一个名为ImmutableEntity的 Java抽象类和几个包含一个名为@DBTable的类级别注释的子类.我试图使用尾递归Scala方法搜索类层次结构中的注释：

def getDbTableForClass[A <: ImmutableEntity](cls: Class[A]): String = {
    @tailrec
    def getDbTableAnnotation[B >: A](cls: Class[B]): DBTable = {
      if (cls == null) {
        null
      } else {
        val dbTable = cls.getAnnotation(classOf[DBTable])
        if (dbTable != null) {
          dbTable
        } else {
          getDbTableAnnotation(cls.getSuperclass)
        }
      }
    }

    val dbTable = getDbTableAnnotation(cls)
    if (dbTable == null) {
      throw new
              IllegalArgumentException("No DBTable annotation on class " + cls.getName)
    } else {
      val value = dbTable.value
      if (value != null) {
        value
      } else {
        throw new
                IllegalArgumentException("No DBTable.value annotation on class " + cls.getName)
      }
    }
  }

当我编译这段代码时,我收到错误：“无法优化@tailrec带注释的方法：使用不同的类型参数递归调用它”.我的内心方法有什么问题？

谢谢.

解决方法

这是因为编译器通过循环实现尾递归的方式.这是从Scala到Java字节码的一系列转换中的一步.每次转换都必须生成一个类型正确的程序.但是,它无法在中循环执行中更改变量的类型,这就是编译器无法扩展为类型正确循环的原因.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!