代码之家 › 专栏 › 技术社区 › k0pernikus

如何在scala中键入可能引发异常的函数?

throwable exception-handling exception scala

k0pernikus · 技术社区 · 6 年前

我想指出函数可能会引发异常。目前,我有以下几种验证函数:

val throwUnlessX: String => Unit = (foo: String) => {
  if (foo != "bar") {
    throw new Throwable("Poit!")
  }
}

它是用 Unit 作为返回类型,但严格来说这并不完全正确,因为函数也可能永远不会返回,因为它可能会引发异常。

其他语言有定义 never 类型,用于无限循环或所述异常引发。

我是否可以向开发人员指出函数可能会抛出或永远不会返回?

2 回复 | 直到 6 年前

k0pernikus 6 年前

您可以使用 @throws 注释来声明可由方法引发的异常。

示例如下:

class Reader(fname: String) {
  private val in = new BufferedReader(new FileReader(fname))
  @throws[IOException]("if the file doesn't exist")
  def read() = in.read()
}

mpetruska 6 年前

在Scala中有几种类型可以表示这些情况:

类型可以捕获异常的概念 Try ; Try[Unit] 在你的情况下
如果将一个没有实例的类型指定为返回类型,这将表明函数永远不会返回,如 Nothing

然而,我强烈建议对您的用例使用一些不会引发异常的验证库;一个好的候选人应该是 Scalaz 例如

推荐文章

davidzxc574 · 将字符串缩放为字符

2 年前

yic_l · 什么是“!”在这个函数中是什么意思?

2 年前

Jelly · Scala:用于理解递归未来

2 年前

to.mane · Scala—如何使用接收对象作为参数的构造函数创建类

2 年前

bbgghh · 在scala中连接两个列表时如何处理不匹配的键

2 年前

OdiumPura · 使用JDBC(Sql server)查询tempview

2 年前

Iheb Mar · 卡夫卡制作人/消费者粉碎每一秒的API调用

2 年前

B. Bal · 在Scala中重用类成员

2 年前

RomanGoltsov · Scala、Cassandra、Quill、Need impl logget批处理模式

2 年前

S.Hashiba · 哪个名称空间是正确的,“com.typesafe.sbt”还是“com.github.sbt”?

2 年前