Scala学习札记之Scala函数及函数式编程
Scala函数及函数式编程
函数声明
函数相当于Java中的静态方法:除了递归之外不需要声明返回类型
as：def as（x:Double）={if(x>=0) x else -x}
as2:def fac(n:Int):Int={if(n<=0) 1 else fac(n-1)}
as3:def fvb(){
注意：一，函数声明中并没有声明变量是否可变。
二.不写没有返回值的方法必须用大括号括起来
简写
1.除了递归函数以外，函数的返回类型都不用写
2.当函数仅仅只有一条语句时不用加大括号
函数返回值
在scala中，语句块的最后一个值就是这个语句块的值，因此函数并不使用return来返回值，而是简单的把结果放到最后一条语句
函数使用简写
1.如果一个方法仅仅有一个参数，那么就可以不用点号和括号来引用，使用空格分割即可，注意这种方法仅仅适用于对象，并不能在函数中使用
2.函数
apply和update
apply:可以为一个类的伴生对象定义一个apply方法，相当于一个静态构造方法，定义在类的伴生对象中。可以然我们不加new来产生对象
var c = new Array[Int](10)
也可以给类定义一个对象方法
var string = c(1)//可以看到把圆括号翻译成apply方法
update:可以为一个类定义一个update方法：f(arg1,arg2) = value,相当于f.update(arg1,arg2,value)
as:var score = Map()
score("Bob")=12
通用函数
map
map接受一个处理单个元素的函数，map把这个函数运用在列表的每个元素上放回一个一样长的列表
filter
filter接受一个返回boolean的的值，filter会取出得到true的元素，返回过滤过的列表
foreach
类似于map
mkString
相当于toString，但是需要一个分隔符
zip
zip把两个列表的元素依次结合得到一个元祖集合
reduce
reduceLeft接受一个接受两个参数的函数，reduceLeft会依次把前一次得到的结果和下一个列表元素传递给函数，最后得到一个单个元素
fold
foldLeft和foldRight接受一个需要两个参数的函数，并且依层调用如(1::2::3).foldLeft(1)(_*_)=6
以层次话的方式求值
一等公民
匿名函数
increase = (x: Int) => {
println("We")
println("are")
println("here!")
x + 1
}
increase = (x: Int) => x + 9999
简写
注意简写只能用在向其他函数传递匿名函数时，由于简写利用的是自动推测，因此在其他情况下，编译器没有足够的信息来推测。
1.去掉类型声明
(x,y)=>x+y
2.单只有一个参数时可以去掉圆括号
x=>x+100
3.如果参数在表达式中仅仅出现一次，可以用下划线来表示，这时候就没必要再前面写明参数列表，因为编译器会把参数一次填入下划线的位置，注意有几个下划线就有几个参数
list.reduce(_+_)
list.forEach(print _)
事实上参数推测的能力更大
def filesMatching(query: String,matcher: (String, String) => Boolean) = {
for (file <filesHere;
if matcher(file.getName, query))
yield file
}
filesMatching(query, _.endsWith(_))
filesMatching(query, _.contains(_))
filesMatching(query, _.matches(_))
函数传递
someNumbers.foreach((x: Int) => println(x))
赋值
val a = sum _
increase = (x: Int) => x + 9999
偏函数
val b = sum(1, _: Int, 3)
b(2)
对于类的偏函数
val c = new Rational(1,_:Int)
val vb = c(2)
vb.toString
闭包
1.闭包会在每次外层函数调用的时候重新产生，就好像他们分别有两份一样，事实上可以在每次调用时把闭包函数所使用的变量绑定得到一个函数。
2.闭包语法：scala中不允许返回函数名，但是可以返回偏函数.
def makeIncreaser(more: Int) ={
def other(x:Int)=x+more
val addMore = other _
addMore
}
或者返回匿名函数
def makeIncreaser(more: Int) ={
val addMore = (x:Int)=>{x+more}
addMore
}
可变参数
注意scala只允许最后一个参数可变
def echo(args: String*) =for (arg <args) println(arg)
事实上args是一个Array，但是用这样的语法使得调用时，可以用多个参数调用
echo("hello", "world!")
但是不可以直接传递一个Array
尾递归
尾递归是指一个递归的递归语句出现在最后一个地方，注意不能有其他的语句，如下不可以
def boom(x: Int): Int =
if (x == 0) throw new Exception("boom!")
else boom(x-1)+ 1//最后的语句是一个加法
原理
尾递归在最后递归的地方并没有创建一个新的栈，而是跳转到函数的开头因此可以大幅度的减小递归调用的开销
高阶函数
可以接受函数的函数叫做高阶函数
声明
def filesMatching(query: String,matcher: (String, String) => Boolean) = {
for (file <- filesHere;if matcher(file.getName, query)) yield file
}
柯里化
把原来需要接受两个参数的函数变成两个接受一个参数的函数，新的函数接受一个参数并返回一个接受一个参数的函数
def mul(x:Inr,y:Int)={x*y}
def mul(x:Int)=(y:Int)=>x*y
(仅仅scala支持的简写)def mul(x:Int)(y:Int)={x*y}
实现控制结构
1.在只有一个参数的函数中可以用大括号代替圆括号，因此函数更像控制结构
2.控制结构简化后如下if(experssion*){experssion*},可以看做吧一个用两个参数的函数柯里化后的结果
def withPrintWriter(file: File)(op: PrintWriter => Unit) {
val writer = new PrintWriter(file)
try {
op(writer)
} finally {
writer.close()
}
}
val file = new File("date.txt")
withPrintWriter(file) {
writer => writer.println(new java.util.Date)
}
3.由于这种使用非常不方便，每次使用控制结构时都需要传递一个匿名函数，而且定义非常奇怪。因此scala引入了换名参数，在传统的控制结构中，后面的一部分可以看做一个无参有一个返回值的函数。声明如下:op:()=>Boolean,那么使用时就必须为()=>experssion。而换名参数把声明时的()换成了空格:op: =>Boolean，那么使用时就可以仅仅写expersion，这样就更加像传统的控制结构。同时，更重要的是，如果声明成函数。那么，由于声明和使用的地方不一致，也就不能在调用时使用本地变量。而换名参数正好克服了这种情况，因为他相当于在使用的地方声明，也就可以使用本地变量
换名参数
loan pattern
在这种情况下，使用资源的函数不能控制资源，他只是声明需要一个资源，然后在产生资源的地方把资源借给他，使用之后，由残生资源的一方负责释放资源。因此资源从来没有赤裸裸地出现在程序中，保证了资源一定会得到释放。
def withPrintWriter(file: File, op: PrintWriter => Unit) {
val writer = new PrintWriter(file)
try {
op(writer)
} finally {
writer.close()
}
}
这儿的withPrintWrite把file资源借给op函数，op函数仅仅使用，没有管理资源的权限。
模式匹配和样例类
样例类
在类声明前面加上case关键字的叫做样例类
特性
1.每一个样例类都会有一个默认的apply方法
2.样例类中主构造器中的属性都会产生字段。
3.样例类添加了toString，hashcode和equal方法
4.样例类还实现了一个copy方法，用于产生一个新对象
val other = op.copy(operator="-",left=v,rigth=v)
模式匹配
def simplifyTop(expr: Expr): Expr =
expr match {
case UnOp("",UnOp("",e)) => e // Double negation
case BinOp("+", e, Number(0)) => e // Adding zero
case BinOp("*", e, Number(1)) => e // Multiplying by one
case _ => expr
}
1.在这儿不仅仅有匹配还有变量的赋值，e就会在模式匹配的时候来得到变量的值
2.匹配还允许进行嵌套。
3._是通用匹配
能力
常量匹配
def describe(x: Any) =
x match {
case 5 => "five"
case true => "truth"
case "hello" => "hi!"
case Nil => "the empty list"
case _ => "something else"
}
变量匹配
expr match {
case 0 => "zero"
case somethingElse => "not zero: "+ somethingElse
}
注意：
1.scala仅允许每个变量在匹配中被赋值一次
构造器匹配
expr match {
case BinOp("+", e, Number(0)) => println("a deep match")
case _ =>
}
这儿的类必须是样例类。
集合匹配
数组匹配
arr match{
case Array(0) => "0"
case Array(x,y) => x+" "+y
case Array(0,_*) => "0..."
case _ => something else
}
列表匹配
lst match {
case 0 :: Nil => "0"
case x::y::Nil => x+" "+y
case 0::tail => "0..."
case _ => "something "
}
元组匹配
pair match{
case (0,_) => "0 ..."
case (y,0) => y + "0"
case _ => "neither is 0"
}
类型匹配
def generalSize(x: Any) = x match {
case s: String => s.length
case m: Map[_, _] => m.size
case _ => 1
}
注意：
1.使用类型匹配可以同时实现类型检测和类型转化，因此在scala中要使用模式匹配来
2.由于java的类型擦除，故不能精确匹配泛型的类型
模式守卫
// match only positive integers
case n: Int if 0 < n => ...
// match only strings starting with the letter ‘a’
case s: String if s(0) == 'a' => ...
密封类
sealed abstract class Expr
case class Var(name: String) extends Expr
case class Number(num: Double) extends Expr
case class UnOp(operator: String, arg: Expr) extends Expr
case class BinOp(operator: String,left: Expr, right: Expr) extends Expr
密封类仅允许同文件的类检测它，因此不用担心在模式匹配的时候出现未匹配的问题
Option类
其他用处
变量定义
val exp = new BinOp("*", Number(5), Number(1))
val BinOp(op, left, right) = exp
注意这儿的类必须是样例类