[ruby-list:31193] Re: クラスメソッドについて

師星と申します。

> 今回知りたいのは「クラスメソッドの概念」についてです。
> 
> この間、「プログラミングRuby」を購入して勉強していますが（ちなみに、Ruby
> の本は「RubyでCGI」以外は全て持っています）、クラスメソッドに対しては、
> だいぶ理解に悩んでいます。

いったんクラスメソッドを忘れてお読みはじめ下さい。


1. Rubyのメソッドは、次の2種類に分けられます。
 - インスタンスメソッド
 - 特異メソッド

1.1. インスタンスメソッドは、そのクラスのインスタンスはどれでも使えま
     す。これに関しては特に理解に問題はないかと思います。

	例:
	class A
	  def a
	    print "a"
	  end
	end
	
	a1 = A.new
	a2 = A.new
	a1.a	# => "a"
	a2.a	# => "a"

1.2. 特異メソッドは、ある特定のオブジェクトだけが使えるメソッドです。
     これを定義するには、通常、"def クラス名.メソッド名" という書式を
     使います(*1)。

	例:
	a3 = A.new
	def a3.aa
	    print "aa"
	end
	a3.aa	# => "aa"
	a1.aa	# => エラー

     この特異メソッドの概念は、C++やJavaにはないものです。

2. Rubyでは、クラスも一つのオブジェクトです。
   クラスを定義するということは、クラスオブジェクトを一つ生成するとい
   うことでもあります。クラスAを定義すると、Aというクラスオブジェクト
   が作られるわけです。
   クラスメソッドは、このクラスオブジェクトが持つ特異メソッドです(*2)。

	例: (1.2の例と見比べてみてください)
	def A.aaa
	    print "aaa"
	end
	A.aaa	# => "aaa"

   クラスメソッドを使えるのはクラスオブジェクトAという特定のオブジェク
   トだけですから、そのクラスのインスタンスa1、a2、a3では使えません。

	例:
	a1.aaa	# => エラー

2.1. 但し、クラスオブジェクトは、特異メソッドに関して通常のオブジェク
     トとは少し異なった特殊な振る舞いをします。

2.1.1. クラスオブジェクトは、上位クラスの特異メソッドを受け継ぎます。
       これは「ある特定のインスタンスだけが使える」という特異メソッド
       の性質に対する例外です(*3)。

	例:
	class B < A
	end
	
	B.aaa	# => "aaa"

2.1.2. (ほかにありましたっけ?)

2.2. いってみれば、Rubyでは、クラスオブジェクトの特異メソッドを、
     2.1節のような特殊な取り扱いをすることで、C++やJavaのクラスメソッド
     を「模倣」しているのだ、といえます。
     ですから、Rubyの世界をストレートに理解するためには、クラスメソッド
     という概念をことさらに意識する必要はないと思います。


以上をふまえると、ご質問にある文章は次のように言い換えられるでしょうか。

> １．クラスメソッドというものは、「オブジェクトを生成しなくても使用できる
> メソッド」ということでしょうか？

  「オブジェクト         を生成しなくても使用できるメソッド」
→「クラスAのインスタンスを生成しなくても使用できるメソッド」

> ２．クラスメソッドは、「クラスに属するメソッド」という説明と「特定のオブ
> ジェクトに関連づけられないメソッド」という二つがありますが、この二つの関
> 係がよくわからないのですが・・・。
> ＃　いくつか解説書を読むと、「どこかでメソッド定義を行うと、そのクラス内
> で定義しなくても使用することができるメソッド」と取れるのですが・・・

  「クラス             に属する      メソッド」
→「クラスオブジェクトAが受け手であるメソッド」

  「特定のオブジェクト           に関連づけられない メソッド」
→「クラスAのインスタンス(a1など)が受け手にならない メソッド」

> ３．クラスメソッドは、使用するときに「クラス名．クラスメソッド名」と書く
> のはまだわかるのですが、定義でも「クラス名．クラスメソッド名」と書くのは
> なぜなのでしょうか？　ただ単にオブジェクトから使えるメソッドと区別するた
> めでしょうか？（たとえば、オブジェクトがら使えるメソッドと同じ名前でクラ
> スメソッドが使える利点があるとか）

1.2. と 2. を見比べると、それは単に特異メソッドであるから、ということ
がわかりやすいのではないかと思います。