当前位置:首页 > 开发 > 编程语言 > Scala > 正文

【Scala十七】Scala核心十一:下划线_的用法

发表于: 2015-06-07   作者:bit1129   来源:转载   浏览:
摘要: 下划线_在Scala中广泛应用,_的基本含义是作为占位符使用。_在使用时是出问题非常多的地方,本文将不断完善_的使用场景以及所表达的含义   1. 在高阶函数中使用 scala> val list = List(-3,8,7,9) list: List[Int] = List(-3, 8, 7, 9) scala> list.filter(_ > 7) r

下划线_在Scala中广泛应用,_的基本含义是作为占位符使用。_在使用时是出问题非常多的地方,本文将不断完善_的使用场景以及所表达的含义

 

1. 在高阶函数中使用

scala> val list = List(-3,8,7,9)
list: List[Int] = List(-3, 8, 7, 9)

scala> list.filter(_ > 7)
res8: List[Int] = List(8, 9)

 

_ > 7是一个函数字面量,_表示调用这个函数时提供的参数值,按理说,应该指定类型,但是这里没有指定,原因是可以通过filter操作推导出来

 

如下写法不对:

scala> list.filter(_:Int=>_>7)
<console>:1: error: identifier expected but integer literal found.
       list.filter(_:Int=>_>7)
                            ^

 

 

2. 省略函数列表

 

scala> val f = (_:Int) + (_:Int)
f: (Int, Int) => Int = <function2>

scala> f(2,3)
res11: Int = 5

scala> val f=(x:Int,y:Int)=>x+y
f: (Int, Int) => Int = <function2>

scala> f(2,3)
res12: Int = 5

 

 通过val f = (_:Int) + (_:Int),我们只定义了函数f的方法体,并没有指定函数的参数列表,_和_分表表示第一个和第二个参数,

_ + _ expands into a literal for a function that takes two parameters.

限制: You can use this short form only if each parameter appears in the function literal at most once. (我认为是exactly once)Multiple underscores mean multiple parameters,not reuse of a single parameter repeatedly. The first underscore represents the first parameter, the second underscore the second parameter, the third underscore the third parameter, and so on.

 

 

 

如下定义错误:

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

 

但是如下操作正确

scala> val list = List(-3,8,7,9)
list: List[Int] = List(-3, 8, 7, 9)

scala> list.reduce(_ + _)
res13: Int = 21

 

3. 部分应用函数

scala> val f = (a:Int,b:Int,c:Int)=>a+b+c
f: (Int, Int, Int) => Int = <function3>

scala> val sum = f _
sum: () => (Int, Int, Int) => Int = <function0>

 

 如下写法错误:

 

scala> val sum = f(1) _
<console>:9: error: not enough arguments for method apply: (v1: Int, v2: Int, v3: Int)Int in trait Function3.
Unspecified value parameters v2, v3.
       val sum = f(1) _
                  ^

 

如下写法正确

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

 

如下写法错误:

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

 原因是,f函数可能会有重载,假如f有两个具有三个参数的重载函数,那么调用f(1,_,_),编译器将不知道调用哪个函数将第一个参数(这里是1)代入,而f _则没有参数代入的步骤,这个在后期进行参数应用时,才会找具体的f

 关于这个问题,http://stackoverflow.com/questions/8549393/redundant-parameter-type-info-in-partially-applied-function-definition有讨论

 

【Scala十七】Scala核心十一:下划线_的用法

  • 0

    开心

    开心

  • 0

    板砖

    板砖

  • 0

    感动

    感动

  • 0

    有用

    有用

  • 0

    疑问

    疑问

  • 0

    难过

    难过

  • 0

    无聊

    无聊

  • 0

    震惊

    震惊

编辑推荐
Scala的类层级 Scala里,每个类都继承自通用的名为Any的超类。因为所有的类都是Any的子类,所以定义
根据Play!开发团队透露,团队正在着力开发Play的下一个主要版本(也就是Play 2.0),该版本集成了一
用Java语言开发许久了,一直接触指令式的语言开发,同时也做的多了,也逐渐感觉到了静态语言的一些
继承类 使用extends关键字来继承一个类。如果将类声明为final的,则这个类不能被继承。如果将类的方
用Java语言开发许久了,一直接触指令式的语言开发,同时也做的多了,也逐渐感觉到了静态语言的一些
继承类 使用extends关键字来继承一个类。如果将类声明为final的,则这个类不能被继承。如果将类的方
继承类 使用extends关键字来继承一个类。如果将类声明为final的,则这个类不能被继承。如果将类的方
用Java语言开发许久了,一直接触指令式的语言开发,同时也做的多了,也逐渐感觉到了静态语言的一些
7:Package && Import 7.1 Packages a:定义包语句 ,例如: package com { package horstmann { packa
哈哈,先从官网了解下:http://www.scala-lang.org/ 然后下载一些语言必要的东西: http://www.scala
版权所有 IT知识库 CopyRight © 2009-2015 IT知识库 IT610.com , All Rights Reserved. 京ICP备09083238号