[解決済み] Rustはガベージコレクタの代わりに何を搭載しているのか？

質問

Rustにはガベージコレクタがないそうですが、バインディングがスコープ外に出たときにメモリがどのように解放されるのか気になります。

この例では、'a'がスコープ外に出たときに、Rustが'a'に割り当てられたメモリを再要求することが理解できます。

{
    let a = 4
}

私が抱えている問題は、第一にこれがどのように起こるのか、第二にこれは一種のガベージコレクションではないのでしょうか？ 典型的な」ガベージコレクションとはどのように違うのでしょうか？

どのように解決するのですか?

ガベージコレクションは通常、ヒープが満杯に近い場合やある閾値を超えた場合など、定期的または必要に応じて使用されます。そして、未使用の変数を探し、そのメモリを解放します。 アルゴリズム .

Rustはコンパイル時に変数がスコープから外れるか、その寿命が終わるかを知ることができるので、対応するLLVM/アセンブリ命令を挿入してメモリを解放することができます。

Rustはまた、以下のようなある種のガベージコレクションを可能にします。 アトミック参照カウント がありますが。