`（{...}）`如何返回值？

Question

最近，我發現這個GCC宏：

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

之前，我看到這個代碼，我沒有意識到，那個代碼{...}塊能以某種方式在C.
1）返回值可不可以給我一個提示這是如何工作的？

雖然，我通常能夠通過濫用逗號運算符來達到相同的結果：

#define max(a,b) \ 
    (typeof (a) _a = (a), \ 
    typeof (b) _b = (b), \ 
    (_a > _b ? _a : _b)) 

，或者如果它僅是爲副作用，我會用do { ... } while(0)

2）什麼是這樣做的首選方式？

Answer 1

({ ... })構造是一個gcc擴展。

因此是typeof運營商。

一個MAX宏（請注意，常規採用全大寫的）是很容易寫：

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

它並評估其參數不止一次，所以你不應該調用它爲一個，例如，MAX(x++, y--)。使用全部大寫字母可以提醒用戶它是一個宏而不是一個函數，並且要注意帶有副作用的參數。

或者你可以爲每種類型寫一個函數（也許是一個內聯函數）。

Answer 2

這是一個GCC擴展。逗號操作符不工作：

// C89, doesn't work... 
#define max(a,b) \ 
    (typeof (a) _a = (a), \ 
    typeof (b) _b = (b), \ 
    (_a > _b ? _a : _b)) 

逗號操作符只能用表情作品，並typeof(a) _a = (a);是一個聲明，而不是表達。編寫沒有GCC擴展或C11的等效宏是不可能的，它具有_Generic。請注意，typeof也是GCC擴展名，因此您不會通過消除({...})獲得任何便攜性，除非您也消除typeof。

這是一個C11版本，請注意它是如何詳細比較（它只處理兩種類型！）。 C11甚至沒有支持呢，好運氣試圖找到一個編譯器測試：

// C11 
static inline int maxi(int x, int y) { return x > y ? x : y; } 
static inline long maxl(long x, long y) { return x > y ? x : y; } 
#define max(x, y) _Generic((x), \ 
    long: maxl(x,y), \ 
    int:_Generic((y), \ 
     int: maxi(x,y), \ 
     long: maxl(x,y))) 

在便攜式C99，你可以寫一個宏或內聯函數的實現同樣的效果，除了它僅會每個宏爲一種類型工作。

// C99 
static inline int maxi(int x, int y) { return x > y ? x : y; } 

在C89/C90，我想不出任何辦法寫的宏這樣一種方式，它不會評價x或y兩次。