2.4.2 Unit类型：让函数调用皆为表达式 2021-07-14

之所以不能说Java中的函数调用都是表达式，是因为存在特例viod。众所周知，在Java中如果声明的函数没有返回值，那么他就需要用void来修饰。如：

void foo(){

System.out.println("return nothing")

}

所以foo()就不具有值和类型信息，它就不能算作一个表达式。同时，这与函数式语言中的函数概念也存在冲突，在Kotlin、Scala这些语言中，函数在所有的情况下都具有返回类型，所以它们引入了Unit来代替Java中的void关键字。

-------------------------------------

void与Viod

当你在描述void的时候，需要注意首字母的大小写，因为Java在语言层设计一个Void类。java.lang.Void类似java.lang.Integer，Integer是为了对基本类型int的实例进行装箱操作，Void的设计则是为了对应void。由于void表示没有返回值，所以Void并不能具有实例，它继承自Object。

---------------------------------------

如何理解Unit？其实它与int一样，都是一种类型，然而它不代表任何信息，用面向对象的术语来描述就是一个单例，它的实例只有一个，可写为（）。

那么，Kotlin为什么要引入Unit啦？一个很大的原因是函数侧重于组合，尤其是很多高阶函数，在源码实现的时候都是采用泛型来实现的，然而void在涉及泛型的情况下会存在问题。

我们先来看个例子，Java这门语言并不天然支持函数是头等公民，我们现在来尝试模拟出一种函数类型

interface Function{

       Return apply(Arg arg);

}

Function stringLenth = new Function(){

public Integer apply(){

        return arg.length();

    }

};

int result = stringLenth .apply("hello")

//运行结果

5

看上去似乎没什么问题。我们再来改造一下，这次希望重新实现一个print方法。于是，难题出现了，Return的类型用什么来表示啦？可能你会想到void，但Java是不能这么干的。无奈之下，我们只能把Return换成Void，即Function，由于Void没有实例，则返回一个null。这种做法严格意义上讲，相当丑陋。

Java8实际解决办法是通过引入Action这种函数式接口来解决问题，比如：