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的语法眼花缭乱，虽然有时看起来很优雅，但是也可能给人阅读代码带来巨大的困难。
最后以一段没什么卵用的代码结束本篇。
