typecheck()

typeof是取變量的類型
如果 int x;
typecheck(double,x);
展開之後就是

double __dummy;
int        __dummy2; 
 (void)(&__dummy == &__dummy2); 
& 是取地址；
這樣的話，上面那句比較就會出錯或編譯器給出警告，因爲是講一個double型的指針和一個int型的指針比較，沒法編譯的，編譯器會提示

如果typecheck（int，x）
就都正常編譯，然後最後的數據1，賦值給調用者