首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

Refinements

由于 Ruby 的开放类,您可以重新定义或添加功能到现有的类。这被称为 “monkey patching”。不幸的是,这种变化的范围是全球性的。monkey patching 类的所有用户都会看到相同的更改。这可能会导致意外的副作用或程序中断。

细化旨在减少 monkey patching 对 monkey patching 类的其他用户的影响。精化提供了一种在本地扩展类的方法。

这是一个基本的改进:

代码语言:javascript
复制
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定义一个类。接下来C使用 Module#refine 来创建一个改进。优化只修改类,而不是模块,因此参数必须是类。

Module#refine 创建一个匿名模块,其中包含对该类的更改或优化(C在该示例中)。self在精炼块中是这个匿名模块,类似于 Module#module_eval。

使用以下命令激活优化:

代码语言:javascript
复制
using M

c = C.new

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

Scope

您可以在顶层和类和模块内激活细化。您可能无法激活方法范围中的细化。细化被激活直到当前类或模块定义结束,或者直到当前文件的结尾(如果在顶层使用)。

您可以在传递给 Kernel#eval 的字符串中激活优化。优化活动在 eval 字符串的结尾。

精化在范围上是词法。细化仅在调用使用后的范围内有效。使用语句之前的任何代码都不会激活细化。

当控制转移到范围之外时,精化被停用。这意味着如果您需要或加载文件或调用在当前作用域之外定义的方法,则优化将被停用:

代码语言:javascript
复制
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:

代码语言:javascript
复制
class C
end

m.rb:

代码语言:javascript
复制
require "c"

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

m_user.rb:

代码语言:javascript
复制
require "m"

using M

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

main.rb:

代码语言:javascript
复制
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是活跃m_user.rb在那里MUser#call_foo的定义,也激活时main.rb调用call_foo

由于使用是一种方法,因此只有在调用它时才会激活优化。以下是一些细化M和不活跃的例子。

在一个文件中:

代码语言:javascript
复制
# not activated here
using M
# activated here
class Foo
  # activated here
  def foo
    # activated here
  end
  # activated here
end
# activated here

在课堂上:

代码语言:javascript
复制
# 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 中的优化不会自动激活。

在评估中:

代码语言:javascript
复制
# not activated here
eval <<EOF
  # not activated here
  using M
  # activated here
EOF
# not activated here

未评估时:

代码语言:javascript
复制
# not activated here
if false
  using M
end
# not activated here

当在同一个模块中定义多个细化时,在细化块内部,当调用细化方法时,来自同一模块的所有细化都将处于活动状态:

代码语言:javascript
复制
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}]"

方法查找

在查找CRuby 类检查实例的方法时:

  • 如果优化处于激活状态C,按相反顺序激活:
代码语言:txt
复制
-  The prepended modules from the refinement for `C`
代码语言:txt
复制
-  The refinement for `C`
代码语言:txt
复制
-  The included modules from the refinement for `C`
  • 前置模块 C
  • C
  • 包含的模块 C

如果在任何时候没有发现任何方法,则重复使用超类C

请注意,子类中的方法优先于超类中的优化。例如,如果在/Intege r的细化中定义该方法,则会1 / 2调用原始的 Fixnum#/,因为Fixnum是 Integer 的一个子类,并且在超类 Integer 的细化之前进行搜索。

如果方法foo在细化中定义在 Integer 上,则1.foo调用该方法,因为 Fixnum 上不存在foo方法。

super

super被调用的方法查找检查时:

  • 包含当前课程的模块。请注意,目前的课程可能是一个改进。
  • 如果当前类是一个改进,则方法查找按照上面的“方法查找”部分进行。
  • 如果当前类有一个直接的超类,那么该方法将继续使用超类的上面的方法查找部分。

请注意,super在细化的方法中,即使存在已在相同上下文中激活的另一个细化,也会调用细化类中的方法。

间接方法调用

当使用间接方法访问,如 Kernel#send,Kernel#method 或 Kernel#respond_to?在方法查找过程中,调用者上下文并不满足优化。

这种行为在未来可能会改变。

扫码关注腾讯云开发者

领取腾讯云代金券

http://www.vxiaotou.com