Kotlin基础教程之Run,标签Label,函数Function-Type

Kotlin基础教程之Run,标签Label,函数Function-Type

在Java中可以使用{}建立一个匿名的代码块，代码块会被正常的执行，除了改变了作用域之外，似乎并没有什么其他的作用。然而在Kotlin中却不能这么做，这是为什么呢？

其实，我们都知道一个函数一定与一个内存地址相关，而一个匿名的代码块其实也相当于是一个匿名的函数。在Kotlin中一般使用run函数来运行一段匿名代码块。

如下：

在Kotlin中使用标识符后跟@符号来定义一个标签，使用@后跟标识符来引用一个标签，run函数的语法初看起来似有一些怪异，其实run函数以一个函数作为参数，而一个匿名的代码块就可以是一个匿名函数，当我们在IntelliJ IDEA中把鼠标光标放到匿名代码块的大括号上时，会显示出匿名代码块对应的函数签名

local final fun <anonymous> ():Int defined in com.kotlin_learn.control_flow.fun_run

如图：

local代表作用域，定义在函数内部，作用域仅为local，final代表不可变，<anonymous>即为匿名，()是参数列表，Int是返回值，com.kotlin_learn.control_flow.fun_run是函数定义位置的完整路径。

由此可见，run函数的参数，那段匿名代码块被编译器转换为了一个匿名函数是毫无疑问的。

当然run函数是可以有返回值的，所以匿名代码块也可以是有返回值的匿名函数。

每一个函数都与一个或多个地址相对应，而每一个标签Label也是与一个或多个地址相对应，所以函数本身即是标签。

所以可以使用return@run之类的语法。

匿名函数虽然没有函数名，然而我们可以定义一个具名标签来代表这个函数，于是可以使用return@outer 2将2返回给i。

也许有人会有疑问，为什么不直接使用return 2呢，原因是return 将会从fun_run函数返回，而不是从匿名函数返回。

关于return和函数嵌套定义的问题下面还会说。

这段代码的运行结果如下：

接下来说一说forEach函数，与其他语言中不同，在Kotlin中forEach并不是一种语法，而是一类函数，forEach是iterator的函数，任何实现了iterator的类都可以使用forEach。forEach函数的参数也是一个函数，其参数是一个模板函数，可以是具名函数，匿名函数，lambda。forEach会对iterator迭代的每一个元素都调用一次传入的函数。

之所以讲到forEach，是为了熟悉标签的用法和return的用法。

如下：

别忘了infix function call。

运行结果如下：

接下来说一说function type，讨论一下函数。

对程序员来说，函数是很熟悉的，然而我们对函数就真的那么熟悉么？

函数也可以是类型，可以是变量，甚至常量。

如下：

在这段代码中我们定义了几个函数类型的变量和常量，并且在之间进行赋值等操作，其实和C++中的函数指针很相似，但是也有独特的地方。比如嵌套函数定义，函数标签的引用以及带标签的返回值等等。我们也看到了在一个匿名函数（end1代表的那个）中如何使用lambda表达式定义函数的参数列表和自动判断的返回类型。

这段代码运行结果如下：

刚才我们提到了函数嵌套定义，这是一个需要小心的地方。

看如下的代码：

从Java/C++一系出身的程序员（比如我：））很容易把这里的嵌套函数定义看成是匿名代码块的嵌套，以为程序会从外往内执行。从Pascal/PL一系出身的程序员就不会有这种问题，千万记住，函数虽然可以嵌套定义，但是如果没有调用是不会从外向内执行的。

所以输出很简单：

我们也看到了return的用法，这里的f1,f2,f3虽然是内部定义的函数，但是依然可以作为标签使用。

可见Kotlin是一种集大成的语言，甚至借鉴了古老的unix脚本和Pascal的语法，借鉴了很多语言的特性，再加上强大的编译器（Kotlin编译器会帮你做很多东西，远比其他语言做的多得多），使Kotlin的代码非常简洁优雅而且编程相当灵活高效。

在Kotlin中，太多的功能都是通过使用函数作为参数来实现，有的已经不能叫做语法，然而函数嵌套，infix function call，lambda，函数参数，可变参数列表，灵活的标签，强大的return，自动类型判断，Range,iterator，操作符重载，省略，模板...这些太多的功能，导致Kotlin的语法眼花缭乱，虽然有时看起来很优雅，但是也可能给人阅读代码带来巨大的困难。

最后以一段没什么卵用的代码结束本篇。