ruby – 在instance_eval / exec或module_eval / exec中的Module

1.9.2 Module.nesting在eval.c中实现,如下所示：

static VALUE
rb_mod_nesting(void)
{
    VALUE ary = rb_ary_new();
    const NODE *cref = rb_vm_cref();

    while (cref && cref->nd_next) {
        VALUE klass = cref->nd_clss;
        if (!(cref->flags & NODE_FL_CREF_PUSHED_BY_EVAL) &&
            !NIL_P(klass)) {
            rb_ary_push(ary,klass);
        }
        cref = cref->nd_next;
    }
    return ary;
}

我不太清楚Ruby的内部结构,但是我像这样读取了while循环：从cref链表中提取所有与类类似的东西相关但不来自eval的节点. NODE_FL_CREF_PUSHED_BY_EVAL位仅在此处设置：

/* block eval under the class/module context */
static VALUE
yield_under(VALUE under,VALUE self,VALUE values)

更多的grepping和读取显示instance_eval最终通过yield_under.我将检查instance_exec,module_eval和module_exec作为读者练习.在任何情况下,看起来instance_eval都明确地从Module.nesting列表中排除;然而,这比其他任何东西都更令人分心,只是意味着你不会看到所提到的一些东西.

所以现在的问题是“NODE和rb_vm_cref()到底是什么？”.

如果你查看node.h,你会看到各种Ruby关键字和语言结构的一堆NODE常量：

> NODE_BLOCK
> NODE_BREAK
> NODE_CLASS
> NODE_MODULE
> NODE_DSYM
> ……

所以我猜NODE是指令树中的一个节点.这与我的排队很好

Module.nesting seems to be more about talking to the parser

评论中的猜想.但无论如何我们会继续前进.

rb_vm_cref函数只是vm_get_cref的包装器,它是vm_get_cref0的包装器.什么是vm_get_cref0？一切都是这样的：

static NODE *
vm_get_cref0(const rb_iseq_t *iseq,const VALUE *lfp,const VALUE *dfp)
{
    while (1) {
        if (lfp == dfp) {
            return iseq->cref_stack;
        }
        else if (dfp[-1] != Qnil) {
            return (NODE *)dfp[-1];
        }
        dfp = GET_PREV_DFP(dfp);
    }
}

该函数的所有三个参数都直接来自此控制框架：

rb_control_frame_t *cfp = rb_vm_get_ruby_level_next_cfp(th,th->cfp);

iseq似乎是一个指令序列,lfp和dfp是帧指针：

VALUE *lfp;                 // cfp[6],local frame pointer
VALUE *dfp;                 // cfp[7],dynamic frame pointer

cref_stack的定义是相关的：

/* klass/module nest information stack (cref) */
NODE *cref_stack;

所以看起来你正在从rb_vm_cref中获得某种调用或嵌套堆栈.

现在回到手边的细节.当你这样做：

module A
  p Module.nesting
end

您将在cref链接列表中进行模块A(已过滤以生成Module.nesting结果数组),因为您尚未达到目的.当你说这些：

A.instance_eval { puts Module.nesting }
A.instance_exec { puts Module.nesting }
A.module_eval   { puts Module.nesting }
A.module_exec   { puts Module.nesting }

你不会再在cref中拥有模块A了,因为你已经从堆栈中击出了最终弹出的模块A.但是,如果你这样做：

module A
  instance_eval { puts Module.nesting.inspect }
  instance_exec { puts Module.nesting.inspect }
  module_eval   { puts Module.nesting.inspect }
  module_exec   { puts Module.nesting.inspect }
end

你会看到这个输出：

[A]
[A]
[A]
[A]

因为模块A尚未关闭(并且已从cref中弹出).

为了结束,Module.nesting documentation说：

Returns the list of Modules nested at the point of call.

我认为这个陈述与对内部的审查结合起来表明,Module.nesting确实取决于调用它的特定文字上下文.

如果在Ruby内部有更多经验的人有任何要添加的内容,我可以将其作为社区wiki交给SO社区.

更新：所有这些都适用于class_eval以及它对module_eval的适用性,它也适用于1.9.3以及1.9.2.