Scala学习笔记（二）表达式和函数

笔记的整理主要针对Scala对比Java的新特性；

 

1、if表达式

if表达式是有结果返回的。

val a= if (5>2) “你好” else 1

a的值为if表达式返回值为 “你好”

 

2、while表达式

while表达式是没有返回值的（返回值为 Unit）,在scala中避免使用，通常都需要与var结合使用

 

3、for表达式

枚举集合遍历

val a = Array(1,2,3,4,5,6)

for (i <- a) println(i)

以上for表达式遍历的语法成为发生器,不仅仅只是适合Array也适合其它集合类；

for表达式中 to 与 until的区别：to包含上限，until不包含上限；

遍历过滤

for (i <- a if i>3) println(i)

if i>3称为发生器i <- a 的守卫，主要用于对发生器产生的数据进行过滤；

嵌套枚举

for (i <- 0 to 5 if i>1 ;j <- 5 to 10 if j<9 ) println("i:"+i+",j:"+j)

这里有两个发生器，每个发生器都带有一个守卫。

执行的顺序为：先对将 i 赋值为一个合法的值（即满足区间在0~5之间且i大于1）,然后依次完成对 j 合法值（即满足区间在5~10之间且 j小于9）的所有遍历,然后对 i 进行下一个合法值的遍历赋值，再重复对 j合法值的所有遍历，后面的过程以此类推；

产生新集合结果

val a = for (i <- 0 to 10 if i>5) yield i

for-yield语法：for (表达式) yield{循环体}

 

4、本地函数

特点：在方法中定义的方法，且本地方法仅在包含它代码块中可见（类似局部变量）；

 

5、头等函数

把函数当值传递（如同变量），函数字变量被编译进类，并在运行期实例化为函数值。因此函数自变量与值的区别在于函数自变量存在于源码，而函数值做为对象存在于运行期（类似类与对象之间的关系）；

函数自变量的构成包含括号、参数列别、右箭头和函数体。如：（x:Int) => x+1 ; 右箭头左边为括号很参数，右边为函数体

 

当编译器能推断出参数类型时，参数类型可以省略：

var v = Array(1,2,3,4,5)

v.foreach(x => println(x+1))

 

6、占位符

把下画线当做一个或更多参数的占位符，只要每个参数在函数字面量内仅出现一次。

例如：

scala> v.filter(_ > 0)
res0: Array[Int] = Array(1, 3, 7)

 

7、部分应用函数

用单个下划线替换整个参数列表；

例如：

scala> def add (a:Int,b:Int) = a+b
add: (a: Int, b: Int)Int

scala> val sum = add _
sum: (Int, Int) => Int = <function2>

scala> sum(1,2)
res1: Int = 3

sum变量指向一个函数值对象，该函数值依照部分应用函数表达式add _,自动产生的类的一个实例，编译器产生的类有一个apply方法带两个参数，参数的个数有add _表达式缺少的参数数量确定；

另一种表现形式（转换函数值）：

scala> def add(a:Int,b:Int) = a+b
add: (a: Int, b: Int)Int

scala> val sum = add(2,_:Int)
sum: Int => Int = <function1>

scala> sum(2)
res2: Int = 4

注意：一个省略所有参数的偏程序表达式(如:add _),且在代码的某个地方正需要一个函数，可以去掉下划线使表达式更简洁。如：scala> v.foreach(println)

 

8、可变参数

允许客户向函数传入可变长度参数列表，若想要标注一个重复参数，可在参数的类型之后放一个星号。

例1：

scala> def echo (args:String*)=
     | for (arg <- args)println(arg)
echo: (args: String*)Unit

scala> echo()

scala> echo("hello","world")
hello
world

例2：

scala> var arr = Array("hello","world","chenx")
arr: Array[String] = Array(hello, world, chenx)

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

scala> echo(arr:_*)

重复参数的类型是声明参数类型的数组，当参数类型为一个合适类型的数组时，需要在数组参数后添加一个冒号和一个_*符号。

 

9、尾递归

方法的最后一个动作是调用自己的函数称为尾递归。Scala对尾递归的情况进行了优化，比基于循环的实现更优美很简明，因为无需付出任何运行期开销，且递归必须是直接的。

注：-g:notailcalls 参数传递给scala shell 或者scalac编译器，可用来跟踪堆栈信息。

 

10、柯里化

对柯里化的理解可以为根据方法参数的个数，对方法进行拆解，如：def f(a:Int,b:Int)=a+b 转换为 def f(a:Int)(b:Int)=a+b

例1：

scala> def f(a:Int)(b:Int)=a+b
f: (a: Int)(b: Int)Int

scala> val t = f(1)_
t: Int => Int = <function1>

scala> t(2)
res0: Int = 3

例2：

scala> def f(a:Int)=(b:Int)=>a+b
f: (a: Int)Int => Int

scala> val t=f(1)
t: Int => Int = <function1>

scala> t(2)
res1: Int = 3

对比两个例子有一定的不同，例1使用占位符号获取f的第二函数，由f(1)_返回，例2运用的是方法f返回一个函数值并进行的下一步调用；

 

11、控制抽象

在传入一个参数时，用花括号替代小括号的机制。当参数为函数字面量时让方法的调用更像控制抽象；

例：

scala> def f(msg:String)(op:String => Unit){
     | op(msg)}
f: (msg: String)(op: String => Unit)Unit

scala> f("123456"){println(_)}
123456

该例中是将def f(msg:String,op:String => Unit)柯里化为def f(msg:String)(op:String => Unit)，使其在调用函数字面量时能使用花括号，最后的println(_)也可以替换为 t => println(t),其中t为参数可任意命名；

12、传名参数应用

作用：在匿名函数基础上为函数命名；

例:

scala> def f(op:() => Boolean){
     | if (op())
     | println("OK")
     | else
     | println("ERROR")
     | }
f: (op: () => Boolean)Unit

scala> f(() => 5>3)
OK

• def f(op:() => Boolean)可转换为def f(op: => Boolean)并在在调用时可简化为f(5>3)即可；
• def f(op:() => Boolean)与def f(op:Boolean)的区别,op:() => Boolean表示一个函数字面量，而op:Boolean表示参数Boolean两者有本质上的区别；