匿名函数和部分函数有什么区别？

问题描述

我在阅读有关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)

尽管无论如何定义，它都是局部函数。