Scala学习笔记：重要语法特性

1.变量声明

Scala 有两种变量， val 和 var  val的值声明后不可变，var可变

val msg: String = "Hello yet again, world!"

或者类型推断

val msg = "Hello, world!"

2.函数定义

若是函数仅由一个句子组成，你能够可选地不写大括号。

def max2(x: Int, y: Int) = if (x > y) x else y

3.for循环

打印每个命令行参数的方法是：

args.foreach(arg => println(arg))   

若是函数文本由带一个参数的一句话组成，

args.foreach(println)

Scala 里只有一个指令式 for的函数式近似。

for (arg <- args)
   println(arg)

<- 的左边是变量，右边是数组。

再好比带类型的参数化数组

val greetStrings = new Array[String](3)
  greetStrings(0) = "Hello"
  greetStrings(1) = ", "
  greetStrings(2) = "world!\n"
  for (i <- 0 to 2)
    print(greetStrings(i))

    注意这里的数组定义，只要new的时候带类型Array[String]就好了，val后面自动推断类型。
注意这里的数组索引用的是()而不是java里面的[]。
由于scala里面根本没有传统意义上的操做符，取而代之的是他们均可以转换为方法。例如greetStrings(i)能够转换成 greetStrings.apply(i)，
greetStrings(0) = "Hello"  将被转化为 greetStrings.update(0, "Hello")

尽管实例化以后你没法改变 Array 的长度，它的元素值倒是可变的。所以，Array 是可变的对象。

4.List对象

建立一个 List 很简单。 List里面元素不可变。

val oneTwoThree = List(1, 2, 3)

List有个叫“ :::”的方法实现叠加功能。

val oneTwo = List(1, 2)
val threeFour = List(3, 4)
val oneTwoThreeFour = oneTwo ::: threeFour             

//结果是List(1, 2, 3, 4)

Cons 把一个新元素组合到已有 List的最前端，而后返回结果 List。 例如，若执行这个脚本：

val twoThree = list(2, 3)
val oneTwoThree = 1 :: twoThree
println(oneTwoThree)
//你会看到： List(1, 2, 3)

一个简单的需记住的规则：若是一个方法被用做操做符标注，如 a* b，那么方法被左操做数调用，就像 a.*(b)——除非方法名以冒号结尾。这种状况下，方法被右操做数调用。所以， 1 :: twoThree 里， ::方法被 twoThree 调用，传入 1，像这样： twoThree.::(1)。
类 List 没有提供 append 操做，由于随着列表变长 append 的耗时将呈线性增加，而使用::作前缀则仅花费常量时间。若是你想经过添加元素来构造列表，你的选择是把它们前缀进去，当你完成以后再调用 reverse；

5.元组

与列表同样，元组也是不可变的，但与列表不一样，元组能够包含不一样类型的元素。

val pair = (99, "Luftballons", 55)
    println(pair._1)
    println(pair._2)
    println(pair._3)

注意这里第一个元素是从_1开始而不像List那样从0开始。

6.Set和Map

var jetSet = Set("Boeing", "Airbus")
jetSet += "Lear"              

默认set或者HashSet可变。即jetSet = jetSet + "Lear"

若是要用不可变的set或者HashSet，要import

import scala.collection.immutable.HashSet
val hashSet = HashSet("Tomatoes", "Chilies")
println(hashSet + "Coriander")             

//这里就不能再赋值给hashSet了

7.访问级别

Public 是 Scala 的缺省访问级别。C++中struct默认是public，class默认是private。java类中的变量默认是default类型，只容许在同一个包内访问，通常用的时候跟private差很少。因此java用的时候要想用public必需要指出。

class ChecksumAccumulator {
private var sum = 0
...

}

8.静态对象：object

Scala 比 Java 更面向对象的一个方面是 Scala 没有静态成员。替代品是， Scala 有单例对象： singleton object。除了用 object 关键字替换了 class 关键字之外，单例对象的定义看上去就像是类定义。

