Rust、型の移動と破棄を制御する新トレイト「Move」「Forget」を提案

Rust project goals: Immobile types and guaranteed destructors

Rustプロジェクトは、型がメモリ上で移動可能か、破棄が保証されるかを明示する新たなトレイト「Move」と「Forget」を提案している。これにより、自己参照型の扱いを簡素化し、安全なscoped spawnやasync dropを可能にする。Linuxカーネルでの実証実験も計画されており、Pinの廃止も視野に入れている。

「型が移動可能かどうかを型の性質としてエンコードすることで、Pinよりも単純になります。なぜなら、不動性が場所の性質ではなく型の性質になるからです。」

同じ日のその他の記事

2026-08-03