Kotlin返回值UnitNothing与Any

Posted Jason_Lee155

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Kotlin返回值UnitNothing与Any相关的知识,希望对你有一定的参考价值。

Unit类型

Kotlin也是面向表达的语言。Kotlin中Unit类型实现了与java中void一样的功能。

public object Unit // Unit类型是一个object对象类型
    override fun toString() = "kotlin.Unit" // toString函数返回值

当一个函数没有返回值的时候,我们用Unit来表示这个特征,而不是null,大多数时候我们不需要显示地返回Unit,或者声明一个函数的返回值是Unit,编译器会推断它。

fun unitExample() 
        println("test,Unit")
    

    @JvmStatic
    fun main(args: Array<String>) 
        val helloUnit = unitExample()
        println(hellUnit)
        println(hellUnit is kotlin.Unit)
    

输出结果

 可以看出变量helloUnit的类型是kotlin.Unit类型。以下写法是等价的:

 fun unitExample():kotlin.Unit 
        println("test,Unit")
    
    fun unitExample()
        println("test,Unit")
        return kotlin.Unit
    
    fun unitExample()
        println("test,Unit")
    

跟其他类型一样,Kotlin.Unit的类型是Any。如果是一个可空的Unit?那么父类型是Any?。

Nothing类型

在java中void不能是变量的类型,也不能作为值打印输出。但是在java中有个包装类Void是void的自动装箱类型。如果你想让一个方法的返回类型永远是null的话,可以把返回类型为这个大写的Void类型。

public Void testV() //声明类型是Void
        System.out.println("am Void");
        return null;//返回值只能是null
    

    public static void main(String[] args) 
        JavaTest test = new JavaTest();
        Void aVoid = test.testV();
        System.out.println(aVoid);
    

打印结果如下

这个Void对应的类型是Nothing?,其唯一可被访问的返回值也是null,Kotlin中类型层次结构最底层就是Nothing

Nothing的类定义如下

//Nothing的构造函数是private的,外界无法创建Nothing对象
public class Nothing private constructor()

如果一个函数返回值是Nothing,那么这个函数永远不会有返回值。

但是我们可以使用Nothing来表达一个从来不存在的返回值。例如EmptyList中的get函数

object EmptyList : List<Nothing> 

        override fun get(index: Int): Nothing 
            throw IndexOutOfBoundsException()
        
 

因为get永远不会反回值,而是直接抛出了异常,这个时候可以用Nothing作为get函数的返回值。

再例如Kotlin标准库里面的exitProcess()函数:

@kotlin.internal.InlineOnly
public inline fun exitProcess(status: Int): Nothing 
    System.exit(status)
    throw RuntimeException("System.exit returned normally, while it was supposed to halt JVM.")

Unit与Nothing之间的区别是,Unit类型表达式计算结果返回值是Unit;Nothing类型表达式计算结果永远是不会返回的,与java中void相同。

Nothing?可以只包含一个值 null 。

 Nothing?唯一允许的值是null,可被用作任何可空类型的空引用。

Any类型

Any类型就跟Java的object类型一样,是所有类的父类。Any?是可空类型的根。Any?是Any的超集,Any?是Kotlin类型层次的最顶端。

		println(1 is Any)
        println(1 is Any?)
        println(null is Any)
        println(1 is Any?)
        println(Any() is Any?)

输出如下

true
true
false
true
true

以上是关于Kotlin返回值UnitNothing与Any的主要内容,如果未能解决你的问题,请参考以下文章

Kotlin基础 Any和Any?

Kotlin基础 Any和Any?

Kotlin - 类型不匹配:推断类型是 Any?但布尔值是预期的

Lua风格的Kotlin中表达式是否为空?

Kotlin类的继承 ② ( 使用 is 运算符进行类型检测 | 使用 as 运算符进行类型转换 | 智能类型转换 | Any 超类 )

Kotlin类的继承 ② ( 使用 is 运算符进行类型检测 | 使用 as 运算符进行类型转换 | 智能类型转换 | Any 超类 )