import scala.collection.mutable.Map
object ChecksumAccumulator {
private val cache = Map[String, Int]()
def calculate(s: String): Int =
if (cache.contains(s))
cache(s)
else {
.....
}

能够以下方式调用 ChecksumAccumulator单例对象的calculate方法：

ChecksumAccumulator.calculate("Every value is an object.")

也不用在实例化了。
类和单例对象间的一个差异是，单例对象不带参数，而类能够。由于你不能用new关键字实例化一个单例对象， 你没机会传递给它参数。

9.伴生对象

当单例对象与某个类共享同一个名称时，他被称做是这个类的伴生对象： companion object。你必须在同一个源文件里定义类和它的伴生对象。类被称为是这个单例对象的伴生类： companion class。类和它的伴生对象能够互相访问其私有成员。
不与伴生类共享名称的单例对象被称为孤立对象： standalone object。 因为不少种缘由你会用到它

10.Main函数

要执行Scala程序，你必定要提供一个有main方法（仅带一个参数， Array[String]，且结果类型为 Unit的孤立单例对象名。好比下面这个例子；

import ChecksumAccumulator.calculate 
object Summer {
     def main(args: Array[String]) {     //对比java里面的public static void

    main(String[] args){}
         for (arg <- args)
         println(arg + ": " + calculate(arg))
     }
}

11.另外一种Main函数

Application 特质：在单例对象名后面写上“ extends Application” 。而后取代main 方法.

import ChecksumAccumulator.calculate
object FallWinterSpringSummer extends Application {
   for (season <- List("fall", "winter", "spring"))
   println(season +": "+ calculate(season))
}

效果和main函数同样。不过它也有些缺点。首先， 若是想访问命令行参数的话就不能用它，由于args数组不可访问。第二，若是你的程序是多线程的就须要显式的 main 方法。最后，某些JVM的实现没有优化被 Application 特质执行的对象的初始化代码。所以只有当你的程序相对简单和单线程状况下你才能够继承 Application 特质。

12.带参数类声明

Java 类具备能够带参数的构造器，而 Scala 类能够直接带参数。 Scala 的写法更简洁——类参数能够直接在类的主体中使用；不必定义字段而后写赋值函数把构造器的参数复制到字段里。(不须要构造函数)
例如如下分数构造器：

class Rational(n: Int, d: Int) {
   require(d != 0) 
   override def toString = n +"/"+ d

  val numer: Int = n
   val denom: Int = d
  
