Rust に書き直さなくても C 言語をメモリ安全にできる Fil-C を試した

“Zigまでもが目を付けた「RustやZigで全部書き直すのではなく、Cコードそのままメモリ安全にする」試みの本家がFil-C。既存の C/C++ソースをほとんど変更なくコンパイル可能、かつメモリ安全になる。実行速度は遅くなる”

魅力は再コンパイルだけで安全になる点だが、依存を全てFil-Cで固める前提と表裏。外部入力を扱うパーサ等、自己完結した信頼境界から適用するのが現実解に見える

C/C++資産をそのままメモリ安全にできるなら理想的だな GC載るから低レイヤ用途で速度影響がどこまで許容されるか

メモリマップ等にも対応出来るのかやや疑問が。

“Fil-C の特徴は「fanatically compatible(狂信的に互換)」を謳っている点です。”