[ruby-dev:11636] Re: class variable

新井です。

> まつもと ゆきひろです

> |class << Foo
> |  # (A)
> |  @@bar = 3		# Fooのクラス変数
> |  p class_variables	# => [@@klass]		特異クラスのクラス変数
> 
> でのclass_variablesの出力は不適切でしょう。この場所では
> @@klassは参照できないのですから。

了解。

> 私はそうは思いません。
> 
>   * 特異クラス定義によってクラス変数が増えるのは良くない。
>     Fooのインスタンスで共有されるクラス変数が欲しければ、そ
>     のクラスで初期化が行われているべきである。

なるほどねぇ。ここで、やっと「クラス変数が静的である」ことの
意味がわかりました。クラス変数の「静的なスコープ」はかなり重
要な要素ですね。

module Foo
  @@bar = 1
end

class Bar
  @@bar = 2
  include Foo
  def bar
    @@bar
    type.class_variables
  end
end

Bar.new.bar	# => 2

これで 1 が返って来たら困りますものね。

えっと、(A)でのクラス変数追加が許されるのは、クラスの特異ク
ラス定義はそのクラスの定義と等価とみなしているということでしょ
うか？

>   * 情報共有の範囲は、その閉じた範囲で行われるべきである。よっ
>     て、特異クラス定義ではインスタンス変数と同じようにしか働
>     かないとしても、それはそれである。

こちらは、「エラーにしてしまう」という選択肢もあるわけですが、
「自然にそうなっているものをわざわざ壊す理由はない」ってとこ
ろでしょうか？うーん、私、読み取れてない気もしますが、今のと
ころ了解。

> 個人的には、「特異クラス定義」は、「(特異クラス)定義」ではな
> く「特異(クラス定義)」で、その定義されるクラスそのものは、仮
> 想的なクラスに過ぎないので、virtual classと形容しました。こ
> れは「仮想クラス」というひとつの用語ではなく、「仮想的なクラ
> ス」という一般的な形容句だと思ってます。

なるほど。

--
新井康司 (Koji Arai)