背景

近期 GCC 與 Clang 兩大主流編譯器相繼宣布支援 defer 語法，這項功能源自 C2Y 標準提案（TS 25755），旨在為 C 語言提供更現代化的資源清理機制。這項更新引發了 Hacker News 社群的熱烈討論，開發者們針對 C 語言的演進方向、資源管理模式的優劣，以及與 C++ RAII 機制的對比展開了深入辯論。

社群觀點

社群對於 defer 的加入普遍抱持正面態度，認為這能有效解決 C 語言長期以來依賴 goto cleanup 模式所帶來的繁瑣與潛在錯誤。許多開發者指出，雖然 GCC 與 Clang 早已提供非標準的 __attribute__((cleanup)) 擴充功能，但 defer 提供了更直觀、具備作用域感知（Scope-based）的語法，能顯著提升程式碼的可讀性。討論中特別強調了 defer 在不同語言間的行為差異：Go 語言的 defer 是在函式結束時執行，這在處理大量迴圈時容易導致資源耗盡；而 C 語言採用的作用域模式則與 Zig 較為接近，當程式離開當前大括號範圍時即觸發清理，被認為是更安全且高效的設計。

然而，關於 defer 是否足以取代 C++ 的 RAII（資源獲取即初始化）機制，社群內存在明顯分歧。支持 RAII 的開發者認為，RAII 的核心價值在於「隱含性」與「組合性」，它能確保資源與物件生命週期完全綁定，避免開發者忘記手動呼叫 defer。相對地，C 語言的擁護者則反駁，RAII 雖然強大但往往隱藏了過多的控制流，導致程式碼行為變得難以預測且難以偵錯。他們主張 defer 的優勢在於「顯性」，開發者能一眼看出何時會執行清理動作，這符合 C 語言「所見即所得」的哲學，且避免了 C++ 為了實現 RAII 而引入的移動語義（Move Semantics）等複雜概念。

針對著名的「goto fail」安全性漏洞，社群也展開了技術性的回溯分析。部分觀點認為，若當時有 defer 語法，或許能避免因手動管理跳轉標籤而產生的邏輯錯誤；但也有資深開發者指出，該漏洞本質上是縮排誤導與邏輯重複，即便使用 defer，若開發者在錯誤的位置呼叫或重複撰寫，依然可能產生類似的失效。這反映出工具雖然能降低出錯機率，但無法完全取代嚴謹的開發規範與自動化測試。

此外，對於 C 語言是否應該持續現代化的爭議也未曾停歇。保守派開發者擔心過多的新特性會破壞 C 語言的簡潔性與跨平台移植性，甚至有人主張應停留在 C89 標準以確保極致的相容性。但多數參與討論的開發者認為，C 語言必須在保持簡單與解決痛點之間取得平衡，諸如指定初始化（Designated Initializers）與 defer 這類功能，是在不增加執行負擔的前提下，實質提升開發效率與安全性的良藥。對於教育現場的討論則建議，初學者仍應先學習手動管理記憶體，待理解底層邏輯後再引入 defer 作為最佳實踐。

延伸閱讀

• C2Y 提案：The defer Technical Specification
• Apple 的 goto fail 漏洞分析
• Sokol 函式庫中 C99 指定初始化的應用實例