函数中单元返回的目的是什么

Question

来自Kotlin文档:

如果函数没有返回任何有用的值,则其返回类型为Unit.Unit是只有一个值的类型 - Unit.VALUE.不必显式返回此值:

fun printHello(name : String?) : Unit { 
   if (name != null) 
     print("Hello, $name!") 
   else 
     print("Hi there!") 
   // We don't need to write 'return Unit.VALUE' or 'return', although we could 
}

单位返回功能的目的是什么？为什么有VALUE？什么是VALUE？

Answer 1

目的与C或Java相同void.只有Unit是一个合适的类型,所以它可以作为泛型参数等传递.

1. 为什么我们不称它为"Void":因为"void"这个词的意思是"没有",而且还有另一种类型Nothing,这意味着"根本没有价值",即计算没有正常完成(永久循环或扔掉)一个例外).我们无法承受意义冲突.

2. 为什么Unit有一个值(即与Nothing不同):因为通用代码可以顺利运行.如果为通用参数T传递Unit,则为任何T编写的代码将需要一个对象,并且必须有一个对象,即Unit的唯一值.

3. 如何访问Unit的值:因为它是一个单例对象,就这么说 Unit

Answer 2

Unit存在的主要原因是由于通用原因.让我们使用Kotlin文档中的示例.

class Box<T>(t: T) {
    var value = t
}

我们可以有

var box = Box(Unit)

这就是为什么Unit返回一个值,以便Kotlin可以从传递给类初始化的类型推断它.当然,您也可以这样明确地写出来,

var box = Box<Unit>(Unit)

但同样,它必须有一个返回值.现在,Kotlin中Java中的void关键字是Nothing.在Kotlin的类型层次结构中,没有什么是最后一种类型,最后一种类型是什么？(Nullable Nothing).这根本不会返回任何值.因为它根本不返回任何值,所以我们不能将它作为上述代码中的类型传递.

var box = Box(Nothing) //This will return an Error

Answer 3

UNIT实际上包含有价值的信息，它基本上只是意味着“完成”。它只是将信息返回给调用者，该方法已完成。这是一条真实的信息，因此可以将其视为方法的返回值。