關(guān)于對(duì)象，我犯了一個(gè)錯(cuò)誤

pepperwang 發(fā)布于2019-07-30 15:10 / 919人閱讀

摘要：在我的一個(gè)業(yè)務(wù)邏輯代碼中，我不幸需要編寫(xiě)以下類(lèi)這里我們用抽象的表示這是兩個(gè)沒(méi)有什么問(wèn)題的對(duì)象，不過(guò)在創(chuàng)建的實(shí)例時(shí)，會(huì)讓自己的屬性指向一個(gè)的實(shí)例，而中的屬性又指向該實(shí)例所以我們可以像下面這樣訪問(wèn)這樣能夠使得擁有的控制權(quán)，也同時(shí)使得擁有的控制權(quán)

在我的一個(gè)業(yè)務(wù)邏輯代碼中，我不幸需要編寫(xiě)以下類(lèi)(這里我們用抽象的A, B, C表示)

class A:
   value = 0
   def __init__(self, b):
                self.b = b
    
   def set_1(self):
        self.value = 1
        
class B:
        
    def __init__(self):
        pass
        
    def reset(self):
        self.a = A(self)

這是兩個(gè)沒(méi)有什么問(wèn)題的對(duì)象，不過(guò)在創(chuàng)建B的實(shí)例時(shí)，會(huì)讓自己的屬性a指向一個(gè)A的實(shí)例，而a中的屬性b又指向該B實(shí)例
所以我們可以像下面這樣訪問(wèn)：

b = B()
a = b.a
assert b.a.b is b
assert b.a.b.a is a

這樣能夠使得b擁有a的控制權(quán)，也同時(shí)使得a擁有b的控制權(quán)。

但是當(dāng)我試圖用一個(gè)類(lèi)C來(lái)代理實(shí)例b時(shí)，卻犯了一個(gè)錯(cuò)誤

class C:
    b = B()
    a = b.a
 
    def __init__(self):
        pass
 
    def read_a(self):
        return self.b.a.value
 
 
c = C()
assert c.read_a() == 0
c.a.set_1()
assert c.read_a() == 1
 
c.b.reset()
assert c.read_a() == 0
assert c.a == 0  # AssertionError

為什么這里我會(huì)腦子抽斷言 c.a == 0呢？
因?yàn)槲抑饔^地認(rèn)為這里實(shí)例b執(zhí)行了reset函數(shù)，于是重新實(shí)例化了屬性b.a=A(self)
那么a在實(shí)例過(guò)程中，會(huì)讓a.value = 0
所以 c.b.a.value == 0
而我們的c.a = b.a
所以c.a.value == c.b.a.value == 0
幾乎完美的推理!!!

但是我忽略了，這里的c.a is not c.b.a !!!
原因如下：
假設(shè)一開(kāi)始實(shí)例化A, B 為 a1, b1
c.a -> a1
c.b -> b1
那么當(dāng)b1.reset() 的時(shí)候，a是重新實(shí)例化的一個(gè)A對(duì)象，用JAVA的話(huà)來(lái)說(shuō)，就是重新new 了一個(gè)A
b1.a -> a2
故c.b.a == c.b1.a == a2
而c.a == a1
a1.value在a1.set_1()之后，賦值為 1
a2.value在b1.reset()之后，賦值為 0
所以斷言錯(cuò)誤

記錄這個(gè)錯(cuò)誤警告自己在今后的編碼過(guò)程中不要一味主觀地用數(shù)學(xué)觀點(diǎn)，而要弄清楚具體對(duì)象。