Scala入门系列之十一--函数式编程基础

传送门
Scala入门系列之一--使用命令行往文件输入数据并读取数据
Scala入门系列之二--数组、元组、列表、集合数据类型简述
Scala入门系列之三--类和方法的创建以及命令行执行scala文件
Scala入门系列之四--类成员的可见性（private）以及用value和value_=进行读取和修改
Scala入门系列之五--主构造器和辅助构造器
Scala入门系列之六--伴生对象和伴生类
Scala入门系列之七--scala中的继承
Scala入门系列之八--scala中的特质(trait)，也称接口
Scala入门系列之九--模式匹配两大法宝（match语句和case类）
Scala入门系列之十--包
Scala入门系列之十一--函数式编程基础
Scala入门系列之十二--高阶函数
Scala入门系列之十三--针对容器的操作(遍历/映射/过滤/规约操作)
Scala入门系列之十四--使用IDEA编写Scala代码并Maven打包提交集群运行
传送门

一、函数定义与使用

1）定义函数最通用的方法是作为某个类或者对象的成员，这种函数被称为方法，其定义的基本语法为：

def 方法名(参数列表):结果类型={方法体}

image.png

1.1）知识点补充:

• 字面量包括整数字面量、浮点数字面量、布尔型字面量、字符字面量、字符串字面量、符号字面量、函数字面量和元组字面量
• 除了函数字面量我们会比较陌生以外，其他几种字面量都很容易理解

image.png

1.2）概念简述:

• 函数字面量可以体现函数式编程的核心理念
• 在函数式编程中，函数是“头等公民”，可以像任何其他数据类型一样被传递和操作，也就是说，函数的使用方式和其他数据类型的使用方式完全一致了
• 这时，我们就可以像定义变量那样去定义一个函数，由此导致的结果是，函数也会和其他变量一样，开始有“值”
• 就像变量的“类型”和“值”是分开的两个概念一样(如 var a = 1)，函数式编程中，函数的“类型”和“值”也成为两个分开的概念，函数的“值”，就是“函数字面量”

下面一点点引导大家更好地理解函数的“类型”和“值”的概念

• 现在定义一个大家比较熟悉的传统类型的函数，定义的语法和我们之前介绍过的定义“类中的方法”类似（实际上，定义函数最常用的方法是作为某个对象的成员，这种函数被称为方法）：

1）得到了函数的“类型”

def ounter(value:Int):Int = { value += 1 }
//上面定义的这个函数的“类型”如下：
(Int) => Int

//实际上，只有多个参数时（不同参数之间用逗号隔开），圆括号才是必须的，当参数只有一个时，圆括号可以省略，如下：
Int => Int
//上面就得到了函数的“类型”

2）得到了函数的“值”

//下面看看如何得到函数的“值”
//实际上，我们只要把函数定义中的类型声明部分去除，剩下的就是函数的“值”，如下：

(value) => {value+=1} //只有一条语句时，大括号可以省略
//注意：上面就是函数的“值”，需要注意的是，采用“=>”而不是“=”，这是Scala的语法要求

3）开始实操

//1.教材版不常用（完全写出来）
//现在，我们再按照大家比较熟悉的定义变量的方式，采用Scala语法来定义一个函数。
//声明一个变量时，我们采用的形式是：
val num: Int = 5

//照葫芦画瓢，我们也可以按照上面类似的形式来定义Scala中的函数：
val counter:Int=>Int = {(num:Int) => num * 2}
//从上面可以看出，在Scala中，函数已经是“头等公民”，单独剥离出来了“值”的概念，一个函数“值”就是函数字面量。
//这样，我们只要在某个需要声明函数的地方声明一个函数类型，在调用的时候传一个对应的函数字面量即可，和使用普通变量一模一样


//2.使用版常用（省略一些可以省略的）
//我们不需要给每个函数命名，这时就可以使用匿名函数，如下：
(num:Int) => num * 2   //为什么是（num:Int），因为至少得声明一边的变量类型（scala的机制会自动推断另一边类型）。上面那个就是把两边的类型Int都自己写出来了

//上面这种匿名函数的定义形式，我们经常称为“Lambda表达式”。“Lambda表达式”的形式如下：
(参数) => 表达式
//如果参数只有一个，参数的圆括号可以省略

1.3）典例：

1）我们可以直接把匿名函数存放到变量中，下面是在Scala解释器中的执行过程：

image.png

//实际上，Scala具有类型推断机制，可以自动推断变量类型，比如下面两条语句都是可以的：
val number: Int = 5
val number = 5 //省略Int类型声明

2）下面我们再尝试一下，是否可以继续省略num的类型声明，在Scala解释器中的执行过程如下:

• 可以看出，解释器会报错，因为，全部省略以后，实际上，解释器也无法推断出类型

image.png

3）下面我们尝试一下，省略num的类型声明，但是，给出myNumFunc的类型声明，在Scala解释器中的执行过程如下：

• 不会报错，因为，给出了myNumFunc的类型为“Int=>Int”以后，解释器可以推断出num类型为Int类型。

image.png

1.4）扩展--闭包概念（javaScript常用）:

image.png image.png

1.5）用“_”占位符简化函数:

• 当函数的每个参数在函数字面量内仅出现一次，可以省略“=>”并用下划线“_”作为参数的占位符来简化函数字面量的表示，第一个下划线代表第一个参数，第二个下划线代表第二个参数，依此类推

image.png