解析Kotlin中的Unit【笔记摘要】

1. Kotlin的Unit 和 Java的void 的区别

// Java
public void sayHello() {System.out.println("Hello!")
}// Kotlin
fun sayHello(): Unit {println("Hello!")
}

Unit 和 Java 的 void 真正的区别在于，void 是真的表示什么都不返回，而 Kotlin 的 Unit 却是一个真实存在的类型：

//Unit的源码，这表明它是一个object单例类
public object Unit {override fun toString() = "kotlin.Unit"
}

2. 省略Unit，Kotlin会自动补上

一个完整的”无返回值“的函数写法如下，即返回类型为Unit，函数最后return Unit

fun sayHello() : Unit {println("Hello!")return Unit
}

当函数返回类型是Unit时，我们是可以省略掉函数的返回类型的，因为 Kotlin 也会帮我们自动加上

fun sayHello() {println("Hello!")return Unit
}

return 我们一样可以省略不写，Kotlin 也会帮我们自动加上

fun sayHello() : Unit {println("Hello!")
}

这两个 Unit 是不一样的，上面的是 Unit 这个类型，下面的是 Unit 这个单例对象。这个并不是 Kotlin 给 Unit 的特权，而是 object 本来就有的语法特性
包括你也可以这样写：

val unit: Unit = Unit

因此全都省略的情况，实际上就是返回类型为Unit，并且最后一行返回了Unit这个单例对象

fun sayHello() {println("Hello!")
}

3. Unit总结

所以在结构上，Unit 并没有任何的特别之处，它就只是一个 Kotlin 的 object 而已。
它的特殊之处，更多的是在于语义和用途的角度：它是个由官方规定出来的、用于「什么也不返回」的场景的返回值类型。但这只是它被规定的用法而已，而本质上它真就是个实实在在的类型。
也就是在 Kotlin 里，并不存在真正没有返回值的函数，所有「没有返回值」的函数实质上的返回值类型都是 Unit，而返回值也都是 Unit 这个单例对象，这是 Unit 和 Java 的 void 在本质上的不同。

4. Unit 的价值所在

意义就在于，Unit 去掉了无返回值的函数的特殊性，消除了有返回值和无返回值的函数的本质区别，这样很多事做起来就会更简单了。
比如在 Java 里面，由于 void 并不是一种真正的类型，所以任何有返回值的方法在子类里的重写方法也都必须有返回值，而不能写成 void，不管你用不用泛型都是一样的：

public abstract class Maker {public abstract Object make();
}public class AppleMaker extends Maker {// 合法@Overridepublic Apple make() {return new Apple();}
}public class NewWorldMaker extends Maker {// 非法@Overridepublic void make() {world.refresh();}
}

泛型：

public abstract class Maker<T> {public abstract T make();
}public class AppleMaker extends Maker<Apple> {// 合法Overridepublic Apple make() {return new Apple();}
}public class NewWorldMaker extends Maker<void> {// 非法Overridepublic void make() {world.refresh();}
}

你只能去写一行 return null 来手动实现接近于「什么都不返回」的效果：

public class NewWorldMaker extends Maker {@Overridepublic Object make() {world.refresh();return null;}
}

而且如果你用的是泛型，可能还需要用一个专门的虚假类型来让效果达到完美：

public class NewWorldMaker extends Maker<Void> {@Overridepublic Void make() {world.refresh();return null;}
}

而在 Kotlin 里，Unit 是一种真实存在的类型，所以直接写就行了（这里还借助了Kotlin自动补上Unit类型 和 最后一行自动返回Unit单例对象）：

abstract class Maker {abstract fun make(): Any
}class AppleMaker : Maker() {override fun make(): Apple {return Apple()}
}class NewWorldMaker : Maker() {override fun make() {world.refresh()}
}

泛型：

abstract class Maker<T> {abstract fun make(): T
}class AppleMaker : Maker<Apple>() {override fun make(): Apple {return Apple()}
}class NewWorldMaker : Maker<Unit>() {override fun make() {world.refresh()}
}

这就是 Unit 的去特殊性，或者说通用性所给我们带来的便利。

5. 延伸：当做纯粹的单例对象来使用

所以如果你什么时候想「随便拿个对象过来」，或者「随便拿个单例对象过来」，也可以使用 Unit，它和你自己创建一个 object 然后去使用，效果是一样的。

---

参考文章：
Unit 为啥还能当函数参数？面向实用的 Kotlin Unit 详解