既に解放されたデータを指すコードが通ってしまうRustコンパイラのバグ、11年前から報告(github.com)

- Rustコンパイラは、データがなくなった後にそのデータを指すコードを防がなければなりません。GitHubのrust-lang/rustのイシュー164250は、構造体のフィールドに短命な参照を入れることで、この検査を回避できると報告しています。 - 原文の例では、プログラムがコンパイルされ、すでに解放されたメモリの値を出力しました。イシューの作成者は、メモリアドレスを検査するツールであるAddressSanitizerを有効にすると、stack-use-after-scopeエラーで停止したと書いています。これは作成者が報告した結果です。 - 作成者は、nightly（正式リリース前の試験版）と1.85.0以降の安定版で再現すると書いています。1.18.0以降に同じコードがコンパイルされたという内容は、コメント投稿者の体験談です。 - イシュー本文は、この問題をP-high（高い優先度）に分類し、悪用には意図的に作られたDrop実装が必要だと説明しています。これはイシュー作成者たちの判断です。原文では、修正コードや修正を含むリリース版は確認されていません。