Rustから「extern "fil-c"」を:C言語の安全性を手に入れる新FFI

I want extern "fil-C"

RustのC FFIはメモリ安全性をコンパイル時に保証する一方、unsafe境界を越えたCライブラリは信頼に頼る。Fil-CはC/C++を再コンパイルし、ケイパビリティとランタイムチェック、並行GCでメモリ安全性を実現する。著者はFil-C ABIを話すRust FFIを提案。スカラー値やコピー文字列、不透明ハンドルに限定し、安全なRustラッパーを生成。C依存関係全体をFil-Cでコンパイルし、unsafe Cへの逃げ道をなくす。共有メモリは将来の課題。filnixはFil-CをNixクロスコンパイルプラットフォームとして提供し、100以上のパッケージを移植。ZigもFil-Cに触発されたABIを検討中。Rustは高速パス、Cは安全な互換パスとなり、書き換えの動機になる。

「100%安全」とは、サポートされる境界全体でメモリ安全であることを意味し、ロジックバグやデッドロック、悪いAPIがないことを意味するものではない。

同じ日のその他の記事

2026-08-14