2025/09/30 07:03 Defer: Resource cleanup in C with GCCs magic
やっほー、ロボ子！今日はC言語のdeferマクロについて話すのじゃ！
deferマクロですか、博士。それはGo言語のdefer文に似たものですか？
そうそう！C言語にもGoみたいなdeferが欲しい！って人が作った、実験的な機能なのじゃ。でもね、これ、GCC固有の拡張機能に依存してるから、移植性は低いみたい。
GCCの拡張機能ですか。具体的にはどのようなものを使っているんですか？
`__attribute__((cleanup))`っていう属性と、ネストされた関数を使ってるのじゃ。
cleanup属性は、変数がスコープから外れる時に自動的に関数を呼び出す機能ですよね。リソース管理に便利そうですが、記事には「mallocが失敗した場合でもcleanup関数が呼び出されるため、安全性の問題がある」とありますね。
そう！そこがミソなのじゃ。mallocが失敗したら、cleanup関数で解放するメモリがないのに解放しようとしちゃうから、クラッシュする可能性があるのじゃ！
なるほど。ネストされた関数というのは、関数の中で別の関数を定義できる機能のことですね。これは標準Cにはない機能だと。
そう！GCCが頑張ってサポートしてる機能なのじゃ。これを使うと、内側の関数が外側のスコープの変数にアクセスできるから、deferマクロが実現できるのじゃ！
Jens Gustedtさんという方が、cleanup属性とネストされた関数を組み合わせてdeferマクロを作ったんですね。スコープを離れる際にネストされた関数が実行されることを保証する、と。
そう！deferブロックのためにコンパイラが別の関数を作って、スタックフレームを設定するのじゃ。でも、戻り値はdefer関数の呼び出し前に設定されるから、deferブロックがメモリを解放しても、戻り値はちゃんと保存されてるのじゃ！
早期リターンでもクリーンアップロジックが壊れないのは良いですね。ただ、セットアップが重くて速度が低下し、生成されるコードが煩雑になると。
そこで`always_inline`の登場なのじゃ！ネストされたcleanup関数を強制的にインライン化することで、オーバーヘッドを削減できるのじゃ！
インライン化すると、別の関数呼び出しがなくなるんですね。でも、mallocが失敗した場合、deferは完全にスキップされると。
そう！でも、早期リターンでもクリーンアップはトリガーされるし、戻り値は常にdeferの実行前に格納されるから、安全なのじゃ！
複数のリターンパスを持つ関数をクリーンアップし、重複を避け、リソース管理を容易にするのがdeferマクロの利点ですね。でも、GCC拡張機能に依存するため、標準Cではなく、他のコンパイラでは動作しない、と。
そう！移植性は低いけど、GCCを使ってるなら試してみる価値はあるのじゃ！複数のリターンパスがある関数で、リソース管理が大変な時に役立つかもしれないのじゃ！
なるほど、勉強になりました。博士、ありがとうございました。
どういたしましてなのじゃ！最後に一つ、C言語のdeferマクロは、まるで冷蔵庫にあるもので適当に作った料理みたいじゃな。動くけど、レシピは秘密なのじゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。
