Есть ли у кого-нибудь хорошие примеры использования scala.util.control.Exception
версия 2.12.0 (версия 2.8.0),? Я изо всех сил пытаюсь понять это из типов.
Использование scala.util.control.Exception
Ответ 1
В самом деле - я также считаю это довольно запутанным! Здесь проблема, когда у меня есть какое-то свойство, которое может быть синтаксической датой:
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
- тип throwable, а E
- тип выражения. Затем это можно преобразовать в определенное значение через fold
.
Или еще одну версию:
val date =
handling(classOf[PE]) by (_ => new Date) apply parseDate
Это, пожалуй, немного яснее - следующие эквиваленты:
handling(t) by g apply f
try { f } catch { case _ : t => g }
Ответ 2
Вот несколько примеров:
компилятор/scala/tools/nsc/interpreter/InteractiveReader.scala
def readLine(prompt: String): String = {
def handler: Catcher[String] = {
case e: IOException if restartSystemCall(e) => readLine(prompt)
}
catching(handler) { readOneLine(prompt) }
}
компилятор/scala/tools/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/tools/nsc/io/Process.scala
def exitValue(): Option[Int] =
catching(classOf[IllegalThreadStateException]) opt process.exitValue()
Библиотека/scala/xml/include/sax/Main.scala
def saxe[T](body: => T) = catching[T](classOf[SAXException]) opt body
...
ignoring(classOf[SAXException]) {
includer.setProperty(lexicalHandler, s)
s setFilter includer
}