4

と呼ばれるJava抽象クラスと、と呼ばれるImmutableEntityクラスレベルのアノテーションを含むいくつかのサブクラスがあります@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注釈付きメソッドを最適化できませんでした。異なる型の引数で再帰的に呼び出されます」というエラーが発生します。私の内側の方法の何が問題になっていますか？

ありがとう。

4

3 に答える 3

16

これは、コンパイラがループによる末尾再帰を実装する方法が原因です。これは、ScalaからJavaバイトコードへの一連の変換の1つのステップとして実行されます。各変換は、再び型が正しいプログラムを生成する必要があります。ただし、ループの途中で変数のタイプを変更できないため、コンパイラーはタイプが正しいループに拡張できませんでした。

于 2010-12-23T21:03:42.463 に答える
3

コードのより簡潔なバージョンを提案できますか？

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)
}

}

于 2010-12-23T22:06:10.290 に答える
2

typeパラメーターBとその境界は厳密には必須ではないため、代わりに実存型を使用できます。

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

Scalaは、末尾再帰呼び出しに対してこの定義を受け入れます。

于 2010-12-23T17:39:57.633 に答える