C语言宏的进化

以求两个数中的最大值为例

第一阶:裸奔

#define MAX(x,y) x > y ? x : y

测试程序

int main(void)
{
    printf("max=%d"，MAX(1,2));
    printf("max=%d”，MAX(2,1));
    printf(“max=%d"，MAX(2,2));
    printf("max=%d”，MAX(1!=1,1!=2));
    return 0
}

        在执行第四句会出现问题，实际运行结果为max=0，和预期结果不一致，这是因为宏展开后变成了：

        printf("max=%d”,1!=1>1!=2?1!=1:1!=2);

        因为比较运算符＞的优先级为6,大于!＝（优先级为7）,所以在展开的表达式中,运算顺序发生了改变,结果就和预期不—样了.为了避免这种展开错误,我们可以给宏的参数加一个小括号()，防止展开后表达式的运算顺序发生变化。

#define MAx(x,y) (x)>(y) ?(x):(y)

第二阶:为变量加上括号

#define MAx(x,y) (x)>(y) ?(x):(y)

        测试程序

int main(void)
{
    printf("max=%d"，3+MAX(1,2));
    return 0;
}

        在程序中，我们打印表达式3+MAX(1,2)的值预期结果应该是5实际运行结果却是1宏展开后，我们发现同样有问题。

3+(1)>(2)?(1):(2);

        因为运算符 +的优先级大于比较运算符 ，所以这个表达式就为 4>2?1:2，最后结果为1也就不奇怪了。此时我们继续修改宏

#define MAX(x,y) ((x)>(y)?(x):(y))

第三阶:为宏运算加上括号

#define MAX(x,y) ((x)>(y)?(x):(y))

        这个宏虽然解决了运算符优先级带来的问题，但是仍存在一定的漏洞。例如，我们使用下面的代码来测试我们定义的宏。

测试程序

int main(void)
{
   int i = 2;
   int j = 6;
   printf("max=%d"，MAX(i++,j++));
   return 0; 
}

        在程序中，我们定义两个变量i和j然后比较两个变量的大小，并作自增运算。实际运行这是因为变量i和在宏展开后，做了两次自增运结果发现max=7，而不是预期结果max=6，导致打印出的值为 7。

        C语言编程规范里，使用宏时一般是不允许参数变化的。但是万一碰到这种情况，该怎么办呢?这时候，语句表达式就该上场了。我们可以使用语句表达式来定义这个宏，在语句表达式中定义两个临时变量，分别来暂时存储 和的值，然后使用临时变量进行比较，这样就避免了两次自增、自减问题。

第四阶：解决变量中存在运算的问题

#define MAX(x,y)({ \
    int _x = x;    \
    int _y = y;    \ 
    _x > _y ? _x : _y; \
 })

测试程序

int main(void)
{
    int i = 2;
    int j = 6;
    printf("max-%d"，MAX(i++,j++));
    return 0;
}

        在语句表达式中，我们定义了2个局部变量_x和_y来存储宏参数x和y的值然后使用_x和_y来比较大小，这样就避免了 i 和 j 带来的2次自增运算问题。

第五阶：对变量类型进行适配

        在第五阶的宏中，我们定义的两个临时变量数据类型是int型，只能比较两个整型数据。那么对于其他类型的数据，就需要重新定义一个宏了，这样太麻烦了!我们可以基于上面的宏继续修改，让它可以支持任意类型的数据比较大小。

#define MAX(type,x,y)({  \
    type _x = x;        \
    type _y = y;        \
    _x > _y ? _x ： _y; \
    })

int main(void)
{
    int i=2;
    int j=6;
    printf("max=%d\n"，MAX(int，i++，j++));
    printf("max=%f\n"，MAX(float，3.14，3.15));
    return 0;
}

        在这个宏中，我们添加一个参数type，用来指定临时变量x和y的类型。这样，我们在比较两个数的大小时，只要将 2个数据的类型作为参数传给宏，就可以比较任意类型的数据了。

第六阶：自动识别变量类型

        在上面的宏定义中，我们增加了一个 type 类型参数，来适配不同的数据类型。如何把这个参数也省去。可以使用 typeof 就可以了，typeof是GNUC新增的一个关键字，用来获取数据类型，我们不用传参进去，让 typeof 直接获取。

#define max(x，y)({ \
    typeof(x)_x=(x);\
    typeof(y)y=(y); \
    (void)(&x==&y); \
    _x > _y ? _x : _y;\
})

        在这个宏定义中，我们使用了 typeof 关键字来自动获取宏的两个参数类型。比较难理解的是(void)(&x= &y); 这句话，看起来很多余，仔分析一下，你会发现这条语句很有意思。它的作用有两个:

        一是用来给用户提示一个警告对于不同类型的指针比较，编译器会发出一个警告，提示两种数据的类型不同。

        二是两个数进行比较运算，运算的结果却没有用到，有些编译器可能会给出一个 warning，加一个(void)后，就可以消除这个警告。