让你迷惑的 Kotlin 代码（2）

今天的问题格外短，也格外简单。

fun hello() = {
    println("Hello World !")
}

fun main() {
    hello()
}

暂且不纠结答案，先来回顾一下 Kotlin 中是如何声明函数的。

Kotlin 使用 fun 关键字来声明函数，如下所示：

fun hello() = "Hello World"

Kotlin 会自动推导函数返回值，上面的代码定义了一个返回值是 String 的函数。

那么...... 下面的代码正确吗？

fun hello2() {
    return "Hello World"
}

hello2() 是不能正常编译的。因为如果显式使用了 return，也必须显式指定返回值类型。

到这，注意两个点：

• Kotlin 会自动推导函数返回值类型，但显式 return 也必须显式声明返回值类型
• 使用 = 定义函数可以省略函数返回值类型

回到题目中的代码：

fun hello() = {
    println("Hello World !")
}

这就很明了了，声明了一个返回值类型可自动推导的函数 hello() ，其返回值类型就是 = 后面的 {...} 。

这个大括号是什么类型呢？熟悉 Kotlin 语法的同学应该知道，{} 是 Lambda 表达式。

Lambda 又是什么类型呢？Kotlin 中的 Lambda 是函数类型的对象。

在 Kotlin 中，函数也是对象，但又不是传统意义上的对象。每个函数对象都有自己的函数类型，这个类型又有很多种，由函数的参数类型和返回值类型共同决定。要注意一点，Lambda 表达式的最后一行就是其返回值。

val a: () -> Unit = { }
val b: (Int) -> String = { i -> "" }
val c: (Int, String) -> Int = { i, s -> 1 }
val d: (Int) -> ((Int) -> Unit) = { i -> {} }

上图的 a、b、c、d 是四个具有不同函数类型的函数对象。其中 d 是一个参数是 Int , 返回值类型是函数类型 (Int) -> Unit的函数对象。

再看下面四行代码：

val a = { }
val b = { i -> "" }
val c = { i, s -> 1 }
val d = { i -> {} }

哪几个会编译失败？

b、c、d 。虽然 Lambda 表达式可以自动推导函数的参数类型，但 b、c、d 显然超出能力范围以外。

最后回到开头的题目：

fun hello() = {
    println("Hello World !")
}

很清晰明了了。hello 函数返回了一个 Lambda ，其函数类型是 () -> Unit 。对于返回值或者参数是函数类型的函数，我们也叫 高阶函数 。上面的代码其实等价于如下代码：

fun hello(): () -> Unit {
    return { println("Hello World !") }
}

所以，执行 hello() 只是获取了一个函数类型的对象，不会发生任何事。要真正的打印出 Hello World !，得使用 hello()() 或者 hello().invoke() 。