Scala语言为了让函数字面量更加精简,还可以使用下划线作为占位符,用来表示一个或多个参数

我们用来表示的参数必须满足只在函数字面量中出现一次。

我们用例子来看占位符的用法

scala> val list = List(1,2,3,4,5)
list: List[Int] = List(1, 2, 3, 4, 5) scala> list.filter( _ > 3 )//等同于 x => x > 3
res0: List[Int] = List(4, 5)

我们看到 _ 就好像是表达式中需要被填入的空,函数每次调用的时候这个空就被一个传入参数填上

但是参数是依次填入的,不能重复。也就是说,像上例的 1,2,3,4,5.并不能从头再来依次。

scala> val nums = List(1,2,3,4,5)
nums: List[Int] = List(1, 2, 3, 4, 5) scala> nums.map((_,1)) //等同于 x => (x,1)
res1: List[(Int, Int)] = List((1,1), (2,1), (3,1), (4,1), (5,1))

当然,我们也可以使用多个占位符来表示多个参数。

scala> val nums = List(1,2,3,4,5)
nums: List[Int] = List(1, 2, 3, 4, 5) scala> nums.reduce( _+_ ) //相当于 a + b
res2: Int = 15

上例中,第一个占位符代表一个参数,第二个代表不同于第一个的参数。

执行过程是这样的,先第一个参数 1 填上第一个占位符,第二个参数 2 填入第二个占位符,注意这里并不是参数列表从新填一次。

执行1+2 = 3.因为reduce,3重新排入list中,list现在为3,3,4,5

然后再次填入,3 + 3,list中变为 6,4,5

依次类推。结果为 15.

但是注意,我们在使用占位符的时候,编译器可能并没有足够的信息区推断你缺失的类型

使用的时候不要盲目的省略,避免造成不必要的错误。

scala> val f = _ + _
<console>:11: error: missing parameter type for expanded function ((x$1: <error>, x$2) => x$1.$plus(x$2))
val f = _ + _
^
<console>:11: error: missing parameter type for expanded function ((x$1: <error>, x$2: <error>) => x$1.$plus(x$2))
val f = _ + _
^

上面的例子就是,我们在定义 f 方法的时候只用了占位符来表示两个参数,但是编译器并不能推断出你的参数类型,报错。

这个时候我们需要注明参数类型

scala> val f = (_:Int) + (_:Int)
f: (Int, Int) => Int = $$Lambda$1108/2058316797@4a8bf1dc scala> f(1,2)
res5: Int = 3

为什么我们开始的例子不用注明参数类型呢?因为我们在创建List的时候指明了类型为List[Int] 也就是编译器知道每个参数都为Int

注意,当使用多个占位符的时候,代表的是不同的参数,不能是相同的参数。

占位符也可以代替一个参数列表

scala> def sum(a:Int,b:Int,c:Int) = a+b+c
sum: (a: Int, b: Int, c: Int)Int scala> val a = sum _
a: (Int, Int, Int) => Int = $$Lambda$1137/810864083@755a4ef5

我们这里用了一个占位符代替了sum方法的参数列表,注意方法和占位符之间要有个空格,因为scala语言中方法名可以定义这样:sum_ 。

我们在创建方法的时候并不能用占位符来代替参数列表,编译器并不能推断出占位符代表的东西。

只能用占位符来代替已经明确的东西,也就是说来代替已经定义好的方法的参数列表。

scala> val b = sum(1,_:Int,3)
b: Int => Int = $$Lambda$1138/1122185195@3652dd19 scala> b(2)
res6: Int = 6

我们还可以这么用,用占位符来代替其中的一个参数,然后调用的时候只需要传入一个参数即可。

注意,这里代替的时候输出初始化一个参数,必须要表明参数类型。

当然有的时候我们还可以更省略,不过只能用在明确需要函数的时候。

scala> list.foreach(println _)
1
2
3
4
5 scala> list.foreach(println)
1
2
3
4
5

  

05-18 02:03