Scala tailrec注释错误

Question

我有一个名为 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 带注释的方法：它使用不同类型的参数递归调用”。我的内在方法有什么问题吗？

谢谢。

Answer 1

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

Answer 2

我可以建议一个更简洁的代码版本吗？

def getDbTableForClass[A <: ImmutableEntity](cls: Class[A]): String = {
@tailrec
def getDbTableAnnotation[B >: A](cls: Class[B]): DBTable = cls match {
  case null => null
  case c if c.isAnnotationPresent(classOf[DBTable]) => c.getAnnotation(classOf[DBTable])
  case other => getDbTableAnnotation(other.getSuperclass)
}

getDbTableAnnotation(cls) match {
  case null => throw new IllegalArgumentException("No DBTable annotation on class " + cls.getName)
  case dbTable if dbTable.value ne null => dbTable.value
  case other => throw new IllegalArgumentException("No DBTable.value annotation on class " + cls.getName)
}

}

Answer 3

由于类型参数 B 及其绑定并不是严格必需的，因此您可以使用存在类型来代替，

@tailrec
def getDbTableAnnotation(cls: Class[_]): DBTable = {
  ...
}

Scala 接受尾递归调用的此定义。