pythonのガーベジコレクションについて

Question

###pythonのガーベジコレクションについて
pythonの言語仕様を理解していない質問かもしれませんがご容赦ください。
pythonでgcモジュールを使って手動でガーベジコレクションを行うときに循環参照時の動作確認を行うとき以下のようなコードを書くと思います。

import gc

class A:
    def __del__(self)
        print('call __del__')

test=[A()]
test[0].test=test
del test
gc.collect()
# => 3

となると思うのですがこのときガーベジコレクションに送られるオブジェクトの数が3になる理由はなんでしょうか？

上の例ではclass Aのインスタンスtest[0],test[0].test[0]は全て同じインスタンスを参照しているわけではないのでしょうか？

詳しい方ご教授願いたいと思います。

Answer 1

gc.set_debug(gc.DEBUG_LEAK)をつけるとgc.collect()の時に回収したオブジェクトがわかるようです。
参考 https://pymotw.com/2/gc/ ※ Python2の資料のため、Python3では一部異なる場合があります。

手元のPython3で試したところ、下記のようになっていました。

gc: collectable <A 0x1097f9f98>
gc: collectable <list 0x10992a408>
gc: collectable <dict 0x1097f5508>

<A ...>はA()によって作られたAクラスのオブジェクト、<list ...>は[A()]によって作られたリスト(list)です。最後の<dict ...>なのですが、test[0]であるAクラスのオブジェクトの__dict__の実体である辞書(dict)のようです※。delの前にprint(hex(id(test[0].__dict__)))を挿入して、同じオブジェクトIDであることを確認しています。
※ この辞書には{'test': [<Aのオブジェクト>]}という感じで自己参照したものが保存されています。

この__dict__ですがちょっと面白い動きをするようです。色々試してみると、オブジェクトに任意の名前で代入したとき、つまり__dict__に中身があるような状態にしたときのみ、この<dict ...>が回収リストに出てきます。必要にされたときに、初めて自動的に作成される仮想的な辞書のようです。Pythonのソースコードを見ればもう少し詳しくわかるかも知れません。

Comments

[退会済みユーザー]

ありがとうございます！
勉強になりました。