[ruby-list:22134] クラス変数モジュール (Re: デフォルト付き attr_reader)

中島@ブレーンです。

やっぱりあったのですね!ずっとかっこいい解が・・・rubyなら、な
んかあるだろうと思っていましたが、予想以上に短くてシンプルで驚
きました。

そこで、復習の意味もかねてこれを応用してクラス変数のモジュール
を作ってみました。

  def_class_var :cv1, 0

というふうにクラス変数を定義できるようになります(2つめのパラメー
タは既定値)。そして、代入は

    set_cv(:cv1, cv1+1)

です。参照は単純に変数名で参照できます。

-------------------------------------------------------------
# includeするとクラス変数が使えるようになるモジュール
module ClassVar
  def ClassVar::append_features(klass)
    super
    def klass::def_class_var(var_name, initial_value=nil)
      var_name = var_name.id2name unless var_name.kind_of?(String)
      module_eval <<-END
        Class_var_#{var_name} = []
        Class_var_#{var_name}[0] = initial_value if initial_value
        def #{var_name}
	  Class_var_#{var_name}[0]
	end
	def #{var_name}=(val)
	  Class_var_#{var_name}[0] = val
	end
      END
    end
  end
  def set_cv(var_name, value)
    var_name = var_name.id2name unless var_name.kind_of?(String)
    instance_eval "Class_var_#{var_name}[0] = value"
  end
end

# 使用例

class B1
  include ClassVar

  # クラス変数定義
  def_class_var :cv1, 0
  def_class_var :cv2, "cv2 defalut"

  def initialize(name)
    @name = name
  end

  def increment_cv
    # 参照と代入
    set_cv(:cv1, cv1+1)
    # self.cv1 = cv1 + 1
  end

  def method1
    print "method1 was called for #{@name}\n"
    increment_cv
    if cv1 > 1
      set_cv(:cv2, "cv2 changed by #{@name}")
      #self.cv2 = "cv2 changed by #{@name}"
    end
  end

  def show
    print "cv1 (in #{@name}) = #{cv1}\n"
    print "cv2 (in #{@name}) = #{cv2}\n"
  end
end


b11 = B1.new("B1_1")
b12 = B1.new("B1_2")

b11.show
b12.show
b11.method1
b11.show
b12.show
b12.method1
b11.show
b12.show
-------------------------------------------------------------
実行結果は次のとおりです。
-------------------------------------------------------------
[tnaka@ryoma tmp]$ ruby test3.rb
cv1 (in B1_1) = 0
cv2 (in B1_1) = cv2 defalut
cv1 (in B1_2) = 0
cv2 (in B1_2) = cv2 defalut
method1 was called for B1_1
cv1 (in B1_1) = 1
cv2 (in B1_1) = cv2 defalut
cv1 (in B1_2) = 1
cv2 (in B1_2) = cv2 defalut
method1 was called for B1_2
cv1 (in B1_1) = 2
cv2 (in B1_1) = cv2 changed by B1_2
cv1 (in B1_2) = 2
cv2 (in B1_2) = cv2 changed by B1_2
-------------------------------------------------------------

代入は set_cvだけでなく、変数名=というメソッドも定義したのです
が、これを呼びだすには、

self.cv1 = .....

という書き方が必要になるようなので、set_cvというメソッドを別に
定義しています。

「変数名で変数の種別がわかる」というrubyの特色が一部失われます
が、それに目をつぶれば、多少は使えるような気がします。

それから、このクラス変数はサブクラスで再定義できます。上のコー
ドに下記のコードをつなげてみると
-------------------------------------------------------------
class B2 < B1
  def_class_var :cv2, "redefined default"
end

b21 = B2.new("B2_1")
b11.show
b21.show
b21.method1
b11.show
b21.show
-------------------------------------------------------------
実行結果は
-------------------------------------------------------------
cv1 (in B1_1) = 2
cv2 (in B1_1) = cv2 changed by B1_2
cv1 (in B2_1) = 2
cv2 (in B2_1) = redefined default
method1 was called for B2_1
cv1 (in B1_1) = 3
cv2 (in B1_1) = cv2 changed by B1_2
cv1 (in B2_1) = 3
cv2 (in B2_1) = cv2 changed by B2_1
-------------------------------------------------------------

cv1は再定義されてないので、上位クラスと共有します。cv2は再定義
したので、class B2独自のクラス変数になります。B1(上位クラス)の
メソッド内で、

      set_cv(:cv2, "cv2 changed by #{@name}")

とやると、B2(下位クラス)の方のcv2が変更されます。つまり、C++な
どと違って、クラス変数も動的結合になります。

# 長年C++を使ってきたので、こういう動的オブジェクト指向がおも
# しろくてハマッてます。10年以上前にsmalltalkの青本を読んで
# 「こういう言語で遊びたい」と思ったのですが、やっと夢がかなっ
# た感じです。まつもとさんには感謝してます。

-------------------------------------------------------------
中島 拓 (株)ブレーン パッケージ開発部 
([e-mail])
http://www03.u-page.so-net.ne.jp/dc4/tnaka/