【用代码说话】#1.实例对象

英顺的马甲

再来一段，这一段当初朋友都疑惑了好久

1. def xor(a, b)
   
2.   return ((a ? true : false)!=(b ? true : false)) # 这里刚刚不小心写成了 ==
   
3. end
   
4. ary1 = [1,2,3,4,5]
   
5. ary2 = [2,4,6,8,10]
   
6. p xor(ary1.include?(1), ary1.include?(2))
   
7. p xor(ary2.include?(1), ary2.include?(2))
   
8. p xor(ary1.include?(0), ary2.include?(1))
   
9. p xor(ary1, ary2)
   
10. p xor(nil, ary2)

复制代码

有丘直方

至今没搞懂为啥同一个类的实例在执行了同一个方法之后会变成不同的东西。

英顺的马甲

有丘直方 发表于 2016-7-17 14:10
至今没搞懂为啥同一个类的实例在执行了同一个方法之后会变成不同的东西。 ...

1. class Human
   
2.   attr_reader :DNA
   
3.   attr_reader :characteristic
   
4.   def initialize
   
5.     @DNA = rand
   
6.     @characteristic = rand
   
7.     [url=home.php?mod=space&uid=89503]@deAd[/url] = false
   
8.   end
   
9.   def same_as?(other)
   
10.     return (other.is_a?(Human) and @DNA == other.DNA and @characteristic == other.characteristic)
    
11.   end
    
12.   def kill
    
13.     print "dead"
    
14.     @dead = true
    
15.   end
    
16.   def dead?
    
17.     return @dead
    
18.   end
    
19. end
    
20. 有丘直方 = Human.new
    
21. p 有丘直方.is_a?(Human)
    
22. temp = 有丘直方
    
23. p temp == 有丘直方
    
24. 复制人 = 有丘直方.clone
    
25. p 复制人.is_a?(Human)
    
26. 复制人.same_as?(有丘直方)
    
27. p 复制人 == 有丘直方
    
28. 复制人.kill
    
29. p 复制人.dead?, 有丘直方.dead?
    
30. p 复制人.same_as?(有丘直方)
    
31. 有丘直方.kill
    
32. p 有丘直方.dead?
    
33. p 复制人.same_as?(有丘直方)

复制代码

kuerlulu

看英叔这么开心突然也想来一个好玩的【

1. def a
   
2.   def a
   
3.     2
   
4.   end
   
5.   1
   
6. end
   
7. p [a, a]

复制代码

有丘直方

英顺的马甲 发表于 2016-7-17 14:31

1. class Human
   
2.   attr_reader :DNA
   
3.   attr_reader :characteristic
   
4.   def initialize
   
5.     @DNA = rand
   
6.     @characteristic = rand
   
7.     [url=home.php?mod=space&uid=89503]@deAd[/url] = false
   
8.   end
   
9.   def same_as?(other)
   
10.     return (other.is_a?(Human) and @DNA == other.DNA and @characteristic == other.characteristic)
    
11.   end
    
12.   def kill
    
13.     print "#{self}died!\n"
    
14.     @dead = true
    
15.   end
    
16.   def dead?
    
17.     return @dead
    
18.   end
    
19. end
    
20. 有丘直方 = Human.new
    
21. p 有丘直方.is_a?(Human)
    
22. temp = 有丘直方
    
23. p temp == 有丘直方
    
24. 复制人 = 有丘直方.clone
    
25. p 复制人.is_a?(Human)
    
26. 复制人.same_as?(有丘直方)
    
27. p 复制人 == 有丘直方
    
28. 复制人.kill
    
29. p 复制人.dead?, 有丘直方.dead?
    
30. p 复制人.same_as?(有丘直方)
    
31. 有丘直方.kill
    
32. p 有丘直方.dead?
    
33. p 复制人.same_as?(有丘直方)

复制代码

在ruby的运行结果是

1. true
   
2. true
   
3. true
   
4. false
   
5. #<Human:0x872fd0>died!
   
6. true
   
7. nil
   
8. true
   
9. #<Human:0x873048>died!
   
10. true
    
11. true

复制代码

我知道你的论点是正确的，但是我想要知道为什么会这样。因为本身我没有指出你的论点错误，我也不想辩论，所以我只是想知道原因而已，你就需要告诉我一个答案。

有丘直方

