如何解决匿名函数和部分函数有什么区别?
我在阅读有关scala匿名函数here的信息,发现它们可以采用以下格式:
{ case p1 => b1 … case pn => bn }
但是,我认为这就是编写部分函数的方式。实际上,在this blog post中,作者将部分函数称为匿名函数。起初,他说collect
带有部分函数,但随后似乎将其称为匿名函数(“集合可以处理您的匿名函数……”)。
仅仅是某些匿名函数是部分函数吗?如果是这样,所有部分函数都是匿名的吗?还是只有像Alvin Alexander的示例所示的格式那样,它们才是匿名的:
val divide2: PartialFunction[Int,Int] = {
case d: Int if d != 0 => 42 / d
}
解决方法
匿名和部分是不同的概念。我们不会说以下功能是匿名的
val divide2: PartialFunction[Int,Int] = {
case d: Int if d != 0 => 42 / d
}
因为它绑定到名称divide2
,但是我们可以说divide2
是根据匿名(函数)值定义的
{ case d: Int if d != 0 => 42 / d }
在以下定义中,根据匿名值x
定义了42
val x: Int = 42
partial 的正交概念是指函数的特殊子类型,而不是特定类型的值是否绑定到名称。
,这是编写与模式匹配的部分函数的另一种方法。
val divide = new PartialFunction[Int,Int] {
def apply(x: Int) = 42 / x
def isDefinedAt(x: Int) = x != 0
}
本质上,部分函数是未为一组输入定义的函数。就像在该示例中一样,用0除无意义,或者您可能想限制一些特定的值。
具有部分功能的妙处是它与orElse和然后收集具有协同作用。根据是否在除法函数中输入0,可以将变量传递给andThen,如果不是0,则可以通过orElse(如果是0)。最后,collect仅适用于部分变量函数是在该输入上定义的。
创建部分函数的方法通常是通过模式匹配大小写,如示例所示。
最后,Scala中的匿名函数就像Python中的lambda。这只是创建函数而无需“命名”它的一种方法。
例如
val f: Int => Int = (x: Int) => x * x
collect {
case a: Int => 1-a
}
,
摘自您链接的模式匹配匿名函数的文档:
如果期望的类型是SAM可以转换为
scala.Functionk[S1,…,Sk,R]
的表达式,则该表达式被视为等效于匿名 功能:(x1:S1,xk:Sk) => (x1,xk) match { case p1 => b1 … case pn => bn }
在这里,每个xi都是一个新名字。如此处所示,该匿名 函数又等效于以下实例创建 表达式,其中T是所有类型的最弱最小上限
new scala.Functionk[S1,T] { def apply(x1:S1,xk:Sk): T = (x1,xk) match { case p1 => b1 … case pn => bn } }
如果期望的类型为
scala.PartialFunction[S,R]
,则该表达式被认为是等效的 到以下实例创建表达式:new scala.PartialFunction[S,T] { def apply(x: S): T = x match { case p1 => b1 … case pn => bn } def isDefinedAt(x: S): Boolean = { case p1 => true … case pn => true case _ => false } }
您的第一个代码段是与匿名函数匹配的模式,但不一定是部分函数。如果将它赋给带有PartialFunction
参数的方法或分配给类型为PartialFunction
的变量,它将变成PartialFunction
。
所以您说对了,只有一些(模式匹配)匿名函数是部分函数(AFAIK,使用粗箭头定义的函数文字,例如x => x
只能用于创建FunctionN
实例而不是PartialFunction
个实例。
但是,并非所有的部分函数都是匿名函数。定义PartialFunction
的一种无糖方式是扩展PartialFunction
特性(扩展了Function1
)并手动覆盖isDefinedAt
和apply
方法。例如,divide2
也可以使用匿名类这样定义:
val divide2 = new PartialFunction[Int,Int] {
override def isDefinedAt(x: Int) = x != 0
override def apply(x: Int) = 42 / x
}
但是,您可能不会经常看到这种情况,因为仅使用模式匹配来定义PartialFunction会容易得多。
在您链接的Alvin Alexander的博客文章中,作者将匹配匿名部分函数文字的模式称为匿名函数,只是因为它恰好同时是部分函数和匿名函数。您也可以这样定义函数:
List(42,"cat").collect(new PartialFunction[Any,Int] {
def isDefinedAt(x: Any) = x.isInstanceOf[Int]
def apply(x: Any) = x match {
case i: Int => i + 1
}
})
它不再是匿名函数,尽管它仍然是匿名类实例的匿名对象。或者,您可以事先定义一个单例对象,然后使用它。
object Foo extends PartialFunction[Any,Int] {
def isDefinedAt(x: Any) = x.isInstanceOf[Int]
def apply(x: Any) = x match {
case i: Int => i + 1
}
}
List(42,"cat").collect(Foo)
尽管无论如何定义,它都是局部函数。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。