Ruby 的常量查找路徑問題是一直困擾我的一個問題,在工作中遇到過好幾次,一直沒有徹底弄清楚到底為什么,最近在讀一本書《Ruby 元編程》,對 Ruby 對象模型有了更深入的認識,另外讀了一篇 blog《Everything you ever wanted to know about constant lookup in Ruby》, 讓我總算把 Ruby 常量查找路徑這個問題搞得比較清楚。
第一個遇到的問題,我還曾經在 Ruby-China 上發過帖。
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
輸出結果是
這是我在重構薄荷網代碼時候遇到的問題,method1 和 method2 都是常見的類方法的定義方面,我向來認為它們是等價可替換的寫法,但是從實際執行的結果看,它們里面的常量查找路徑不一樣。
如果我把 M1 的定義改成下面的樣子:
執行結果是:
還有一個問題是也是經常遇到的,抽象成問題代碼如下:
class A::B
include M
end
會報異常:
Ruby 常量查找時依據兩條路徑
A. Module.nesting
B. open class/module 的 ancestors
A 比 B 優先,A 找不到了才到 B 中查找。
A.Module.nesting 的概念比較容易理解,它是指代碼位置的 module 嵌套情況,它是一個數組,從最內層的嵌套一直到最外層的嵌套,如果沒有嵌套,數組為空。任何一處代碼位置都有 Module.nesting 值,可以通過下面的代碼打印出各個位置的 Module.nesting 值。
module A
module B
p Module.nesting
module C
p Module.nesting
end
end
end
module A::B
p Module.nesting
end
輸出是:
大家有沒有注意到,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 都找不到。
對于
可運行,是因為這時,在 method2 中,open class/module C1 的 singleton_class 擴展了 M1,所以 ancestors 變成了 [M1, Class, Module, Object, Kernel, BasicObject]。
至此,這兩個困擾我多時的問題終于徹底搞清楚了。這個過程給我的一個體會是:面對技術上的一些疑問,如果只是淺嘗輒止,是永遠不能夠真正掌握它的,只有深入專研,透徹理解它的原理,才能夠真正掌握它,獲得真正的能力提升。
新聞熱點
疑難解答
圖片精選