网易笔试题-- 宏定义的那点事
过了很久，现在突然想起了一道网易TTT计划中的一道笔试题，是关于宏定义的，但是对于宏定义很不了解，现在记录一下，大概整理一下思路，不知道对不对，希望大家勿喷。
具体的题目记不大清楚了，大概是根据以下两种宏定义的表达，问在程序编译和运行时，可能会出现什么不同的结果。
第一种宏定义表达：
#define max( a, b ) ( a > b ) ? a : b
第二种宏定义的表达：
#define max( a, b ) （{ int A = a ; int B = b ;( A > B ) ? A : B;}）
笔试结束之后，我大概的查阅了一些资料，大概知道了一下。以下的内容有的是借鉴别人的分析，
一：第一种形式的分析
对于第一种表达，表面上看上去不会有什么不妥，但是在实际的程序调用中就会出现bug，看下面的例子（例1）：
int a = 3； int b = 4; int c = 2 * max( a++, b++); //本来程序想要的结果是 c = 2 * 5；即c = 10； //但是实际的结果是： c = 12；
为什么呢？
根据宏定义的执行过程，我们知道，在程序编译时，编译器自动将使用了宏定义的地方进行展开，对于普通的宏定义即例如（例2）：
#define PI 3.1415926
程序编译过程中只是简单的查找和替换，所以，将使用了PI的地方全部替换成3.1415926是不会出现意想不到的错误的。虽然例2的编译过程也是替换，下面来看一下，具体的替换过程：
int c = 2 * max( a++, b++); //=> c = 2 * (a++ > b++ ? a++ :b++ )
想必大家看到这里就应该明白了，为什么结果是12而不是10了吧，原因很简单，宏定义进行替换的时候，是将所有的参数一起替换，不是将参数的运算的结果计算出来之后再做相应的替换的。
对于上面的错误，在编译器的第三版本可以使用
#define max(a,b) ( (a) > (b) ? (a) : (b) )
来规避错误，但是当程序中使用下面的例子的时候，意想不到的事情又会不期而至
int c = 2 * max (3 , 4 > 5 ? 4 : 5)
以下进行展开：
int c = 2 * (max(3,4 > 5 ? 4 : 5)); //=> c = 2 * （3 > 4 > 5 ? 4 : 5 ? 3 ：4 > 5 ? 4 : 5） //=> c = 2 * ((3 > (4 > 5 ? 4 : 5 )? 3 ：4) > 5 ? 4 : 5) //=> c = 2 * ((3 > 5 ? 3 : 4) > 5 ? 5 : 4) //=> c = 2 * (4 > 5 ? 5 :4) //=> c = 2 * 4 //=> c = 8
这种情况又怎样解决呢？
第二种的分析，请看下一篇博文：宏定义续