Kotlin throw关键字,在try…catch和finally中,由于调用的是自己写的divide()方法,因此很清楚该方法可能会发生异常。试想一下,如果去调用一个别人写的方法时,是否能知道别人写的方法是否会有异常呢?这是很难做出判断的。针对这种情况,在Kotlin中,允许在可能发生异常的代码中通过throw关键字对外声明该段代码可能会发生异常,这样在使用这段代码时,就明确地知道该段代码有异常,并且必须对异常进行处理。
throw关键字抛出异常的语法格式如下:
throw ExceptionType("异常信息")
上述语法格式是通过throw表达式来抛出一个异常,这个表达式需要放在容易出现异常的代码中,也可以作为Elvis表达式(三元表达式)的一部分,throw后面需要声明发生异常的类型,通常将这种做法称为抛出一个异常。接下来我们来修改try…catch和finally中的代码,在调用divide()方法的代码上方抛出一个异常,修改后的代码如下所示。
package com.itheima.chapter04
fun divide(a: Int, b: Int): Int {
if (b==0)throw ArithmeticException(" 发生异常")
var result: Int = a / b
return result
}
fun main(args: Array<String>) {
var result: Int = divide(5, 0) // 调用divide() 方法
println(result)
}
运行结果:
Exception in thread"main"java.lang.ArithmeticException:发生异常
at com.itheima.chapter04.ExceptionKt.divide(Exception.kt:3)
at com.itheima.chapter04.ExceptionKt.main(Exception.kt:8)
上述代码中,第8行代码调用divide()方法时传递的第2个参数是0,程序在运行时不会发生被0除的异常,由于在divide()方法中抛出了一个算术异常ArithmeticException,因此在调用divide()方法时就必须对抛出的异常进行处理,否则就会发生编译错误。接下来我们对上面代码进行修改,在调用divide()方法时对其进行try…catch
处理,修改后的代码如下所示。
package com.itheima.chapter04
fun divide (a: Int, b: Int): Int {
if (b == 0) throw ArithmeticException(" 发生异常")
var result: Int = a / b
return result
}
fun main(args: Array<String>) {
try {
var result: Int = divide (5, 0) //调用divide() 方法
println(result)
} catch (e: ArithmeticException) {
println(e.message)
}
}
运行结果:
发生异常
上述代码中,在main()函数中通过try…catch
语句已经捕获了divide()方法中抛出的异常,由于该程序的divide()方法中传递的变量b的值为0,因此运行结果为发生异常。如果将变量b的值设置为1,则运行结果为5。
Nothing类型
在Kotlin中,有些函数的“返回值类型”的概念没有任何意义,此时Kotlin使用一种特殊的返回值类型Nothing来表示,Nothing是一个空类型(uninhabited type),也就是说在程序运行时不会出任何一个Nothing类型的对象。在程序中,可以使用Nothing类型来标记一个永远不会有返回数据的函数,具体示例代码如下:
fun fail(message: String): Nothing {
throw IllegalArgumentException(message)
}
当调用含有Nothing类型的函数时,可能会遇到这个类型的一种情况就是类型推断,这个类型的可空类型为Nothing?,该类型有一个可能的值是null,如果用null来初始化一个变量的值,并且又不能确定该变量的具体类型时,编译器会推断这个变量的类型为Nothing?类型,具体示例代码如下:
val x = null // 变量“x”的类型为“Nothing? ”
val l = listOf(null) // 变量“l”的类型为“List<Nothing?>”
上述代码中,变量x的初始值为null,并且该变量的具体类型不确定,因此编译器会推断该变量的类型为“Nothing?”
。变量l的初始值为listOf(null)
,可以看到List集合的初始值为null,此时不能确定该集合的具体类型,因此编译器会推断该集合的类型为“List<Nothing?>”
。
酷客教程相关文章:
评论前必须登录!
注册