GCC C 語言擴展：語句內嵌表達式 —— 讓宏更安全、更強大

什麼是語句內嵌表達式？

GNU C 允許用括號包裹複合語句形成表達式：

({ int y = foo(); int z;
   if (y > 0) z = y;
   else z = -y;
   z; })

大括號內最後一句必須是**以分號結尾的表達式**，其值為整個結構的值。若最後非表達式，則型別為 void 無返回值。

核心優勢：讓宏避免多次求值副作用

傳統宏定義最大值：

#define max(a,b) ((a) > (b) ? (a) : (b))

若引數有副作用（如 max(i++, j++)），i++ 可能被求值兩次導致錯誤。GNU C 可用語句表達式安全定義：

#define maxint(a,b) \
({ int _a = (a), _b = (b); _a > _b ? _a : _b; })

引數只被求值一次，存入區域變數再比較。若型別未知，可搭配 typeof 進一步泛化。

使用限制與 C++ 相容性陷阱

• 不可用於：常量表達式（枚舉）、位欄寬度、靜態變數初始化。
• G++ 不支援：C++ 模式下語句表達式預設工作不良，未來可能完全支援、拋棄或長期作為 bug 存在。
• C++ 語義問題：若用語句表達式宏替代 inline 函式，臨時物件析構時機不同。例：

#define foo(a) ({int b = (a); b + 3;})
// vs
inline int foo(int a) { int b = a; return b + 3; }

傳遞產生臨時物件的表達式時，宏版本析構較早，可能導致資源管理錯誤。因此 .h 頭文件中避免使用語句表達式，部分 GNU C 庫舊版因濫用此特性已引發 bug。

總結

語句內嵌表達式是 GNU C 強大擴展，能寫出更安全的宏，但**僅限 C 程式碼**，C++ 項目慎用，且受限於常量表達式等場合。理解其機制有助於閱讀開源專案代碼。