注目★★★★★Lobsters
Rust の新しい借用チェッカー Polonius Alpha、nightly で利用可能に
30秒で把握
- 1Rust の新しい借用チェッカー Polonius Alpha を nightly で有効化、流れを考慮した借用解析で NLL では却下される正当なコードが実行可能に
- 2ダウンロード上位 1 万クレートで大幅な性能低下は稀、最悪ケースでも 2〜3 倍程度で安定版化への準備が整った
- 3年内の安定版化予定、opt-out は `-Zpolonius=off` で可能、開発者からのフィードバックを GitHub と Zulip で募集中
要約
Rust チームは次世代の借用チェッカー「Polonius Alpha」を nightly 版で有効化し、年内の安定版化を目指す。Polonius Alpha は流れを考慮した借用チェッキング(フロー感応的な解析)を導入し、NLL では却下されていた正当なコードをコンパイル可能にする。パフォーマンスについては、ダウンロード上位 1 万のクレート群から大幅な回帰例は稀であり、最悪でも 2〜3 倍程度に留まっているため、安定版化の準備が整った。
あなたへの影響
日本の Rust 開発チームが nightly を試行する場合、既存プロジェクトの compile time 増加を事前検証し、必要に応じて `-Zpolonius=off` で段階的な導入を検討すべき。
推奨:フロー感応的な解析により、バッファ返却パターンやオプション分岐での借用生存期間が正確に判定されるため、データ構造を柔軟に設計できるようになる。