There is no way for the compiler to verify that the macro parameters are of compatible types.
The macro is expanded without any special type checking.
If macro parameter has a postincremented variable ( like c++ ), the increment is performed
Because macros are expanded by the preprocessor, compiler error messages will refer to
the expanded macro, rather than the macro definition itself. Also, the macro will show up in
expanded form during debugging.
#define min(i, j) (i < j ? i : j)
T min (T i, T j)
return i < j ? i : j;