Moduleにincludeする場合とClassにincludeする場合で、結果が違うのだが、どうしてかな？

Question

###前提・実現したいこと
module Kazをmodule Test2にincludeして
名前を小文字で出力したい。

###発生している問題・エラーメッセージ
現状では、Classにincludeすれば予想通りに小文字（”car”）が出力されるが、
moduleにincludeすると大文字（”Car”）で標示される。

###該当のソースコード

module Kaz

    listA = ["Car", "Train"]
    
    # method generate
    listA.each do |c|
      define_method "#{c}" do
        eval "#{c}.new"
      end    
    end

    # class generate
    listA.each do |vahi|
      Object.const_set vahi, Class.new(){
        attr_accessor :name
        def initialize
          @name = self.class.name.downcase
        end

      }
    end
end

class Test
  include Kaz  
end

a = Test.new
p a.Car.name => "car"

module Test2
  include Kaz
p  Car.name=> "Car"
end

###補足情報(言語/FW/ツール等のバージョンなど)
ruby 2.4.0p0 (2016-12-24 revision 57164) [x86_64-darwin16]

Answer 1

a.Car.nameでは、a.Carというメソッド呼び出しであり、Test2モジュールの中のCar.nameはCarという定数呼び出しです。KazモジュールにはCarという定数※とCarというインスタンスメソッドの同じ名前で違うものが同時に存在し、定数のCarはCarというクラスで、メソッド呼び出しはCarをnewしたインスタンスです。クラスにはデフォルトでnameメソッドがあり、自分の名前(クラス名)を返すので、どちらもエラーになりません。nameの代わりにclassとすると何のクラスのオブジェクトなのかがよくわかると思います。

※ Car定数が定義されているのはObjectですが、定数参照により辿り着くことができるため、全ての場所にCar定数が存在することになります。

より単純化した、下記のコードで説明します。

module M
  def X
    1
  end
  X = 0
end

class A
  include M
end
a = A.new
p a.X

module B
  include M
  p X
end

Mモジュールには二つのXが存在します。

• Xメソッド … 1を返す
• X定数 ... 0

AクラスもBモジュールもMモジュールをincludeしていますので、上と同じようにXメソッドとX定数が定義されます。(Xメソッドはインスタンスメソッドであることに注意してください)

a.Xとしたとき、.があるため、Xはaのメソッド呼び出しとして解釈されます。aはAクラスのインスタンスなので、Aクラスのメソッドを探します。ちょうどincludeしたMモジュールにXメソッドありましたので、それを使って1を返します。

Xとしたとき、.とかがなく大文字から始まるため、Xは定数呼び出しとして解釈されます。定数参照の優先順位に従って探し、includeしたMモジュールにX定数がありましたので、それを使って0を返します。

通常※、メソッド名を大文字から始めることは推奨されていませんので、このような混乱を起こすことはほとんどありません。

※ String(1)のようなクラス名関数という考え方があるため、大文字から始まるメソッド名が絶対に悪いわけではありません。

Comments

[otn]

> Carという定数※とCarというメソッドの同じ名前で違うものが同時に存在し
後半のほうでは、Carというメソッドは定義されないようですよ。

[raccy]

モジュールの特異メソッドだと勘違いされそうなので、インスタンスメソッドとしました。これであってますかね？

Answer 2

1つ目の方では、クラスTestのインスタンスメソッドCarとTrain、およびクラスTest::Carが定義されます。
aは、クラスTestのインスタンスで、メソッドCarが呼び出されます。その戻り値は、Test::Car.new つまりクラスTest::Carのインスタンスが生成されてそれが戻ります。このとき@nameは"car"がセットされています。そのクラスTest::Carの新規インスタンスに対して、クラスTest::Carのインスタンスメソッドnameが呼び出されるので、"car"が返ります。

2つ目の方では、モジュールのメソッドTest2::CarとTest2::Trainは定義されず(※)、クラスTest2::Carが定義されます。ここで、Carと出てくるとクラスTest2::Carを表します。Car.name で、クラス名が返ります。ここのnameはModuleクラスのインスタンスメソッドです。

※定義されない理由はうまく説明できません。Module#inlcudeは、C言語の#includeとは違って、ソースを埋め込むわけでは無い。仮に定義されていても同名の場合、メソッド名よりクラス名が優先されるようです。