英顺的马甲 发表于 2016-7-17 14:31

1. class Human
   
2.   attr_reader :DNA
   
3.   attr_reader :characteristic
   
4.   def initialize
   
5.     @DNA = rand
   
6.     @characteristic = rand
   
7.     [url=home.php?mod=space&uid=89503]@deAd[/url] = false
   
8.   end
   
9.   def same_as?(other)
   
10.     return (other.is_a?(Human) and @DNA == other.DNA and @characteristic == other.characteristic)
    
11.   end
    
12.   def kill
    
13.     print "#{self}died!\n"
    
14.     @dead = true
    
15.   end
    
16.   def dead?
    
17.     return @dead
    
18.   end
    
19. end
    
20. 有丘直方 = Human.new
    
21. p 有丘直方.is_a?(Human)
    
22. temp = 有丘直方
    
23. p temp == 有丘直方
    
24. 复制人 = 有丘直方.clone
    
25. p 复制人.is_a?(Human)
    
26. 复制人.same_as?(有丘直方)
    
27. p 复制人 == 有丘直方
    
28. 复制人.kill
    
29. p 复制人.dead?, 有丘直方.dead?
    
30. p 复制人.same_as?(有丘直方)
    
31. 有丘直方.kill
    
32. p 有丘直方.dead?
    
33. p 复制人.same_as?(有丘直方)

复制代码

在ruby的运行结果是

1. true
   
2. true
   
3. true
   
4. false
   
5. #<Human:0x872fd0>died!
   
6. true
   
7. nil
   
8. true
   
9. #<Human:0x873048>died!
   
10. true
    
11. true

复制代码

我知道你的论点是正确的，但是我想要知道为什么会这样。因为本身我没有指出你的论点错误，我也不想辩论，所以我只是想知道原因而已，你就需要告诉我一个答案。

英顺的马甲

关于实例的问题以前倒是有这么个脑残贴
链接：残脑帖，来说说rmxp储存后的阿尔西斯还是原来的阿尔西斯吗

1. class A
   
2. end
   
3. a = A.new
   
4. p a.object_id
   
5. b = a
   
6. p b.object_id
   
7. p b == a
   
8. b = Marshal.load(Marshal.dump(b))
   
9. p b.object_id
   
10. p b == a
    
11. b = ObjectSpace._id2ref(a.object_id)
    
12. p b.object_id
    
13. p b == a

复制代码

myownroc

满脑子面向过程的弱鸡瑟瑟发抖

garfeng

有丘直方 发表于 2016-7-17 14:10
至今没搞懂为啥同一个类的实例在执行了同一个方法之后会变成不同的东西。 ...

我猜你想问10楼我问过的东西。
因为开辟了不一样的内存地址来存储实例，而在比较时，默认==符号比较的是地址的值，而非实例里的成员的具体值。
内存地址不一样了，所以会不是同一个东西。

个人理解所写，欢迎拍砖：

[pre lang="ruby"] a = A.new
b = a
             Addr  Data    这是一个内存条
             +---+-------+
a ---------> | 1 |   3   |-------+
             +---+-------+       |
b ---------> | 2 |   3   |----+  |
             +---+-------+    |  |
             | 3 |       |<---+--+
             +---| Obj1  |
             | 4 |       |
             +---+-------+
             |...| ..... |
             +---+-------+

a = A.new
申请3~4的内存，吧Obj1存进去，将a赋值3
a --> Addr:1 --> Data:3 --> Addr:3 --> Obj1
b = a
b --> Addr:2 --> Data:3 --> Addr:3 --> Obj1

a和b都是3，所以
a==b # =>>true
a equal? b # =>> true
a eql? b   # =>> true

==========================================================================

a = A.new
b = A.new

               
              Addr  Data        这是一个内存条
              +---+-------+
a ----------> | 1 |   3   |----+  a存储的内容是3，即obj1的起始地址位
              +---+-------+    |  ---------------------------------------
b ----------> | 2 |   5   |----+--+ b存储的内容是5，即obj2的起始地址位
              +---+-------+    |  | -------------------------------------
              | 3 |       |<---+  |
              +---+  Obj1 |       | 3,4号地址位里存储的内容obj1，和
              | 4 |       |       | 5,6号里存储的obj2一模一样。
              +---+-------+       | 假设hash也一样？
              | 5 |       |<------+
              +---+  Obj2 |
              | 6 |       |
              +---+-------+
                           
                           
