精炼 ↑

由于 Ruby 的开放类特性，您可以重新定义或向现有类添加功能。这被称为“猴子补丁”。不幸的是，此类更改的作用域是全局的。所有使用猴子补丁的类的用户都会看到相同的更改。这可能会导致意外的副作用或程序崩溃。

精炼旨在减少猴子补丁对猴子补丁类的其他用户的影响。精炼提供了一种本地扩展类的方法。精炼可以修改类和模块。

这是一个基本的精炼

class C
  def foo
    puts "C#foo"
  end
end

module M
  refine C do
    def foo
      puts "C#foo in M"
    end
  end
end

首先，定义一个类 C。接下来，使用 Module#refine 为 C 创建一个精炼。

Module#refine 创建一个匿名模块，其中包含对类（示例中的 C）的更改或精炼。 refine 代码块中的 self 是这个匿名模块，类似于 Module#module_eval。

使用 using 激活精炼

using M

c = C.new

c.foo # prints "C#foo in M"

作用域 ↑

您可以在顶层以及类和模块内部激活精炼。您不能在方法作用域中激活精炼。精炼在当前类或模块定义的结尾处，或者如果在顶层使用，则在当前文件的结尾处被激活。

您可以在传递给 Kernel#eval 的字符串中激活精炼。精炼在 eval 字符串的结尾处处于活动状态。

精炼的作用域是词法的。精炼仅在调用 using 之后的作用域内处于活动状态。 using 语句之前的任何代码都不会激活精炼。

当控制权转移到作用域之外时，精炼将被禁用。这意味着如果您需要或加载文件或调用在当前作用域之外定义的方法，则精炼将被禁用

class C
end

module M
  refine C do
    def foo
      puts "C#foo in M"
    end
  end
end

def call_foo(x)
  x.foo
end

using M

x = C.new
x.foo       # prints "C#foo in M"
call_foo(x) #=> raises NoMethodError

如果在精炼处于活动状态的作用域中定义了方法，则在调用该方法时精炼将处于活动状态。此示例跨多个文件

c.rb

class C
end

m.rb

require "c"

module M
  refine C do
    def foo
      puts "C#foo in M"
    end
  end
end

m_user.rb

require "m"

using M

class MUser
  def call_foo(x)
    x.foo
  end
end

main.rb

require "m_user"

x = C.new
m_user = MUser.new
m_user.call_foo(x) # prints "C#foo in M"
x.foo              #=> raises NoMethodError

由于精炼 M 在定义 MUser#call_foo 的 m_user.rb 中处于活动状态，因此当 main.rb 调用 call_foo 时，它也处于活动状态。

由于 using 是一个方法，因此精炼仅在调用时处于活动状态。以下是一些精炼 M 何时处于活动状态以及何时不处于活动状态的示例。

在一个文件中

# not activated here
using M
# activated here
class Foo
  # activated here
  def foo
    # activated here
  end
  # activated here
end
# activated here

在一个类中

# not activated here
class Foo
  # not activated here
  def foo
    # not activated here
  end
  using M
  # activated here
  def bar
    # activated here
  end
  # activated here
end
# not activated here

请注意，如果稍后重新打开类 Foo，则 M 中的精炼不会自动激活。

在 eval 中

# not activated here
eval <<EOF
  # not activated here
  using M
  # activated here
EOF
# not activated here

当未被求值时

# not activated here
if false
  using M
end
# not activated here

当在同一模块内的多个 refine 代码块中定义多个精炼时，当调用精炼方法（以下示例中的任何 to_json 方法）时，来自同一模块的所有精炼都处于活动状态

module ToJSON
  refine Integer do
    def to_json
      to_s
    end
  end

  refine Array do
    def to_json
      "[" + map { |i| i.to_json }.join(",") + "]"
    end
  end

  refine Hash do
    def to_json
      "{" + map { |k, v| k.to_s.dump + ":" + v.to_json }.join(",") + "}"
    end
  end
end

using ToJSON

p [{1=>2}, {3=>4}].to_json # prints "[{\"1\":2},{\"3\":4}]"

Method 查找 ↑

当查找类 C 的实例的方法时，Ruby 会检查

如果在任何时候都未找到方法，则会使用 C 的超类重复此过程。

请注意，子类中的方法优先于超类中的精炼。例如，如果在 Numeric 的精炼中定义了方法 /，则 1 / 2 会调用原始的 Integer#/，因为 Integer 是 Numeric 的子类，并且在搜索超类 Numeric 的精炼之前进行搜索。由于方法 / 也存在于子类 Integer 中，因此方法查找不会向上移动到超类。

但是，如果在精炼中在 Numeric 上定义了方法 foo，则 1.foo 会调用该方法，因为 Integer 上不存在 foo。

super ↑

当调用 super 时，方法查找会检查

请注意，精炼的方法中的 super 会调用精炼类中的方法，即使在同一上下文中已激活另一个精炼。这仅适用于精炼的方法中的 super，不适用于包含在精炼中的模块的方法中的 super。

方法内省 ↑

当使用诸如 Kernel#method 或 Kernel#methods 之类的内省方法时，不会考虑精炼。

此行为将来可能会更改。

通过 Module#include 进行 Refinement 继承 ↑

当模块 X 被包含到模块 Y 中时，Y 会从 X 继承精炼。

例如，在以下代码中，C 从 A 和 B 继承精炼

module A
  refine X do ... end
  refine Y do ... end
end
module B
  refine Z do ... end
end
module C
  include A
  include B
end

using C
# Refinements in A and B are activated here.

后代的精炼具有比祖先更高的优先级。

延伸阅读 ↑

有关实现精炼的当前规范，请参阅 github.com/ruby/ruby/wiki/Refinements-Spec。该规范还包含更多详细信息。