五，函数

函数定义：

         定义函数时，除了递归函数之外，你可以省略返回值类型声明，scala会根据=号后边的表达式的类型推断返回值类型，同时=号后边表达式的值就是函数的返回值，你无需使用return语句（scala推荐你使用表达式值代替return返回值，当然根据你的需要，也可以显式使用return返回值）。示例如下：

                   def abs(x: Double) = if(x >= 0) x else -x

                   def fac(n: Int) = {

                            var r = 1

                            for(i <- 1 to n)r = r * i

                            r

                   }

对于递归函数必须指定返回值类型，如下：

                   def fac(n: Int) : Int = if(n <= 0 ) 1else  n * fac(n-1)

但你要知道的是：声明函数返回类型，总是有好处的，它可以使你的函数接口清晰。因此建议不要省略函数返回类型声明。

         函数体定义时有“=”时，如果函数仅计算单个结果表达式，则可以省略花括号。如果表达式很短，甚至可以把它放在def的同一行里。

         去掉了函数体定义时的“=”的函数一般称之为“过程”，过程函数的结果类型一定是Unit。因此，有时定义函数时忘记加等号，结果常常是出乎你的意料的。

         没有返回值的函数的默认返回值是Unit。

 

函数调用：

scala中，方法调用的空括号可以省略。惯例是如果方法带有副作用就加上括号，如果没有副作用就去掉括号。如果在函数定义时，省略了空括号，那么在调用时，就不能加空括号。另外，函数作为操作符使用时的调用形式参见相应部分。

 

函数参数：

一般情况下，scala编译器是无法推断函数的参数类型的，因此你需要在参数列表中声明参数的类型。对于函数字面量来说，根据其使用环境的不同，scala有时可以推断出其参数类型。

         scala里函数参数的一个重要特征是它们都是val（这是无需声明的，在参数列表里你不能显式地声明参数变量为val），不是var，所以你不能在函数里面给参数变量重新赋值，这将遭到编译器的强烈反对。

 

重复参数：

         在scala中，你可以指明函数的最后一个参数是重复的，从而允许客户向函数传入可变长度参数列表。要想标注一个重复参数，可在参数的类型之后放一个星号“*”。例如：

                   def echo(args: String*) = for(arg <-args) println(arg)

这样的话，echo就可以被零至多个String参数调用。在函数内部，重复参数的类型是声明参数类型的数组。因此，echo函数里被声明为类型“String*”的args的类型实际上是Array[String]。然而，如果你有一个合适类型的数组，并尝试把它当作重复参数传入，会出现编译错误。要实现这个做法，你需要在数组名后添加一个冒号和一个_*符号，以告诉编译器把数组中的每个元素当作参数，而不是将整个数组当作单一的参数传递给echo函数，如下：

                   echo(arr: _*)

 

默认参数与命名参数：

         函数的默认参数与java以及c++中相似，都是从左向右结合。另外，你也可以在调用时指定参数名。示例如下：

                   def fun(str: String, left: String = “[”,right: String = “]”) = left + str + right

                   fun(“hello”)

                   fun(“hello”, “<<<”)

                   fun(“hello”, left =“<<<”)

 

函数与操作符：

从技术层面上来说，scala没有操作符重载，因为它根本没有传统意义上的操作符。诸如“+”、“-”、“*”、“/”这样的操作符，其实调用的是方法。方法被当作操作符使用时，根据使用方式的不同，可以分为：中缀标注（操作符）、前缀标注、后缀标注。

中缀标注：中缀操作符左右分别有一个操作数。方法若只有一个参数（实际上是两个参数，因为有一个隐式的this），调用的时候就可以省略点及括号。实际上，如果方法有多个显式参数，也可以这样做，只不过你需要把参数用小括号全部括起来。如果方法被当作中缀操作符来使用（也即省略了点及括号），那么左操作数是方法的调用者，除非方法名以冒号“:”结尾（此时，方法被右操作数调用）。另外，scala的中缀标注不仅可以在操作符中存在，也可以在模式匹配、类型声明中存在，参见相应部分。

