Rubyで動的に生成したクラスで定義した定数へのアクセスについて

Question

Rubyで動的にクラスを定義することを考えています。

以下のコードでは、メソッド aaa と bbb は共に同じクラス Hoge のメソッドなのですが、見た目が全く同じコードであるにも関わらず、実行したときの結果が異なります。どういう理屈でこの違いが生じるのか、どなたか教えていただけないでしょうか。

Hoge = Class.new do |klass|
  klass::HOGE = "hoge"
  def aaa
    return HOGE
  end
end

class Hoge
  def bbb
    return HOGE
  end
end

x = Hoge.new
x.bbb
# => "hoge"
x.aaa
# => t.rb:4:in `aaa': uninitialized constant HOGE (NameError)
#           from t.rb:16:in `<main>'

Answer 1

def aaaの実行時点では、クラスにHogeという名前がついていないからですかね。うーむ、考えるとわからなくなってしまいます。

うまくいくケースは、

Hoge = Class.new do |klass|
  HOGE = "hoge"
  def aaa
    return HOGE
  end
end

Hoge = Class.new do |klass|
  klass::HOGE = "hoge"
  $g = klass
  def aaa
    return $g::HOGE
  end
end

Hoge = Class.new do |klass|
  klass::HOGE = "hoge"
  def aaa
    return self.class::HOGE
  end
end

Comments

[maisumakun]

いちばん上のコードの場合、HOGEはグローバルな定数となります。

[otn]

なるほど。それでbbbでも成功するのか。これだけが謎でした。「クラスのコンテキストでブロックを実行する」とは言っても定数だけは別なんですね。

Answer 2

定数の探索は、「字句的に所属するクラス」「ネストの外側」「先祖クラス」というように行われます。

aaaのほうでは、Class.newで動的にselfを切り替えているので、定数の探索スコープはグローバルなままとなっていて、klassのは取り出せません。

bbbではclass Hogeに入っていますので、まずHoge::HOGEを探索して、これが見つかります。

Comments

[skimura]

ご回答ありがとうございます。確かにそう考えれば辻褄の合う動作ですね。

メソッドから見える定数は、`self` の `class` の論理的な階層構造から決まるのでなくて、メソッドが定義されたソースコード上の位置によって決まる、と。通常、これらは自然に一致するが、動的にメソッドが定義される場合は、そうならないこともある、ということですね。