Использование scala.util.control.Exception - PullRequest
31 голосов
/ 25 мая 2010

У кого-нибудь есть хорошие примеры использования scala.util.control.Exception версии 2.12.0 ( версии 2.8.0 ),? Я изо всех сил пытаюсь понять это из типов.

Ответы [ 2 ]

37 голосов
/ 25 мая 2010

Действительно - я тоже нахожу это довольно запутанным! Вот проблема, где у меня есть свойство, которое может быть разбираемой датой:

def parse(s: String) : Date = new SimpleDateFormat("yyyy-MM-dd").parse(s)
def parseDate = parse(System.getProperty("foo.bar"))

type PE = ParseException
import scala.util.control.Exception._

val d1 = try { 
             parseDate
           } catch { 
             case e: PE => new Date
           }

Переключение на функциональную форму:

val date =
     catching(classOf[PE]) either parseDate fold (_ => new Date, identity(_) ) 

В приведенном выше коде повороты catching(t) either expr приведут к Either[T, E], где T - это тип бросаемого объекта, а E - тип выражения. Затем его можно преобразовать в конкретное значение через fold.

Или еще одна версия:

val date =
     handling(classOf[PE]) by (_ => new Date) apply parseDate

Возможно, это немного яснее - следующие значения эквивалентны:

handling(t) by g apply f 
try { f } catch { case _ : t => g }
5 голосов
/ 25 мая 2010

Вот несколько примеров:

компилятор / Scala / инструменты / NSC / переводчик / InteractiveReader.scala

  def readLine(prompt: String): String = {
    def handler: Catcher[String] = {
      case e: IOException if restartSystemCall(e) => readLine(prompt)
    }
    catching(handler) { readOneLine(prompt) }
  }

компилятор / Scala / инструменты / NSC / Interpreter.scala

  /** We turn off the binding to accomodate ticket #2817 */
  def onErr: Catcher[(String, Boolean)] = {
    case t: Throwable if bindLastException =>
      withoutBindingLastException {
        quietBind("lastException", "java.lang.Throwable", t)
        (stringFromWriter(t.printStackTrace(_)), false)
      }
  }

  catching(onErr) {
    unwrapping(wrapperExceptions: _*) {
      (resultValMethod.invoke(loadedResultObject).toString, true)
    }
  }

...

  /** Temporarily be quiet */
  def beQuietDuring[T](operation: => T): T = {
    val wasPrinting = printResults
    ultimately(printResults = wasPrinting) {
      printResults = false
      operation
    }
  }

  /** whether to bind the lastException variable */
  private var bindLastException = true

  /** Temporarily stop binding lastException */
  def withoutBindingLastException[T](operation: => T): T = {
    val wasBinding = bindLastException
    ultimately(bindLastException = wasBinding) {
      bindLastException = false
      operation
    }
  }

компилятор / Scala / инструменты / NSC / И.О. / Process.scala

  def exitValue(): Option[Int] =
    catching(classOf[IllegalThreadStateException]) opt process.exitValue()

библиотека / Scala / XML / включить / саксофон / Main.scala

def saxe[T](body: => T) = catching[T](classOf[SAXException]) opt body

...

   ignoring(classOf[SAXException]) {
     includer.setProperty(lexicalHandler, s)
     s setFilter includer
   }
...