函数在Scala语言中有着举足轻重的地位,它和类,变量同样属于一等公民的地位,函数可以脱离类而独立存在,同时自己也可以作为参数传递给其他函数。
匿名函数
scala> val sayHello = (name: String) => println("my name is:" + name)
sayHello: String => Unit = <function1>
scala> sayHello("cyony")
my name is:cyony
sayHello变量就是一个函数,它没有自己的函数名,只定义了函数签名,以及函数体,返回类型为Unit,可以看到编译器自动为这个匿名函数取名为function1。在实际调用时,直接调用这个函数变量,传入一个String类型的值,即可。
无返回高阶函数
scala> val sayHello = (name: String) => println("my name is:" + name)
sayHello: String => Unit = <function1>
scala> sayHello("cyony")
my name is:cyony
scala> def introduce(fun: (String) => Unit, name: String, age: Int): Unit = {
| println("my age is:"+age)
| fun(name)
| }
introduce: (fun: String => Unit, name: String, age: Int)Unit
scala> introduce(sayHello,"cyony",25)
my age is:25
my name is:cyony
上面一步定义了匿名函数,且赋值给了sayHello变量。然后定义了一个introduce函数,他的签名为,第一参数为一个方法,此fun的签名为一个String变量,返回类型是Unit;第二个参数是一个String类型的变量;第三个参数是Int类型的变量。因为fun变量自己就是一个函数,且又传给了introduce函数,所以称fun为他的高阶函数。在调用的时候,为fun传入sayHello变量,最终打印结果如上所示。
有返回高阶函数
scala> def introduce(age: Int) = (name: String) => println("my name is:" + name + ",my age is:" + age)
introduce: (age: Int)String => Unit
scala> val introduceFun = introduce(25)
introduceFun: String => Unit = <function1>
scala> introduceFun("cyony")
my name is:cyony,my age is:25
这个例子和上面的相比,有点不同,introduce函数本身返回的也是一个函数,可以看到repl的提示,返回一个签名为String,返回为Unit的匿名函数,函数主体则是打印那句话。在调用的时候,首先得到这个匿名函数,然后再调用这个匿名函数。这个匿名函数同样是introduce的高阶函数。
Currying函数
scala> def introduce(age: Int)(name: String) = println("my name is:" + name + ",my age is:" + age)
introduce: (age: Int)(name: String)Unit
scala> introduce(25)("cyony")
my name is:cyony,my age is:25
函数的currying化行为本质上也是一个高阶函数:接受现有的函数,返回新函数。 这个例子就是对上一个例子的currying化操作。传入第一个参数后返回一个函数,然后再传入第二个参数,完成第二个函数。这样就讲一个高阶函数拆解成两个一阶函数。
高阶函数类型推断
scala> def triple(fun: (Int) => Int, num: Int) = {
| fun(num)
| }
triple: (fun: Int => Int, num: Int)Int
scala> triple(_*3,5)
res12: Int = 15
如上所示,定义了一个triple函数,他的签名是一个高阶函数和一个整形。在这个函数实际使用的时候,用了占位符来替换传入参数,因为传入的参数肯定是Int类型,且在此主体中只使用了一次,所以可以直接用占位符表示,省去了函数签名以及返回,直接定义主体,使得语法非常精简。