如何对 Ruby 代码进行字符串化/序列化？

Question

我希望能够在 Ruby 代码中编写 lambda/Proc，将其序列化，以便可以将其写入磁盘，然后稍后执行 lambda。 有点像...

x = 40
f = lambda { |y| x + y }
save_for_later(f)

稍后，在单独运行 Ruby 解释器时，我希望能够说...

f = load_from_before
z = f.call(2)
z.should == 42

Marshal.dump 不适用于 Procs。 我知道 Perl 有 数据::Dump::Streamer，在 Lisp 中这是微不足道的。 但是在 Ruby 中有没有办法做到这一点呢？ 换句话说，save_for_later的实现是什么？

编辑：我的回答如下 很好，但它不会关闭自由变量（如 x）并将它们与 lambda 一起序列化。 所以在我的示例中……

x = 40
s = save_for_later { |y| x + y }
# => "lambda { |y|\n  (x + y)\n}"

字符串输出不包含 x 的定义。 是否有解决方案考虑到这一点，也许通过序列化符号表？ 你能在 Ruby 中访问它吗？

编辑2：我更新了我的答案以合并序列化局部变量。 这似乎可以接受。

Answer 1

使用 Ruby2Ruby

def save_for_later(&block)
  return nil unless block_given?

  c = Class.new
  c.class_eval do
    define_method :serializable, &block
  end
  s = Ruby2Ruby.translate(c, :serializable)
  s.sub(/^def \S+\(([^\)]*)\)/, 'lambda { |\1|').sub(/end$/, '}')
end

x = 40
s = save_for_later { |y| x + y }
# => "lambda { |y|\n  (x + y)\n}"
g = eval(s)
# => #<Proc:0x4037bb2c@(eval):1>
g.call(2) 
# => 42

这很棒，但它不会关闭自由变量（如 x）并将它们与 lambda 一起序列化。

要序列化变量，您可以迭代 < code>local_variables 并序列化它们。 但问题是，save_for_later 中的 local_variables 仅访问上面代码中的 c 和 s --即序列化代码本地的变量，而不是调用者的变量。 因此不幸的是，我们必须将局部变量及其值的获取推送给调用者。

不过，也许这是一件好事，因为一般来说，在一段 Ruby 代码中查找所有自由变量是 无法确定。 另外，理想情况下，我们还可以保存 global_variables 以及任何加载的类及其覆盖的方法。 这似乎不切实际。

使用这个简单的方法，您将得到以下结果：

def save_for_later(local_vars, &block)
  return nil unless block_given?

  c = Class.new
  c.class_eval do
    define_method :serializable, &block
  end
  s = Ruby2Ruby.translate(c, :serializable)
  locals = local_vars.map { |var,val| "#{var} = #{val.inspect}; " }.join
  s.sub(/^def \S+\(([^\)]*)\)/, 'lambda { |\1| ' + locals).sub(/end$/, '}')
end

x = 40
s = save_for_later(local_variables.map{ |v| [v,eval(v)] }) { |y| x + y }
# => "lambda { |y| _ = 40; x = 40;\n  (x + y)\n}"

# In a separate run of Ruby, where x is not defined...
g = eval("lambda { |y| _ = 40; x = 40;\n  (x + y)\n}")
# => #<Proc:0xb7cfe9c0@(eval):1>
g.call(2)
# => 42

# Changing x does not affect it.
x = 7
g.call(3)
# => 43

Answer 2

使用 sourcify

这适用于 Ruby 1.8 或 1.9。

def save_for_later(&block)
  block.to_source
end

x = 40
s = save_for_later {|y| x + y }
# => "proc { |y| (x + y) }"
g = eval(s)
# => #<Proc:0x00000100e88450@(eval):1>
g.call(2) 
# => 42

请参阅我的其他答案以捕获自由变量。

更新：
现在您还可以使用 serialized_proc gem，它使用 sourcify，并捕获本地、实例、类和全局变量。

Answer 3

查看此问题的答案。

Answer 4

Ruby 有 Marshal 类，该类有一个可以调用的转储方法。

看一下这里：

http://rubylearning.com/satishtalim/object_serialization.html