前缀标注：前缀操作符只有右边一个操作数。但是对应的方法名应该在操作符字符上加上前缀“unary_”。标识符中能作为前缀操作符用的只有+、-、!和~。

后缀标注：后缀操作符只有左边一个操作数。任何不带显式参数的方法都可以作为后缀操作符。

 

 

在scala中，函数的定义方式除了作为对象成员函数的方法之外，还有内嵌在函数中的函数，函数字面量和函数值。

 

嵌套定义的函数：

嵌套定义的函数也叫本地函数，本地函数仅在包含它的代码块中可见。

 

函数字面量：

在scala中，你不仅可以定义和调用函数，还可以把它们写成匿名的字面量，也即函数字面量，并把它们作为值传递。函数字面量被编译进类，并在运行期间实例化为函数值（任何函数值都是某个扩展了scala包的若干FunctionN特质之一的类的实例，如Function0是没有参数的函数，Function1是有一个参数的函数等等。每一个FunctionN特质有一个apply方法用来调用函数）。因此函数字面量和值的区别在于函数字面量存在于源代码中，而函数值作为对象存在于运行期。这个区别很像类（源代码）和对象（运行期）之间的关系。

以下是对给定数执行加一操作的函数字面量：

                  (x: Int) => x + 1

         其中，=>指出这个函数把左边的东西转变为右边的东西。在=>右边，你也可以使用{}来包含代码块。

         函数值是对象，因此你可以将其存入变量中，这些变量也是函数，你可以使用通常的括号函数调用写法调用它们。如：

                   val fun = (x: Int) => x + 1

                   val a = fun(5)

         有时，scala编译器可以推断出函数字面量的参数类型，因此你可以省略参数类型，然后你也可以省略参数外边的括号。如：

                   (x) => x + 1

                   x => x + 1

         如果想让函数字面量更简洁，可以把通配符“_”当作单个参数的占位符。如果遇见编译器无法识别参数类型时，在“_”之后加上参数类型声明即可。如：

                   List(1,2,3,4,5).filter(_ > 3)

                   val fun = (_: Int) + (_: Int)

 

部分应用函数：

         你还可以使用单个“_”替换整个参数列表。例如可以写成：

List(1,2,3,4,5).foreach(println(_))

或者更好的方法是你还可以写成：

List(1,2,3,4,5).foreach(println _)

           。部分应用函数是一种表达式，你不需要提供函数需要的所有参数，代之以仅提供部分，或不提供所需参数。如下先定义一个函数，然后创建一个部分应用函数，并保存于变量，然后该变量就可以作为函数使用：

                   defsum(a: Int, b: Int, c: Int) = a + b + c

                   vala = sum _

                   println(a(1,2,3))

         实际发生的事情是这样的：名为a的变量指向一个函数值对象，这个函数值是由scala编译器依照部分应用函数表达式sum _，自动产生的类的一个实例。编译器产生的类有一个apply方法带有3个参数（之所以带3个参数是因为sum _表达式缺少的参数数量为3），然后scala编译器把表达式a(1,2,3)翻译成对函数值的apply方法的调用。你可以使用这种方式把成员函数和本地函数转换为函数值，进而在函数中使用它们。不过，你还可以通过提供某些但不是全部需要的参数表达一个部分应用函数。如下，此变量在使用的时候，可以仅提供一个参数：

                   val b = sum(1, _: Int, 3)

         如果你正在写一个省略所有参数的部分应用函数表达式，如println _或sum _，而且在代码的那个地方正需要一个函数，你就可以省略掉下划线（不是需要函数的地方，你这样写，编译器可能会把它当作一个函数调用，因为在scala中，调用无副作用的函数时，默认不加括号）。如下代码就是：

                   List(1,2,3,4,5).foreach(println)