如何知道分配了哪个功能？

Question

如果我有这样的事情：

def fn1(a:Integer)="1"
def fn2(a:Integer)="2"
val f=fn2 _
if( f== fn1 _) "1" else if(f==fn2 _) "2" else "other"

总是返回“其他”。如何在代码中知道哪个函数分配给了 f？

Answer 1

这也有效：

def fn1(a:Integer)="1"
def fn2(a:Integer)="2"

val f1=fn1 _
val f2=fn2 _
val f=f2
f match {
case `f1` => "1"
case `f2` => "2"
case _ => "other"
}

Answer 2

由于函数的外延相等（粗略地说：f 被认为“等于”g 当且仅当 f(x) == g(x) 对于所有有效输入 x）通常是不可判定的，所以您基本上只有两个选择：

1. 为每个函数附加一些抽象描述，您可以在其上定义可判定的等价关系。例如，您可以构建这些函数的符号表示，您可以为这些函数定义内涵相等或某种稍强的等价关系，从下面逼近外延相等（可能任意难以实现，限制了它适用的函数集） .

2. 使用 JVM 引用相等性：

   val fn1: (Int => String) = a => "1"
   val fn2: (Int => String) = a => "2"
   val f = fn2
   println(if(f == fn1) "1" else if(f == fn2) "2" else "other")
   

   这会输出"2"。注意这种相等是很“脆弱”的，例如，

   val fn3: (Int => String) = a => "2"
   

   将不等于fn2。