运行时扩展asdf方法时经wrapper传块的实例变量求值异常

两种调用路径的行为差异 #

同一段附加逻辑代码块在不同传递方式下的执行结果存在明显区别：

• 通过自定义包装方法append_asdf传递代码块：执行实例的asdf方法时，块内@b求值为nil，仅输出原方法打印的12，无法获取实例初始化时设置的@b值
• 直接将代码块传入class_eval绑定为实例方法：块内@b可正确读取实例上存储的144，行为符合预期

差异的核心成因 #

Ruby 的代码块/Proc 采用词法作用域规则，会在定义时就捕获所在位置的上下文，而非动态适配执行位置的上下文。两种路径的作用域绑定逻辑存在本质区别：

1. class_eval路径的正常逻辑
   当执行A.class_eval { define_method(:asdf, p) }时，Ruby 会将p这个Proc直接作为asdf的方法体绑定到类上。实例调用asdf时，Ruby 会自动将方法体内部的self替换为当前调用方法的实例对象，因此块内查找@b时会定位到实例的实例变量表，自然读取到正确值。
2. 自定义包装方法的异常逻辑
   在self.append_asdf方法内部，我们通过define_method(:asdf) { ... }定义了一个全新的匿名块作为新的asdf方法体。这个匿名块内部通过n.call调用传入的附加逻辑块p时，只是普通的Proc调用流程：
   • p会保持定义时绑定的self（也就是代码中定义p的顶层main对象），不会随着外层方法的self切换而变化
   • 顶层main对象上没有定义@b，因此读取结果为nil，和观察到的空输出现象完全吻合
     这一行为和代码块的形式（字面量块/独立Proc对象）无关，两种形式的作用域绑定规则完全一致，与你观察到的异常表现匹配。

修复方案 #

要让传入的附加逻辑块正确访问当前实例的变量，需要在执行块时手动将块的上下文绑定为当前实例，和define_method直接绑定块的行为保持一致。修改append_asdf的实现即可：

def self.append_asdf(&n)
  m = instance_method(:asdf)
  define_method(:asdf) {
    m.bind(self).call
    # 用instance_exec执行块，将块的self设为当前实例
    self.instance_exec(&n)
  }
end

修改后重新执行A.append_asdf(&p)和a.asdf，即可得到和class_eval路径完全一致的输出，正常打印144。

内容的提问来源于stack exchange，提问作者yogo1212