>>367
各クラスのメンバ関数は、そのクラスのインスタンスが全て無くなれば要らなくなる。
当たり前だが、GC上のオブジェクトについては全て「型」を知っている。
だから、GCヒープしか提供していない言語であれば、全く問題なく回収可能。

それ以前に、JIT前提であればとりあえず回収して例外処理で再配置も可能。
コピーオンライトの関数版だ。

とにかく君達が懐疑的なのは分かったが、実際CLRはそうなんだよ。