回収されることと、閉じられることは別

同じことを Python 3.14.7・Node v24.21.0・Go 1.27.1 で試しました(いずれも Docker、aarch64)。Python は、循環の無いオブジェクト a と、互いを指し合う b と c を作って捨て、最後に gc.collect() を呼びます。

import gc
class R:
    def __init__(self, n): self.n = n
    def __del__(self): print("  del", self.n)
print("1: no cycle"); a = R("a"); a = None; print("  after a=None")
print("2: cycle"); b = R("b"); c = R("c"); b.o = c; c.o = b; b = c = None; print("  after b=c=None")
print("  collect ->", gc.collect())
print("3: end")

Node は無名のオブジェクトを FinalizationRegistry に登録してすぐ手放し、Go は SetFinalizer を付けた値を nil で捨ててから main を終えます。

### run 1 python:3.14-slim
1: no cycle
del a
after a=None
2: cycle
after b=c=None
del b
del c
collect -> 2
3: end
exit=0
### run 1 node:24.21.0-alpine
script ends
exit=0
### run 1 golang:1.27-alpine
main returns
exit=0

Python では、循環の無い a は手放した直後に del a が出ました。循環する b と c は after b=c=None の時点では何も起きず、gc.collect() を呼んで初めて __del__ が呼ばれ、2 が返りました(回収できたものと、できなかったものの合計数)。

即座に消えたのは、CPython が参照カウントを使っているからです。ただし Data model はこれを CPython implementation detail の枠に置き、同じ枠で so you should always close files explicitly と書いています。言語の約束ではありません。

Node と Go では、後始末の関数は一度も呼ばれないままプロセスが終わりました。

Rust には GC がありません。値はスコープの終わりで drop されます。では Rust なら後始末は必ず走るのでしょうか。rustc 1.98.1 で、スコープで囲んだ値と、自分自身を指す Rc を比べました。

struct R(&'static str);
impl Drop for R { fn drop(&mut self) { println!("  drop {}", self.0); } }
fn main() {
    { let _a = R("a"); println!("  in scope"); }
    println!("  after scope");
    use std::rc::Rc; use std::cell::RefCell;
    struct N { _o: RefCell<Option<Rc<N>>>, _r: R }
    let x = Rc::new(N { _o: RefCell::new(None), _r: R("cycle") });
    *x._o.borrow_mut() = Some(x.clone());
    drop(x);
    println!("  end of main");
}

### run 1 rust:1-slim
in scope
drop a
after scope
end of main
exit=0

スコープを抜けた瞬間に drop a が出ています。一方、drop(x) で手放した循環のほうは、end of main の後も含め、プロセスが終わるまで drop cycle が一度も出ませんでした。

これは Rust の約束の範囲内です。std::mem::forget の文書は Rust’s safety guarantees do not include a guarantee that destructors will always run と書き、例として Rc の循環と process::exit を挙げています。Rust Book も memory leaks are memory safe in Rust です。