範圍類變量

Question

的設置一類在兩個類B和C可變@@foo，其中既不是其他的子類，但它們都包括一個公用模塊A，似乎單獨創建@@foo爲B和C，這A不能訪問：

module A; end 
class B; include A; @@foo = 1 end 
class C; include A; @@foo = 2 end 

module A; p @@foo end # => NameError: uninitialized class variable @@foo in A 
class B; p @@foo end # => 1 
class C; p @@foo end # => 2 

但當@@foo在A分配，其工作方式的祖先都B和C，在@@foo是B和C訪問成爲A的@@foo。

module A; @@foo = 3 end 
class B; p @@foo end # => 3 
class C; p @@foo end # => 3 

發生了什麼事的B和C的@@foo？當它的祖先的任何@@foo被分配時，它們是否被刪除？

Answer 1

此代碼出現在兩個rb_cvar_set和rb_cvar_get在MRI的variable.c：

if (front && target != front) { 
    st_data_t did = id; 

    if (RTEST(ruby_verbose)) { 
     rb_warning("class variable %"PRIsVALUE" of %"PRIsVALUE" is overtaken by %"PRIsVALUE"", 
      QUOTE_ID(id), rb_class_name(original_module(front)), 
      rb_class_name(original_module(target))); 
    } 
    if (BUILTIN_TYPE(front) == T_CLASS) { 
     st_delete(RCLASS_IV_TBL(front),&did,0); 
    } 
} 

id是變量名（@@foo）的C-內部表示。

front是其中變量當前訪問類（B/C）。

target是最遠的祖先，其中變量具有也曾經被定義（A）。

如果front和target是不一樣的，紅寶石警告class variable #{id} of #{front} is overtaken by #{target}。

的變量名然後字面上刪除從front的RCLASS_IV_TBL，使得在隨後的查找，該變量名搜索‘下落通過’或在‘冒泡’到最遠的祖先變量被定義。

---

注意，此檢查和刪除發生不只是在CVaR的獲得，但臺以及：

$VERBOSE = true 

module A; end 
class B; include A; @@foo = 1; end # => 1 

module A; @@foo = 3 end # => 3 
class B; p @@foo = 1 end # => 1 
#=> warning: class variable @@foo of B is overtaken by A 


module A; p @@foo end # => 1 

在這個例子中，即使它的A的價值3由價值1被覆蓋在B被設置，我們仍然REC eive相同的警告它的B的類變量被A超越！雖然通常對於普通的Ruby編碼器來說，發現其變量的值在各種可能意想不到的地方（即在「父」/「祖父母」/「叔叔」/「表兄弟」中）變化通常更令人驚訝。 /「姐姐」模塊和類），觸發器和措辭都表明警告實際上是意在告知該變量的「真理之源」改變了編碼器。

Answer 2

我在下面的註釋取自Metaprogramming Ruby (by Paolo Perrotta)，當我碰到你的問題時，我碰巧正在閱讀。我希望這些摘錄（頁碼在括號內），我的解釋對你很有幫助。

請記住，類變量不同於類實例變量。

一個類的實例變量屬於Class類的對象，並且是 僅由類本身可訪問的 - 而不是由一個實例或通過 子類。 （106）

的類變量，在另一方面，屬於類別層次。這意味着它屬於任何階級以及該階級的所有後代。

下面是筆者的例子：

@@v = 1 

class MyClass 
    @@v = 2 
end 

@@v # => 2 

你得到這樣的結果，因爲類變量並不真正屬於 類 - 它們屬於類層次。由於@@ v在 上下文main中定義，所以它屬於main's類別Object ...和 Object的所有後代。 MyClass繼承自Object，所以 它最終共享相同的類變量。 （107）

而且由於你的具體問題，需要做不僅與類，但也與模塊：

當您在一個類模塊，紅寶石會創建一個匿名 類包裝模塊並將匿名類插入 鏈中，位於包含類本身之上。（26）

所以，你看B.ancestors，您將看到：

=> [B, A, Object, Kernel, BasicObject] 

同樣，對於C.ancestors，您將看到：

=> [C, A, Object, Kernel, BasicObject] 

如果我們記住，類變量屬於類層次結構，然後類變量@@foo，只要它在Module A中定義（因此，只在B附近的匿名類t只要B包括A），將屬於B（並且還包含C，因爲它包括A）。

簡單地說：

1. 當@@foo在B和C才被定義（但不是在A），然後B有一個類變量@@foo這是比類C變量@@foo不同。這是因爲類變量只能被該類和所有後代訪問。但B和C通過他們的祖先A相關，而不是通過他們的後代。
2. 只要@@foo在A中定義，那個類變量就會被所有A的後代 - 即B和C繼承。從這裏開始，對類B中的@@foo的引用實際上是引用屬於A的類變量。在B中定義的原始@@foo已被覆蓋替換（由其祖先接管）。 @@foo在C中也發生過同樣的情況。 B和C都可以寫入和讀取相同的類變量@@foo，因爲它屬於它們的共同祖先A。

在這一點上，A，B，或C任何人都可以修改所有@@foo。例如：

class B 
    p @@foo # => 3 
    @@foo = 1 
end 

module A 
    p @@foo # => 1 
end