比较 Ruby 中的两个 lambda/Proc

Question

这让我发疯，我在四处寻找之后才在这里发帖。

我想知道指向同一个 Proc 的两个变量是否指向同一个 Proc。 我确信这一定是我没有得到的东西，例如为什么所有这些都返回 false？

class LambdaFunctions
  def self.LambdaFunction1
    lambda { |t| t ** 2}
  end
end

a = LambdaFunctions.LambdaFunction1
b = LambdaFunctions.LambdaFunction1

puts LambdaFunctions.LambdaFunction1
puts a
puts b

puts a == b
puts a === b
puts a.eql?(b)
puts a.equal?(b)
puts a == LambdaFunctions.LambdaFunction1
puts a === LambdaFunctions.LambdaFunction1
puts a.eql?(LambdaFunctions.LambdaFunction1)
puts a.equal?(LambdaFunctions.LambdaFunction1)

谢谢马克，你说得更清楚了。 以前它每次都返回新对象，所以相等吗？函数永远不会返回 true。这两个 lambda 函数在功能上相同，但不是同一个对象。 因此，如果您创建一个版本，然后在方法中将其返回，您就可以测试它的身份。 以下内容更有意义并且按我的预期工作。

class LambdaFunctions

  @lambda1 = lambda { |t| t ** 2}
  @lambda2 = lambda { |t| t ** 2}

  def self.LambdaFunction1
    @lambda1
  end

  def self.LambdaFunction2
    @lambda2
  end
end

func1 = LambdaFunctions.LambdaFunction1
func2 = LambdaFunctions.LambdaFunction1
func3 = LambdaFunctions.LambdaFunction2

puts func1.equal?(func2) # true
puts func1.equal?(func3) # false
puts func1.equal?(LambdaFunctions.LambdaFunction1) # true
puts func3.equal?(LambdaFunctions.LambdaFunction1) # false
puts func3.equal?(LambdaFunctions.LambdaFunction2) # true

Answer 1

虽然 lambda 实际上是等价的，但每次调用 LambdaFunctions.LambdaFunction1 都会返回 lambda 的一个新实例。对于过程来说，仅通过身份（而不是通过值）进行等效是有意义的，因为实际上不可能确定程序等效性。

我的意思是，如果 procs 可以根据它们所做的事情被确定为等效，那么 lambda { 3 } 和 lambda { 1 + 2 } 将是等效的。对于比这更复杂的 lambda，要确定等效性基本上需要解决停止问题 。

要确定等效标识（根据评论），请参阅 Object#equal? ：

与 == 不同，equal? 方法永远不应该被子类重写：它用于确定对象标识（即 a.equal? (b) 当且仅当a 与b 是同一对象）。

如果您确实需要 a 和 b 是同一个对象，那么您需要每次都返回相同的 lambda；这意味着您需要将 lambda 分配给 LambdaFunctions 类中的实例变量，然后返回该变量。

ruby-1.9.1-p378 > class LambdaFunctions
ruby-1.9.1-p378 ?>   @func1 = lambda { |t| t ** 2 }
ruby-1.9.1-p378 ?>   def self.LambdaFunction1
ruby-1.9.1-p378 ?>      @func1
ruby-1.9.1-p378 ?>    end
ruby-1.9.1-p378 ?>  end
 => nil 
ruby-1.9.1-p378 > a = LambdaFunctions.LambdaFunction1
 => #<Proc:0x0000010099e370@(irb):10 (lambda)> 
ruby-1.9.1-p378 > b = LambdaFunctions.LambdaFunction1 # same address as a
 => #<Proc:0x0000010099e370@(irb):10 (lambda)> 
ruby-1.9.1-p378 > a == b
 => true 

Answer 2

使用 equals 方法进行相等可能不是您想要的，只有当比较的两个对象引用同一对象时，它才会返回 true。我认为在这种情况下 == 可能是您更喜欢的。

我创建了一个 proc_extensions gem 来获取 proc 或 lambda 的源代码。您可以使用它来比较两个 procs 或 lambda 的来源，如下所示：

require 'proc_extensions'

Proc.instance_eval { include ProcExtensions::Source }

class LambdaFunctions

  @lambda1 = lambda { |t| t ** 2}
  @lambda2 = lambda { |t| t ** 2}

  def self.LambdaFunction1
    @lambda1
  end

  def self.LambdaFunction2
    @lambda2
  end
end

func1 = LambdaFunctions.LambdaFunction1.source
func2 = LambdaFunctions.LambdaFunction1.source
func3 = LambdaFunctions.LambdaFunction2.source

func1 == func2 # => true
func1 == func3 # => true
func1 == LambdaFunctions.LambdaFunction1.source # => true
func3 == LambdaFunctions.LambdaFunction1.source # => true
func3 == LambdaFunctions.LambdaFunction2.source # => true