Ruby的单例方法的疑惑

class B
  class<<self
    def hello
      puts "old"
    end
  end
end

class<<B
  unless self.respond_to? :hello
    def hello
      puts "new"
    end
  end
end
B.hello

执行结果为new

class B
  class<<self
    def hello
      puts "old"
    end
  end
end

class<<B
  unless B.respond_to? :hello
    def hello
      puts "new"
    end
  end
end
B.hello

执行结果为old

这几段代码的作用都是打开类B的单例类，判断是否定义了hello方法，如果未定义，则定义这个方法，但是第一段和第二段代码的执行结果大相径庭。再看两段代码

class B
  def self.hello
    puts "old"
  end
end

class<<B
  unless self.respond_to? :hello
    def hello
      puts "new"
    end
  end
end
B.hello

执行结果为new

class B
  def self.hello
    puts "old"
  end
end

class<<B
  unless B.respond_to? :hello
    def hello
      puts "new"
    end
  end
end
B.hello

输出为old
一样的结果 百思不得其解

评论

4 楼 Ultraman84 2009-12-23  

这个问题已经有大大回答了，我引用以下吧 ，也可以结贴了
因为class X; end中的“环境”是X这个类自身，而class << X; end中的“环境”是X的eigenclass，一个“虚拟类”。所以你会经常看到Ruby元编程的代码里有这种东西：
Ruby代码

class Object  
  def eigenclass  
    class << self  
      self  
    end  
  end  
end  

这样可以获得一个对象的eigenclass。Ruby里类也是对象，而值对象是没有eigenclass的，所以会看到：
Irb代码

irb(main):001:0> class Object  
irb(main):002:1>   def eigenclass  
irb(main):003:2>     class << self; self; end  
irb(main):004:2>   end  
irb(main):005:1> end  
=> nil  
irb(main):006:0> e = Object.eigenclass  
=> #<Class:Object>  
irb(main):007:0> Object.is_a? Class  
=> true  
irb(main):008:0> Object.is_a? e  
=> true  
irb(main):009:0> 1.eigenclass  
TypeError: no virtual class for Fixnum  
        from (irb):3:in `eigenclass'  
        from (irb):9  
        from :0  

楼主提的问题就在于，
Ruby代码
class B 
  self 
end 

这里的self是指“B”类自己

Ruby代码

class B  
  class << self  # 1  
    self         # 2  
  end  
end  

这里，1的self是“B”类自己，而2的self是B的eigenclass。

Ruby代码

class << B  
  self  
end  

这里的self是B的eigenclass。

Irb代码 
irb(main):001:0> class B  
irb(main):002:1>   self  
irb(main):003:1> end  
=> B  
irb(main):004:0> class << B  
irb(main):005:1>   self  
irb(main):006:1> end  
=> #<Class:B>  

Irb代码

irb(main):001:0> class Object  
irb(main):002:1>   def eigenclass  
irb(main):003:2>     class << self; self; end  
irb(main):004:2>   end  
irb(main):005:1> end  
=> nil  
irb(main):006:0> class B  
irb(main):007:1>   def self.foo  
irb(main):008:2>     'foo'  
irb(main):009:2>   end  
irb(main):010:1>   class << self  
irb(main):011:2>     def bar  
irb(main):012:3>       'bar'  
irb(main):013:3>     end  
irb(main):014:2>   end  
irb(main):015:1> end  
=> nil  
irb(main):016:0> B.respond_to? :foo  
=> true  
irb(main):017:0> B.respond_to? :bar  
=> true  
irb(main):018:0> B.eigenclass.respond_to? :foo  
=> false  
irb(main):019:0> B.eigenclass.respond_to? :bar  
=> false  
irb(main):020:0> B.eigenclass.methods.grep /foo|bar/  
=> []  
irb(main):021:0> B.eigenclass.instance_methods.grep /foo|bar/  
=> ["bar", "foo"]  
irb(main):022:0> B.is_a? B.eigenclass  
=> true  

可以看到foo和bar都成为了B的eigenclass的instance_methods，而不在其methods之中。

在楼主给的代码中，由于B的eigenclass作为一个对象自己无法respond_to? :hello，而B作为B的eigenclass的实例则可以respond_to? :hello，所以就有楼主看到的行为了。

引用Yugui画的一张图来展示Ruby 1.8里的类层次与实例的关系：Metaclass hierarchy 1.8
（点击图左上角的all sizes）可以看到大图。

3 楼 boobmoom 2009-12-23  

看到了这个问题也想知道这是为什么

根据orange0513的提示

得知ruby中有一个单例类,或是单件类或叫metaclass 也有叫singletonclass 的

具体叫什么我不知道

在javaeye上搜到了一个几年前的贴子

讲得非常清楚

http://www.iteye.com/topic/20352

LZ可以去看看

2 楼 orez88 2009-12-22  

class B
end

class<<B
  def hello
    puts "old"
  end
    
  unless self.respond_to? :hello
    def hello
      puts "new"
    end
  end
end
puts B.hello

###################################

class B
end

class<<B
  def hello
    puts "old"
  end
  class << self
    def hello
      puts "old"
    end
  end
  unless self.respond_to? :hello
    def hello
      puts "new"
    end
  end
end
puts B.hello

1 楼 orange0513 2009-12-17  

你可以puts self看看。class << B打开的是B的单例类,而在类中定义的是该单例类的实例对象B的方法。所以#<Class:B>这个单例类本身就不能响应hello方法。
class B 
  class<<self 
    def hello 
      puts "old" 
    end 
  end 
end 
 
class<<B 
  unless self.respond_to? :hello
    puts self  #输出这里看看!
    def hello 
      puts "new" 
    end 
  end 
end