Rust、型の移動と破棄を制御する新トレイト「Move」「Forget」を提案
Rust project goals: Immobile types and guaranteed destructors
Rustプロジェクトは、型がメモリ上で移動可能か、破棄が保証されるかを明示する新たなトレイト「Move」と「Forget」を提案している。これにより、自己参照型の扱いを簡素化し、安全なscoped spawnやasync dropを可能にする。Linuxカーネルでの実証実験も計画されており、Pinの廃止も視野に入れている。
「型が移動可能かどうかを型の性質としてエンコードすることで、Pinよりも単純になります。なぜなら、不動性が場所の性質ではなく型の性質になるからです。」