> > GCを実現するためにはGC対象のオブジェクトへの全ての参照を検出する必要がある。
> > でも言語使用とか諸々の都合でそれを完全にすることは出来ないと言う場合がある。
> > そうすると時々「多分参照されているだろう」オブジェクト(仮にX)が出来てしまう。
> > XはGCで破棄することは出来ないからXが何処からも参照されて居ない場合Xはリークしたと言える。
> > 俺の説明ではさっぱり分からんな。
> ああ、さっぱり分からん

例えばC言語にGCを実装するとなるとそういう問題にぶち当たるわけだ。
結局レジスタやメモリに入ってしまえばポインタも整数も変わらんから。
んでそういう場合メモリとかをスキャンするときにポインタっぽい感じの
物は全部ポインタだと仮定してしまえば安全かつ楽だろうという話しだ。

参考：2001/08/14(火)03時34分10秒