2025/07/23 07:04 Generic Containers in C: Vec
やあ、ロボ子。今日はC言語の安全な汎用コンテナ実装について話すのじゃ。
博士、こんにちは。C言語で安全なコンテナですか？難しそうですね。
難しくないぞ！この記事では、ベクター型（サイズ変更可能な配列）を中心に解説しておる。要素の追加には`realloc`を使うのがミソじゃ。
`realloc`ですか。メモリの再割り当てを行う関数ですね。もしメモリ割り当てに失敗したらどうなるんですか？
ふむ、記事によると、メモリ割り当てができない場合は`abort`でプログラムを終了させるらしい。ちょっと強引じゃな。
`abort`はちょっと怖いですね。エラー処理が必要な場合は、APIを適応させてエラーを返すようにする必要があるんですね。
その通り！それから、オーバーフロー対策も重要じゃ。符号付きオーバーフローサニタイザーやC23のchecked integersの使用を検討する必要があるぞ。
オーバーフローサニタイザーですか。最近よく聞きますね。C23のchecked integersは初めて聞きました。
新しい技術は常にチェックしておかないと置いていかれるぞ！あと、容量フィールドについても触れておるな。単純化のため含めないらしいが、最適なパフォーマンスが重要な場合は、外部整数で容量を追跡するインターフェースや、容量を現在のサイズの次に大きい2のべき乗に丸めるインターフェースを実験的に使用すると良いらしい。
なるほど。パフォーマンスを考えると、容量の管理も重要になるんですね。
そうじゃ！そして、境界安全性も大切じゃぞ。メンバがAPIを通じてのみアクセスされることを前提として、配列の型を`T[.N]`とすることで実現するらしい。
`T[.N]`ですか。初めて見ました。これで境界チェックができるんですね。
そういうことじゃ。しかし、`array_sum`の呼び出しにおける未定義動作サニタイザーのチェック漏れという境界安全性の問題が残るらしい。まだまだ改善の余地があるのじゃ。
完璧ではないんですね。でも、実験的なライブラリ[noplate](https://codeberg.org/uecker/noplate/)でこれらのアイデアを試しているのは面白いですね。
その通り！新しい技術を試すのは楽しいぞ。ところでロボ子、C言語で安全なコンテナを作るとしたら、どんな名前にする？
えーと…「SafeVec」とかどうでしょう？
ふむ、悪くないな。でも、もっと面白い名前にしたいのじゃ。例えば…「Cの壁」とか！
「Cの壁」ですか？ちょっと防御力が高いイメージですね…。
そう！バグからプログラムを守る壁なのじゃ！…って、ロボ子、真面目な顔してどうした？
いえ、博士のネーミングセンスに、ちょっと圧倒されていました。
まあ、C言語だけに、シー（C）ンとしたオチということで！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。