===的判定求解

zh99998

Fix本来就不是Fix的实例
但是，看5楼

猫哥哥

Fix本来就不是Fix的实例
但是，看5楼
zh99998 发表于 2009-7-21 17:18

没有明白5楼是什么意思。

但是可以肯定case...when不是拿equal?这种判断值的形式来做判断的……{:3_50:}
"equal?"和"=="、"eql?"不一样……"equal?"会同时检查值和内存地址。"=="只检查值。"eql?"检查值和类型。

zh99998

没有明白5楼是什么意思。

但是可以肯定case...when不是拿equal?来做判断的
"equal?"和"=="、"eql?"不一样……"equal?"会同时检查值和内存地址。"=="只检查值。"eql?"检查值和类型。 ...
猫哥哥 发表于 2009-7-21 17:37

5楼的意思是说，如果4楼的解释是对的，也就是===是用来判断父类子类，那么平时使用的case数字就会出现问题


13楼的，p出的值是不同的，但是我还是不明白===的作用

IamI

错错错，全错- -

zh99998

多谢提醒，现在问题可以比较清晰的表述了

问题更新为解释===的作用
1 === 1 #=>true
Fixnum === Fixnum #=>false

尝试1.is_a?(1)出错IamI 发表于 2009-7-21 17:42

这是因为后面的必须是Module

zh99998

这样只解释出了为什么
Fixnum === Fixnum #=>false
但是没有解释出为什么
1 === 1 #=>true

IamI

昨天终于明白了……长篇大论写好了但是懒得发，简单概括：
1.is_a?(Module) => false
Fixnum.is_a?(Module) => true
参考Module和Object当中定义的===方法，
无需多言了吧。
另外zh我不觉得这和解释器有什么关系……

---

那啥II我把这个记录贴上来研究一下了，在聊天记录看着不爽

本来打算发帖的……所以都留了代码，
原文：
啊对不起……上面我说的全部推翻= =
昨天晚上测试了1个小时得出的结论如下：
测试脚本：

1. 
   
2. class Module
   
3.   alias really ===
   
4.   def ===(obj)
   
5.     p "I'm called! By Class","self:" + self.inspect,"obj:" + obj.inspect
   
6.     really(obj)
   
7.   end  
   
8. end
   
9. class Object
   
10.   alias real ===
    
11.   def ===(obj)
    
12.     p "I'm called! By Object","self:" + self.inspect,"obj:" + obj.inspect
    
13.     real(obj)
    
14.   end  
    
15. end
    
16. p Fixnum === 1
    
17. p 1 === Fixnum
    
18. p Fixnum === Fixnum
    
19. p 1 === 1
    
20. exit
    

复制代码

所得结论如下：
Module的===等价于kind_of(但是左右操作数似乎相反)
Object的===等价于==
如果===的左操作对象是Module以及其子类，[B]是类而不是对象的[/B]
（左操作对象诸如：Class,Fixnum,String,Bitmap等等）
那么调用Module的===方法，也就是kind_of方法。
如果===的左操作对象不是Module或其子类，也就是说[B]是对象而不是类[/B]的
（左操作对象诸如：1（Fixnum的对象），"ABCD"（String的对象），nil（NilClass的对象））
那么调用Object的===方法，也就是==方法。
为什么？请看

1. 
   
2. p Fixnum.is_a?(Class)
   
3. p 1.is_a?(Class)

复制代码

[I]所有类都是Class类的子类[/I](偷瞄zh)
照此分析得：
Fixnum === 1，Fixnum是类，调用Module#===，即1.is_a?(Fixnum)，得true
1 === Fixnum，1是对象，调用Object#===，即1 == Fixnum，得false
Fixnum === Fixnum => Fixnum.is_a?(Fixnum) => true
1 === 1 => 1 == 1 => true

如有问题，欢迎反驳~