>GCがあるからメモリリークしない
そもそもこの発想が間違ってる
GCに何を期待してるの？
メモリがきつい環境で開発してるという事情は分かるけど
間違った期待をして，それができないからって文句言われても
>プログラムを動作させる上であるオブジェクがもはや不要になったが
>GCではそれが検出できない場合がありえるということ。
これは（広義の）バグでしょ？
こんなヌルイ/甘い考え方でプログラム作ってればメモリリークが起きて当然
GC以前の問題だよ
コンピュータに人間の都合を理解させるのは不可能なんだから
間を取り持つのは全部プログラマの仕事/責任