   def add(that: Rational): Rational =      
   new Rational(
   numer * that.denom + that.numer * denom,
   denom * that.denom
}

require方法带一个布尔型参数。若是传入的值为真，require将正常返回。反之，require将经过抛出IllegalArgumentException来阻止对象被构造。 这里使用了重载。重载了类自带的toString函数。 这里that也就是随便起了个名字的变量，不是关键字。this是关键字。好比下面这个函数：

def lessThan(that: Rational) =
this.numer * that.denom < that.numer * this.denom

这里的this能够省略。但下面这个就不能省略了：

def max(that: Rational) =
  if (this.lessThan(that)) that else this

13.if返回值

Scala 的 if 能够产生值（是能返回值的表达式）。因而 Scala 持续了这种趋势让 for， try 和 match 也产生值。while不产生值，因此用得少。若是实在想用while，在纯函数式编程的时候能够考虑递归。
指令式风格：

var filename = "default.txt"
if (!args.isEmpty)
filename = args(0)

函数式风格：

val filename =
if (!args.isEmpty) args(0)
else "default.txt"

使用 val 而不是 var 的第二点好处是他能更好地支持等效推论。不管什么时候均可以用表达式替代变量名。
如要替代 println(filename)，你能够这么写：

println(if (!args.isEmpty) args(0) else "default.txt")

14.break 和 continue

scala里面也没有break以及continue。若是想要用到他们的功能，可使用增长布尔变量控制到循环语句判断中，相似：

var foundIt = false  while (i < args.length && !foundIt) { }

15.for过滤器

在for里面还支持过滤器：

val filesHere = (new java.io.File(".")).listFiles    //路径名的目录中的文件的数组。
for (file <- filesHere if file.getName.endsWith(".scala"))
println(file)

甚至多个过滤器：

for (
  file <- filesHere
  if file.isFile;
  if file.getName.endsWith(".scala")
) println(file)

16.for循环生成新集合

for {子句} yield {循环体} 制造新集合
例如:

def scalaFiles =
for {
file <- filesHere
if file.getName.endsWith(".scala")
} yield file

这样每一步就不是打印一个file，而是将file存储起来，最终产生一个Array[File]

17.try catch  finally

try {
     val f = new FileReader("input.txt")
     openFile(file)

} catch {
   case ex: FileNotFoundException =>  new FileReader("input.txt")
   //注意这里依然有返回值。使用=>符号
   case ex: IOException => // Handle other I/O error
}
finally {
   file.close() // 确保关闭文件。
}

这里catch {
   case ex: 。。。
   case ex: 。。。
}

对比java，catch是这样用的 
catch (Exception e) { 。。。。} 并且常常在catch里面throw。scala通常不使用throw。

还有，finally里最好只作一些关闭或打印之类的操做，不要有反作用的表达式，这样会有无谓的返值。

18.switch语句

match语句就像java里的switch语句。

val firstArg = if (args.length > 0) args(0) else ""
firstArg match {
case "salt" => println("pepper")
case "chips" => println("salsa")
case "eggs" => println("bacon")
case _ => println("huh?")
}

差异：
一、Java 的 case 语句里面的整数类型和枚举常量。而这里能够是任意类型，甚至正则匹配
二、在每一个可选项的最后并无 break。取而代之， break是隐含的。
三、match 表达式也能产生值：例如能够这样：

val friend =
firstArg match {
  case "salt" => "pepper"
  case "chips" => "salsa"
  case _ => "huh?"
}
println(friend)

19.函数嵌套定义

函数：函数式编程风格的一个重要设计原则：程序应该被解构成若干小的函数， 每一个完成一个定义良好的任务。在java中一般这样作：

def processFile(filename: String, width: Int) {
   ...
  for (line <- source.getLines)
   processLine(filename, width, line)
}
private def processLine(filename:String, width:Int, line:String) {
  ....
}

Scala 提供了另外一种方式：你能够把函数定义在另外一个函数中。就好象本地变量那样，这种本地函数仅在包含它的代码块中可见。

def processFile(filename: String, width: Int) {
def processLine(filename:String, width:Int, line:String) {
  ...
}
val source = Source.fromFile(filename)
for (line <- source.getLines) {
processLine(filename, width, line)
}
}

20.Lambda函数

Scala 拥有第一类函数： first-class function。你不只能够定义函数和调用它们，还能够把函数写
成没有名字的文本： (跟python里面的lambda函数差很少)

scala> var increase = (x: Int) => x + 1
scala> increase(10)
res0: Int = 11

若是你想在函数文本中包括超过一个语句，用大括号包住函数体，当函数值被调用时，全部的语句将被执行，而函数的返回值就是最后一行产生的那个表达式。

scala> increase = (x: Int) => {
  println("We")
  println("are")
  println("here!")
  x + 1
}

21.集合通配符：_

Scala 提供了许多方法去除冗余信息并把函数文本写得更简短。好比去除参数类型以及被推断的参数以外的括号：

scala> someNumbers.filter(x => x > 0)

若是想让函数文本更简洁，能够把下划线当作一个或更多参数的占位符，只要每一个参数在函数文
本内仅出现一次。 ：

scala> someNumbers.filter(_ > 0)

还可使用一个下划线替换整个参数列表。叫偏应用函数

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

通常调用能够这样：

scala> sum(1, 2, 3)

用偏函数取而代之：

scala> val a = sum _  //请记住要在函数名和下划线之间留一个空格
scala> a(1, 2, 3)

再好比

someNumbers.foreach(println _)

22.闭包

闭包：是指能够包含自由（未绑定到特定对象）变量的代码块
任何带有自由变量的函数文本，如(x: Int) => x + more，都是开放术语：因为函数值是关闭这个开放术语(x: Int) => x + more 的行动的最终产物， 获得的函数值将包含一个指向捕获的 more 变量的参考， 所以被称为闭包。

scala> var more = 1
scala> val addMore = (x: Int) => x + more
scala> addMore(10)
res19: Int = 11

每次函数被调用时都会建立一个新闭包。每一个闭包都会访问闭包建立时活跃的 more 变量。

23.重复参数

想要标注一个重复参数，在参数的类型以后放一个星号。例如：

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

这样定义， echo 能够被零个至多个 String 参数调用：

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

可是若是有一个数组变量
scala> val arr = Array("What's", "up", "doc?")，则不能像scala> echo(arr)这样调用。
你须要在数组参数后添加一个冒号和一个_*符号，像这样：

scala> echo(arr: _*)

24.curry化

Scala 容许你建立新的“感受像是原生语言支持”的控制抽象：scala提供curry 化：
Scala里的Curry化能够把函数从接收多个参数转换成多个参数列表。若是要用一样的一组实参屡次调用一个函数，能够用curry化来减小噪音，让代码更有味道。咱们要编写的方法不是接收一个参数列表，里面有多个参数，而是有多个参数列表，每一个里面能够有一个或多个参数。也就是说，写的不是def foo(a: Int, b: Int, c: Int){}，而是 def foo(a: Int)(b: Int)(c: Int){}。能够这样调用这个方法，好比：foo(1)(2)(3)、foo(1){2}{3}，甚至这样foo{1}{2}{3}。

例如，传统函数以下：

scala> def plainOldSum(x: Int, y: Int) = x + y

scala> plainOldSum(1, 2)     //res5: Int = 3

scala容许你使用curry化的新型函数：

scala> def curriedSum(x: Int)(y: Int) = x + y
scala> curriedSum(1)(2)             //res5: Int = 3

结果同样。

25.带函数参数的函数

高阶函数： higher-order function——带其它函数作参数的函数

def filesMatching(query: String,
  matcher: (String, String) => Boolean) = {
  for (file <- filesHere; if matcher(file.getName, query))
    yield file
}

这里matcher实际上是一个函数，这里作了filesMatching函数的参数。
(String, String) => Boolean)表示matcher函数的参数是(String, String)类型，而返回值是Boolean 类型
你能够经过让多个搜索方法调用它，并传入合适的函数：

def filesEnding(query: String) =
  filesMatching(query, _.endsWith(_))

这就至关于

def filesEnding(query: String) =
  for (file <- filesHere; if file.getName.endsWith(query))
   yield file

由于上面matcher: (String, String)里面两个参数， matcher(file.getName, query)
因此 _.endsWith(_)里面的第一个_对应于字符串file.getName，第二个_对应于字符串query，
连在一块儿就是file.getName.endsWith(query)

相似的

def filesContaining(query: String) =
  filesMatching(query, _.contains(_))

就至关于

def filesContaining(query: String) =
   for (file <- filesHere; if file.getName.contains(query))
    yield file

26.传名参数

Scala中容许无参数的函数做为另外一函数的参数传递进去,也就是传名参数(call-by-name)
定义一个函数 myAssert ，而其参数则为传名参数。在这里，咱们想要实现的是断言，能够将传名参数写成函数文本的格式：(…) => Type ，即参数列表 => 类型。

def myAssert(check: () => Boolean) =
       if(!check()){
              println("OK ...")
              throw new AssertionError
       }

上面的函数定义了一个当客户代码传入的函数值（这里咱们用（）指明，表明省略了该函数的参数列表。调用方式以下：

scala> myAssert(() => 5 < 3)

客户端代码中的 () => 5 < 3 彷佛有点繁琐，若是可以直接传入 5 < 3 之类的布尔表达式就更好了。这是能够实现的。只须要将函数定义 def 中空参数列表即小括号对（）去掉，直接用 => 而不是（）=> 就能够了。此外，if 判断中的 check 后面的（）也要同时去掉。修改后的代码以下：

def myAssert(check: => Boolean) =       if(!check){              println("OK ...")              throw new AssertionError       } myAssert(5 < 3)