class_eval vs instance_eval

Question

除了def之外， class_eval和instance_eval工作方式有什么不同嗎？ 在class_eval塊內部， def定義了類本身的方法（即實例方法），而在instance_eval def定義了類的本征類的方法（即類方法）。 AFAIK所有其他功能在兩種情況下都相同（例如define_method ， attr_accessor ， class << self; end ， attr_accessor constants）。 這是真的嗎？

答案是 ： def ， undef和alias對class_eval和instance_eval有不同的上下文。

Answer 1

長話短說：

• Object.instance_eval &block集：
  • self Object
  • Object.singleton_class的“當前類”
• Object.class_eval &block集：
  • self Object
  • Object的“當前類”

“當前類”用於def ， undef和alias ，以及常量和類變量查找。

---

現在，我們來看看實現細節。

以下是在C中實現module_eval和instance_eval方式：

VALUE rb_mod_module_eval(int argc, VALUE *argv, VALUE mod) {
    return specific_eval(argc, argv, mod, mod);
}

VALUE rb_obj_instance_eval(int argc, VALUE *argv, VALUE self) {
    VALUE klass;
    if (SPECIAL_CONST_P(self)) { klass = Qnil; }
    else { klass = rb_singleton_class(self); }
    return specific_eval(argc, argv, klass, self);
}

兩者都調用specific_eval ，它采用以下參數： int argc ， VALUE *argv ， VALUE klass和VALUE self 。

注意：

• module_eval將Module或Class實例作為klass 和 self傳遞
• instance_eval將對象的單例類作為klass傳遞

如果給定一個塊， specific_eval將調用yield_under ，它接受以下參數： VALUE under ， VALUE self和VALUE values 。

if (rb_block_given_p()) {
    rb_check_arity(argc, 0, 0);
    return yield_under(klass, self, Qundef);
}

yield_under有兩個重要的行：

1. block.self = self;

   這將塊的self設置為接收器。

2. cref = vm_cref_push(th, under, NOEX_PUBLIC, blockptr);

   cref是一個鏈接列表 ，它指定“當前類”，用於def ， undef和alias ，以及常量和類變量查找。

   該線基本上將cref設置為under 。

   最后：

   • 從module_eval調用時， under將是Class或Module實例。

   • 從instance_eval調用時， under將是self的單例類 。

Answer 2

instance_eval允許您直接訪問實例的實例變量，並使用self作為實例的引用。