Ruby 的常量查找路徑問題是一直困擾我的一個問題，在工作中遇到過好幾次，一直沒有徹底弄清楚到底為什么，最近在讀一本書《Ruby 元編程》，對 Ruby 對象模型有了更深入的認識，另外讀了一篇 blog《Everything you ever wanted to know about constant lookup in Ruby》, 讓我總算把 Ruby 常量查找路徑這個問題搞得比較清楚。
第一個遇到的問題，我還曾經在 Ruby-China 上發過帖。
module M1
CT = "ok"
end
class C1
CK = "ck"
include M1
def self.method1
puts self
puts "#{CK} in method1"
puts "#{CT} in method1"
end
class << self
def method2
puts self
puts "#{CK} in method1"
puts "#{CT} in method2"
end
end
end
C1.method1
C1.method2
輸出結果是
C1
ck in method1
ok in method1
C1
ck in method2
NameError: uninitialized constant Class::CT
from (irb):16:in `method2'
這是我在重構薄荷網代碼時候遇到的問題，method1 和 method2 都是常見的類方法的定義方面，我向來認為它們是等價可替換的寫法，但是從實際執行的結果看，它們里面的常量查找路徑不一樣。
如果我把 M1 的定義改成下面的樣子：
module M1
def self.included(base)
base.extend(self)
end
CT = "ok"
end
執行結果是：
C1
ck in method1
ok in method1
C1
ck in method2
ok in method2
還有一個問題是也是經常遇到的，抽象成問題代碼如下：
module A
module M
def a_method
#...
end
end
end
class A::B
include M
end
會報異常：
NameError: uninitialized constant A::B::M
from (irb):10:in `<class:B>'
Ruby 常量查找時依據兩條路徑
A. Module.nesting
B. open class/module 的 ancestors
A 比 B 優先，A 找不到了才到 B 中查找。
A.Module.nesting 的概念比較容易理解，它是指代碼位置的 module 嵌套情況，它是一個數組，從最內層的嵌套一直到最外層的嵌套，如果沒有嵌套，數組為空。任何一處代碼位置都有 Module.nesting 值，可以通過下面的代碼打印出各個位置的 Module.nesting 值。
p Module.nesting
module A
module B
p Module.nesting
module C
p Module.nesting
end
end
end
module A::B
p Module.nesting
end
輸出是：
[]
[A::B, A]
[A::B::C, A::B, A]
[A::B]
大家有沒有注意到，module A::B 這種快捷寫法會導致 A 不在 Module.nesting 里，這就是上述第二個問題的根源，因為 M 是 A module 下的常量，module A::B 寫法導致不會查找 A::M。
說完 A Module.nesting，再說一下 B open class/module 的 ancestors，這個問題相對復雜很多。簡單的說，在 Ruby 代碼的任何位置，都有一個 self 存在，同樣也有一個 open class/module 存在，在模塊和類定義處，它通常就是對應的模塊和類，在方法內部，它是方法對應的類。對于 ancestors，我們可以通過代碼位置 open class/module 的 ancestors 方法取得。
（備注：ancestors 在引入 singleton_class 概念之后變得有點復雜，如不清楚可參考《Ruby 元編程》）
上述第一個問題： 在method1 中 A 是 [C1] open class/module 是 C1，所以 ancestors 是 [C1, M1, Object, Kernel, BasicObject] CK 在 A 可以找到，CT 在 B 可以找到。
method2 中 A 是 [C1] open class/module 是 C1 的 singleton_class , 所以 ancestors 是 [Class, Module, Object, Kernel, BasicObject] CK 在 A 可以找到，CT 在 A 和 B 都找不到。
對于
module M1
def self.included(base)
base.extend(self)
end
CT = "ok"
end
可運行，是因為這時，在 method2 中，open class/module C1 的 singleton_class 擴展了 M1，所以 ancestors 變成了 [M1, Class, Module, Object, Kernel, BasicObject]。
至此，這兩個困擾我多時的問題終于徹底搞清楚了。這個過程給我的一個體會是：面對技術上的一些疑問，如果只是淺嘗輒止，是永遠不能夠真正掌握它的，只有深入專研，透徹理解它的原理，才能夠真正掌握它，獲得真正的能力提升。
