非技術性文章，只是為了分享解決問題的方法

小白在複習C語言資料結構檢視Linux原始碼的時候，看到了Linux原始碼中MAX(a,b)的實現，它能夠比較2個任意型別的資料（可行的情況下）並獲得最大值，實現得非常通用。Linux是利用巨集，並且使用了GNU的擴充套件語法：typeof（）和語句表示式實現的，程式碼如下：

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

擴充套件語法：

　　typeof（）
　　出現在3行，很好理解，typeof（a）就是獲得變數a的型別，這樣做的目的有2個，①實現任意型別的比較，使得使用者的可選擇性更大，對資料型別的包容性更高。②是為了使得巨集引數在巨集定義中只出現一次，避免在使用ＭAX（）的時候巨集引數出現二義性，比如MAX（a++，b）如果沒有3-4行，巨集展開的時候，a++會出現在多個地方，結果會出人意料，有疑惑的可以上機實現。
　　( { } )
　　這個東東出現在2行-7行，比較難以接受，它是GNU的擴充套件語法，叫做語句表示式，內層的{ }表示一個複合語句，外層的括號（）目的是為了符合C語言中“複合語句不能出現在表示式中”的語法規定，既然{ }是複合語句，那麼再加一層括號（）使得其變為表示式，沒錯，就是這麼拗口。一般用法為var = ( { others；(val) ;} )，其中的others；就是一系列的完整語句，(val)是必須的，它作為語句表示式最後的值，因為C語句規定每一個表示式到最後都必須有一個值，對應著上面程式碼6行帶三目運算子的表示式 ，也就是實際求出最大值的表示式。

現在有一個相當令人費解的語句，它就是5行的：(void)(&_a == &_b);
　　在解決這個語句之前，小白突然想起自己學ZigBee協議棧的時候，也出現了類似的語句，查詢ZigBee協議棧的實現，發現瞭如下程式碼：

uint16 HalUARTWrite(uint8 port, uint8 *buf, uint16 len)
{
  (void)port;
  (void)buf;
  (void)len;

 #if (HAL_UART_DMA == 1)
   if (port == HAL_UART_PORT_0)  return HalUARTWriteDMA(
 
buf, len);
……
}

這是hal_uart.c函式，其中出現了(void)xxx的語句，相當疑惑，最後發現其作用：佔位！！
　　(void)object的作用：消除編譯器對object沒有引用的警告
　　由於ZigBee協議棧只是提供了基本的網路通訊和底層初始化實現，當自己需要特定功能的時候，往往要修改某些函式，而這些函式的函式簽名是不能改變的，其中之一就是引數列表是不能修改的，而有時候自己的函式並不需要用到某些引數，那麼這些引數在函式中就相當於沒有被引用，根據C語音的語法檢查，當一個變數沒有被引用的時候，編譯器會給出警告，作為例子而言，在Qt下的一個C程式：

int main(int argc, char *argv[])
{
    int ago = 100;
    int min = -1;
    printf("%d",ago);  //只引用ago,沒有引用argc\argv\min
    return 0;
}

由於main引數argc和argc以及變數min都沒有被引用，因此編譯器出現以下警告：
　　
　　而ZigBee函式非常多，如果自己修改的函式通通給出警告，那麼編譯的時候是非常令人煩惱的，程式沒有出錯但是警告一大堆，為了遮蔽這些警告，需要對這些可能沒有引用的變數佔位，佔位也就是無意義地去引用變數，(void)port就是把port變數型別強制轉換為void但是沒有下一步操作，這個語句對變數引用是無意義的，但是確實引用了變數，編譯器就不會給出警告。
　　我們修改一下程式：

int main(int argc, char *argv[])
{
    int ago = 100;
    int min = -1;

    (void)argc;
    (void)argv;
    (void)min;

    printf("%d",ago);
   return 0;
}

再次執行程式，無任何警告：
　　

至於有人問為什麼是(void)，而不是(int)/(char)等等？答案是，無關緊要，只要你願意，完全可以用任何型別，但是由於大家都直接用(void)，因此(void)也變成了不成文的規定，就像標頭檔案中防止多重包含的 #ifndef _NAME_H_等，為什麼基本都是這種寫法，其它寫法不可以嗎？？當然可以，只是大家都這樣做，成為了不成文規定，你也應該跟著這樣做，否則別人閱讀你的程式碼時會顯得很疑惑。

Linux的(void)(&_a == &_b)作用：消除編譯器&_a == &_b沒有被引用的警告，同時可能得到型別不一致的警告
　　言歸正傳，仔細觀察這個語句：(void)(&_a == &_b); ，它的取出_a和_b的地址進行比較，然後得到一個bool值，接著進行強制型別轉換這一個無意義的變數引用操作。
　　這裡的目的是為了給出有用的警告，因為Linux核心的這個MAX函式是實現2個任意型別的資料比較並獲得最大值，當實際的兩個資料型別不一樣的時候，或許它們之間確實能夠比較，就像100和12.2，但是為了提醒使用者它們型別不一樣，需要把兩個資料的地址進行比較（&_a == &_b），不過單純的地址比較對編譯器而言並沒有意義，編譯器會覺得這是一個沒有引用的內容，會給出額外的警告，而Linux只是想給出型別不一致的警告，並不想要其它警告，所以在地址比較後進行強制型別轉換，消除了沒有被引用的警告，得到可能型別不一致的警告。