Rust 1.99.0 が正式にリリースされました。今回のリリースの最大の目玉は、extern "C" variadics（C 言語の可変長引数リストのサポート）の安定化です。さらに、生ポインタ（raw pointer）からのレイアウト情報取得の整備や、Box::leak のメモリ解放規則に関する重要な警告、複数の低レイヤー変換 API の安定化など、システムプログラミングの体験を一段と向上させる内容となっています。本記事では、これらの注目すべき新機能について詳しく掘り下げていきます。
extern “C” variadics のサポート
解決する課題：
これまでの Rust では、C 言語などで書かれた外部の可変長引数関数（libc の printf ファミリなど）を呼び出すことは容易でした。しかし、Rust 内部で可変長引数を受け取る関数を定義し、それを C 言語側へ公開して呼び出してもらうための直接的な言語サポートは長らく欠けていました。そのため、低水準な C ライブラリの置き換えや特定の C インターフェースを実装する OS ドライバの開発においては、複雑なマクロやインラインアセンブリに頼らざるを得ませんでした。
Rust 1.99 からは、"C" または "C-unwind" ABI を持つ可変長引数関数の直接定義が正式に可能になりました。引数型には明示的に ... を使用し、Rust 内部では新しい型である VaList として扱われます。この型は、低レイヤーにおいて C 言語の va_list 構造とクロスプラットフォームで完全な ABI 互換性を持ちます。安全性を確保するため、VaList から読み出し可能なデータ型は VaArgSafe トレイトによって厳格に保護されています。さらに本リリースでは、インラインアセンブリを用いて非 "C" ABI 向けの naked variadic 関数を記述するサポートも安定化されました。
公式サンプルコード：
/// SAFETY: must be called with (at least) 2 i32 arguments.
unsafe extern "C" fn sum(mut args: ...) -> i32 {
// SAFETY: guaranteed by the caller.
let a = unsafe { args.next_arg::<i32>() };
let b = unsafe { args.next_arg::<i32>() };
a + b
}
fn foo() -> i32 {
unsafe { sum(0i32, 2i32) }
}生ポインタ経由でのメモリレイアウト情報取得
解決する課題：
極限のパフォーマンスチューニングや独自のデータ構造を構築する際、生ポインタの操作は避けられません。そして生ポインタを扱う上で、背後にあるデータのメモリサイズ（Size）とアライメント（Alignment）を安全に取得することは極めて基本的な要求です。Sized を実装している型であれば比較的容易ですが、非 Sized 型（[T] や dyn Trait などの DST）では、ファットポインタの構造上、レイアウト情報の直接取得が煩雑であり、未定義動作（UB）を引き起こすリスクが常に伴っていました。
本リリースではこの領域の安全性要件が明確化され、生ポインタ専用のレイアウト取得関数群が安定化されました：
Layout::for_value_rawmem::size_of_val_rawmem::align_of_val_raw
これらの関数が安定化したことで、ポインタを参照へと事前に変換することなく、生ポインタを直接渡せるようになりました（未初期化メモリや厳格な借用規則が存在する状況下での参照変換は容易に UB を引き起こします）。これにより、低レイヤーのメモリ割り当て・解放処理やカスタムアロケータ（Custom Allocators）の実装がこれまでになく安全かつ容易になります。
破壊的注意点：Box::leak の解放取り消し（round-trip unleaking）の非推奨化
解決する課題：
これは非常に重要な動作仕様の更新です。Rust のメモリ管理において、Box::leak は動的確保したメモリを意図的にリークさせ、'static ライフタイムの可変参照を得るためによく用いられます。過去には、一時的にメモリをリークさせて利用し、プログラムのライフサイクル末尾で unsafe に Box へと再構築してドロップ（Drop）することで、リークを取り消す（いわゆる “round-trip unleaking”）手法を用いる開発者もいました。
しかし、1.99.0 の公式ドキュメントで大幅な改訂が行われ、このようなアンチパターンを行わないよう明確な警告が発せられました。これは、コンパイラの最適化モデル（特に将来の LLVM 最適化）が Box::leak を検出した際、「到達不能な解放（unreachable deallocation）」という積極的な最適化の仮定を適用する可能性があるためです。リーク後にそのメモリを再び解放すると、コンパイラのエイリアス解析（aliasing analysis）を破壊するだけでなく、将来カスタムアロケータが安定化した際に予期せぬクラッシュを引き起こすリスクがあります。
より安全な代替手段として、公式は Box::into_non_null または Box::into_raw の使用を推奨しています。これら 2 つの API は純粋にポインタ型の変換を行うだけであり、コンパイラに対して「決して解放されない」という意味論を伝えません。この指針は、String::leak など標準ライブラリ内の他の leak 関数にも同様に適用されます。
コア API の安定化
解決する課題： 上述の大型機能に加え、Rust 1.99 では実用性の高い多くの基本ライブラリ API が安定化され、複雑なデータ処理を行う開発者に対して、より人間工学に基づいた標準的なアプローチを提供します。
- Vec とゼロコピー分解：
新しく安定化した
Vec::into_partsとVec::from_partsは、C-FFI でVecを生ポインタ・長さ・容量に分解して再構成する際の安全面の課題を根本から解決します。従来は手動での分解や受け渡し時に、フィールド順序の誤りや借用チェックの不備によってメモリリークやダングリングポインタを引き起こしがちでした。新インターフェースにより構造化された明確なデータキャリアが提供され、FFI 境界でのコード安全性が向上します。 - 文字列の不可逆（lossy）変換：
新たに追加された
String::from_utf8_lossy_ownedおよびstring::FromUtf8Error::into_utf8_lossyは、確保済みのバイト配列を直接Stringに変換する手段を提供します。無効な UTF-8 シーケンスが含まれている場合、既存の割り当て領域内で直接置換を行うため、不要な中間文字列の割り当てを大幅に削減できます。これは高性能なネットワークプロトコルパーサーを実装する上で極めて有用です。 - ファイルメタデータ操作とコレクションの拡充：
std::fs::set_timesとstd::fs::set_times_nofollowにより、ファイルシステムのタイムスタンプ（アクセス日時および更新日時）をきめ細かく直接設定できるようになり、クロスプラットフォームにおけるファイル時刻操作の長年の課題が解消されました。また、Box::into_non_nullとBox::from_non_nullの安定化、Box<[T; N]>参照へのIntoIteratorトレイトの実装など、コレクション操作の柔軟性がさらに高まりました。さらにVecDeque::retain_backが標準ライブラリに正式追加され、両端キューに対する効率的な逆方向フィルタリングが可能になりました。
アップグレードの推奨方針
開発者のタイプ別にアップグレードの推奨方針をまとめました。プロジェクトの要件に合わせてご確認ください：
| 対象ユーザー | アップグレード時期 | 注意事項 |
|---|---|---|
| C 言語の可変長引数と深く連携する開発者 | 即時アップグレードを推奨 | 新機能により FFI バインディング層のコードを大幅に簡素化できます。ただし、... 型（VaList）の操作は依然として unsafe の範疇であり、呼び出し規約と安全境界を厳密に遵守する必要があります。 |
| 低水準メモリ管理やカスタムアロケータを開発するライブラリ作者 | 計画的な移行・アップグレードを推奨 | コードベース内に Box::leak の解放を取り消すパターンが存在しないかを徹底的に確認し、コンパイラの未定義動作を防ぐため、より安全な Box::into_raw や Box::into_non_null へと統一してください。 |
| 一般的なアプリケーション・Web サービス・バックエンド開発者 | 通常のリリースサイクルに沿って更新 | $ rustup update stable を実行するだけで既存コードを変更することなくスムーズに移行できます。コンパイラの低レベル最適化、ビルド時間の短縮、標準ライブラリの拡張機能を即座に活用できます。 |
