なぜRubyは呼び出し元のクラスで定義された定数を見つけることができませんか？

Question

は、以下のコードを検討：

class MyClass 
    def foo_via_method 
    foo_method 
    end 

    def foo_via_constant 
    FOO_CONSTANT 
    end 
end 

class SubClass < MyClass 
    FOO_CONSTANT = "foo" 

    def foo_method 
    FOO_CONSTANT 
    end 
end 

ここでは、2つのインスタンスメソッドは、異なる動作：

sub_class_instance = SubClass.new 

### THIS WORKS ### 
sub_class_instance.foo_via_method 
# => "foo" 

### THIS DOESN'T ### 
sub_class_instance.foo_via_constant 
# NameError: uninitialized constant MyClass::FOO_CONSTANT 

サブクラス方法を指すバージョンが所望の値を返し、それだけに意味バージョンサブクラスの定数がエラーをスローします。パズルはこれです：メソッドを使用するバージョンは動作しますが、定数を使用するバージョンは失敗します。

Answer 1

これは私が実際の生産コードで遭遇したパズルでした。私はthis blog postで何が起こっているのかの詳細な説明を書きました。

ここにTLDRがあります。Rubyはメソッドよりもはるかに複雑なアルゴリズムを使って定数を解決します。定数ルックアップルーチンの1つの段階では、定義のためにスーパークラスチェーンを調べます。このフェーズは、メソッドのルックアップルーチンに非常によく似ていて、なぜメソッドと定数が異なるのかという疑問が、質問に示されている方法でどのように異なっているかを深く示しています。

2つのスーパークラスチェーンルーチンは、開始点のどこが異なるか、つまりどのクラスがチェーンのルートであるかの説明です。

メソッドルックアップは、selfのクラスから始まります。selfは元のメソッド呼び出しの受信者です。この例では、受信者がsub_class_instance、参照が開始されるのは​​です。​​はfoo_methodを実装しているので、すべて正常です。

定数の場合、定数の呼び出しは受信者に関連しないため、Rubyは受信者を参照しません。代わりに、定数スーパークラスルックアップは、定数呼び出しが発生するレキシカルスコープで開いているクラスから始まります。この例では、開かれているクラスはMyClassなので、Rubyが定数を検索し始め、それが見つからないクラスです。