3

Scalaテスト内の「intercept」のメソッドシグネチャを見てください：

 def intercept[T <: AnyRef](f: => Any)(implicit manifest: Manifest[T]): T = {

使い方[T <: AnyRef]がわかりませんか？これはパラメータタイプのように見えますが、なぜ山かっこで囲まれているのですか-[]？

完全な方法は次のとおりです。

  def intercept[T <: AnyRef](f: => Any)(implicit manifest: Manifest[T]): T = {
    val clazz = manifest.erasure.asInstanceOf[Class[T]]
    val caught = try {
      f
      None
    }
    catch {
      case u: Throwable => {
        if (!clazz.isAssignableFrom(u.getClass)) {
          val s = Resources("wrongException", clazz.getName, u.getClass.getName)
          throw newAssertionFailedException(Some(s), Some(u), 4)
        }
        else {
          Some(u)
        }
      }
    }
    caught match {
      case None =>
        val message = Resources("exceptionExpected", clazz.getName)
        throw newAssertionFailedException(Some(message), None, 4)
      case Some(e) => e.asInstanceOf[T] // I know this cast will succeed, becuase iSAssignableFrom succeeded above
    }
  }
4

1 に答える 1

3

この言語構​​造は型パラメーター化と呼ばれ、ここで詳細を読むことができます。

http://www.artima.com/pins1ed/type-parameterization.html

この場合、メソッドは型パラメーターを宣言することもできます。すでにJavaのバックグラウンドを持っている場合は、これに非常によく似たJavaのバックグラウンドがあります。

public <T extends Object> T intercept(Runnable f) {
  // ...
}
于 2012-12-18T12:01:07.583 に答える