自作クラスの親クラスがModuleではなく、Objectになる理由

Question

自作クラスの親クラスがModuleではなく、Objectになる理由をお聞きしたいです。

下記のコードを書いたとします。

class MySuper
end

class MySub
end

この時、superclassで親クラスを辿ると下記のような関係になります。

#        Object
#   ↑               ↑
# MySuper   Module
#   ↑               ↑
# MySub     Class

MySuperやMySubは定数で、Classクラスのインスタンスを格納しているとすると、下記のようになると思いました。

Object
  ↑
Module
  ↑
Class
  ↑
MySuper
  ↑
MySub

このような継承関係にならない理由は何故でしょうか？
ご回答、よろしくお願い致します。

追記

現在の私の理解を、図に表してみました。

Answer 1

親クラスを指定しないクラスの親はObjectクラスです。

おそらく、「Classクラス」の親クラスがModuleクラスであることと混同されているのではないでしょうか。
「クラス」と「Classクラス」は別物です。

Comments

[mitsuru793]

ご回答頂き、ありがとうございます。

> 親クラスを指定しないクラスの親はObjectクラスです。
Classクラスの場合は、
class Class < Module; end
のようになっているから、Classクラスの親クラスはModuleクラスなのでしょうか？

> 「クラス」と「Classクラス」は別物です。
クラスを作っているのが、Classクラスだと思っております。下記のnewのレシーバーのClassは、Classクラスだと思っていのですが、違うのでしょうか？

MyClass = Class.new

[otn]

> のようになっているから、Classクラスの親クラスはModuleクラスなのでしょうか？
そうですね。

> 下記のnewのレシーバーのClassは、Classクラスだと思っていのですが、違うのでしょうか？
違いません。その通りです。
Classクラスのインスタンスが作られ、MyClassに代入されます。
この質問が出ると言うことは、「クラス⇔インスタンス」の関係と「親クラス⇔子クラス」の関係の整理が付いていないような気がします。
「クラス⇔インスタンス」・・・・・Class⇔MyClass
「親クラス⇔子クラス」・・・・・・Object⇔MyClass

[mitsuru793]

> この質問が出ると言うことは、「クラス⇔インスタンス」の関係と「親クラス⇔子クラス」の関係の整理が付いていないような気がします。

私が理解している関係を図にして、本文トピックに追記として追加しました。どこかが間違っているのでしょうか？
自作クラスの親クラスがClassでも、Moduleでもなく、Objectになる理由がまだわかりません。

お手数おかけしますが、ご回答いただければ幸いです。

[otn]

図の理解で合ってると思います。継承の矢印が逆な気がしますが、逆向きで統一されているのでまあいいかと。

> 自作クラスの親クラスがClassでも、Moduleでもなく、Objectになる理由がまだわかりません。

クラスをそういう風に決めているというか、親を指定しないクラスはそのままでは親がないので、すべてのクラスの親としてObjectというクラスを設けたと言うことです。

逆に、何故ClassやModuleになると思うのでしょう？
「xがｙのインスタンスである」と「xの親クラスがyである」を混同しているとしか思えないです。

[mitsuru793]

ご確認ありがとうございます。
もう一度自分でコードを書いて整理し、納得することができました。
http://qiita.com/mitsuru793/items/1a37c82dcb60b31dfdc8

> 逆に、何故ClassやModuleになると思うのでしょう？
ClassやModuleに追加したメソッドが自作クラスでも使えることから混同していました。しかし、これは追加したインスタンスメソッドがクラスメソッドとして使える点で、継承とは違います。使えるようになるのは`Class`クラスを通してクラス自体の仕様を変えていたからですよね。

otnさんの下記のご指摘をきっかけに解決することができました。大変助かりました。本当にありがとうございました。

> この質問が出ると言うことは、「クラス⇔インスタンス」の関係と「親クラス⇔子クラス」の関係の整理が付いていないような気がします。
> 「クラス⇔インスタンス」・・・・・Class⇔MyClass
> 「親クラス⇔子クラス」・・・・・・Object⇔MyClass

Answer 2

うーん、整理して説明するのが難しいな・・・

まず、大前提として、Rubyでは全てがオブジェクトです。Classもオブジェクトです。そして、全てのオブジェクトは何らかのクラスのインスタンスです。ClassもClassのインスタンスです。ここまでいいですか？

さて、class構文でクラスを作成していますが、

class MyClass
end

と

class MyClass < Object
end

と

MyClass = Class.new

と

MyClass = Class.new(Object)

は__ほぼ__同じです。厳密には前半二つと後半二つでは作られ方に微妙な違いがあるのですが、結果的に作られている物は同じです。

まず、最初の二つを見てください。Rubyでは<を用いて親クラスを指定しなかった場合、< ObjectとObjectが親クラスに指定された物と見なされます。どうしてそうなるかは仕様というしかありません。逆に言えば、クラスを作るときは本当は必ず親クラスの指定が必要なんだけど、< Objectの場合は省略しても良いということもできます。なので、目には見えない< Objectが本当は存在するため、Objectが親クラスになります。

次に、前半二つと後半二つの関係ですが、class構文は言ってみればClass.newの特別な書き方で、Classのインスタンスを作るということわかりやすく書けるようにしていると言えます。実質A = Array.newとか書くのと変わりません。module構文も同じで、Module.newをしているだけです。なんら特別なことはしていません。後半二つの間の違いは親クラスの指定ですが、こちらもclass構文と同じで、省略したらObjectを指定したと見なされます。

そこで気付いたと思いますが、そう、class構文で作ったクラスもまた、ただの定数です。Classもまたただの定数にすぎません。クラスになっている物もすべて他の定数と同じように扱われ、それ以上でもそれ以下でもありません。ただそれらがClassのインスタンスであり、(削除をしていない限り)newメソッドを呼び出すとそのインスタンスを作るという動きになっているだけにすぎません。

Comments

[mitsuru793]

解説して頂いた部分は理解できたのに、表題の部分で不思議に思っていました。私が勘違いをした理由は下記のとおりです。

> ClassやModuleに追加したメソッドが自作クラスでも使えることから混同していました。しかし、これは追加したインスタンスメソッドがクラスメソッドとして使える点で、継承とは違います。使えるようになるのは`Class`クラスを通してクラス自体の仕様を変えていたからですよね。

> 厳密には前半二つと後半二つでは作られ方に微妙な違いがあるのですが、結果的に作られている物は同じです。

微妙に違いがあるのは知りませんでした！これを理解するにはRubyのソースコードを読めるようにする必要があるのですかね。また新しいことが知れて嬉しいです。

この度は、丁寧な解説をして頂きありがとうございました。また機会がありましたら、次回もよろしくお願い致します。