min(a,b)之我見

203 /*
204 * min()/max() macros that also do
205 * strict type-checking.. See the
136
206 * "unnecessary" pointer comparison.
207 */
208 #define min(x,y) ({ /
209 typeof(x) _x = (x); /
210 typeof(y) _y = (y); /
211 (void) (&_x == &_y); /
212 _x < _y ? _x : _y; })
213
214 #define max(x,y) ({ /
215 typeof(x) _x = (x); /
216 typeof(y) _y = (y); /
217 (void) (&_x == &_y); /
218 _x > _y ? _x : _y; })對於上面這兩個宏：
1、{}中的最後一句才是整個代碼塊的有效值，類似於逗號關鍵字的作用.
2、typeof()
typeof是gcc的擴充關鍵字，typeof(x) 就是取 x 的類型，這裡這麼做可以避免如下運算式的錯誤解釋：
min(a++,b++);
如果min(a,b)定義為(a)<(b)?(a):(b)，則上面的運算式被展開為(++a)<(++b)?(++a):(++b)
3、(void)(&_x==&_y)
這句是大家問的最多的，網上解釋也很多，但是很多人講的太多，反而讓人不明白。
其實這裡還是跟大家理解的一樣，是比較了_x和_y的地址，但是這裡的目的不是真想比較兩個變數的地址，
只是為了利用編譯器的一個警告特性，就是如果_x和_y類型不同，則比較時編譯器會警告類型不同。
void則是用於丟棄對_x和_y的地址比較的結論.