当使用a所代表的object时，访问顺序：

a --> Addr:1 --> Data:3 --> Addr:3 --> Data:Obj1
b --> Addr:2 --> Data:5 --> Addr:5 --> Data:Obj2

a是3，而b是5，所以
a==b #=>>false
a equal? b # =>> false
a eql? b # =>> true

=====================================================================
                           
涉及到哈希值的比较？

a = A.new
b = a.dup
             +---+--------+
a ---------> | 1 |   3    |----+
             +---+--------+    |
b ---------> | 2 |   5    |----+---+
             +---+--------+    |   |
             | 3 | Obj1   |<---+   |
             +---+ hash1  |        | hash1 和hash2 不一样，
             | 4 |        |        | 除此之外，Obj1和Obj2的
             +---+--------+        | 其他内容都一样？
             | 5 | Obj2   |<-------+
             +---+ hash2  |
             | 6 |        |
             +---+--------+

a==b #=>>false
a equal? b =>> false
a eql? b =>> false
[/pre]

慎点……

朋友学过c吗？
比如：

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <string.h>
   
4. 
   
5. int main() {
   
6.         char *a;
   
7.         char *b;
   
8.         char c[20] = "hello world";
   
9. 
   
10.         a = c;
    
11.         b = c;
    
12. 
    
13.         //这时a,b都指向同一个地址，c
    
14.         printf("a==?b : %d\n", a == b); //1,也就是true
    
15.         //可以打印出地址的具体值
    
16.         printf("addr a = %p ;addr b = %p\n", a, b);
    
17. 
    
18. 
    
19. 
    
20.         //这时，a,b都指向分别申请的不同地址的开头，但它们存储的内容一模一样
    
21.         a = (char *)malloc(sizeof(char) * 20);
    
22.         memcpy(a, c, sizeof(char) * 20);
    
23. 
    
24.         b = (char *)malloc(sizeof(char) * 20);
    
25.         memcpy(b, c, sizeof(char) * 20);
    
26. 
    
27.         printf("a==?b : %d\n", a == b); //0，也就是false，比较的是地址
    
28.         //可以打印出地址的具体值
    
29.         printf("addr a = %p ; addr b = %p\n", a, b);
    
30. 
    
31.         printf("*a==?*b : %d\n", (*a) == (*b)); //1,也就是true，比较的是a,b指向的地址所存储的值，该值是一个char，即“h”。
    
32.         //可以打印出地址里存储的内容
    
33.         //以int打印
    
34.         printf("value(int) of a = %d ; value(int) of b = %d\n", *a, *b);
    
35.         //以ascii字符打印
    
36.         printf("value(char) of a = %c ; value(char) of b = %c\n", *a, *b);
    
37. 
    
38. }
    
39. 
    
40. 
    
41. 
    

复制代码

输出：

$ ./test.exe a==?b : 1 addr a = 000000000024FE20 ;addr b = 000000000024FE20 a==?b : 0 addr a = 0000000000571220 ; addr b = 0000000000571240 *a==?*b : 1 value(int) of a = 104 ; value(int) of b = 104 value(char) of a = h ; value(char) of b = h

上面这段不是对象，但能从根本解释为何两个对象的实例不能划等号。
面向对象是从面向过程抽象出来的。
把类视为结构体，
把类的成员变量视为结构体的成员值（值或者指针），该值指向一段存储具体数值的内存地址，
把类的成员函数视为结构体成员值（指针类型），指向存储某函数的内存地址。
把类的self/this关键字视为一个指针，指向本实例的地址。



【再继续下去就需要写内存存放数据的方式了……】




买一本《深入理解计算机系统》吧。

RyanBern

garfeng 发表于 2016-7-17 17:10
我猜你想问10楼我问过的东西。
因为开辟了不一样的内存地址来存储实例，而在比较时，默认==符号比较的是地 ...

永远不要用其他语言来类比Ruby，尤其是C语言。这也是我初学的时候犯的错误之一。

首先吐槽为什么输出指针不用%p而是%d

下面是从 Ruby 官方文档上截取下来的。
链接：http://ruby-doc.org/core-2.3.1/Object.html#method-i-eql-3F

请自己体会一下 Ruby 的这个机制（约定）。顺便修改一下回复吧。