# 工欲善其事必先利其器-C语言拓展--嵌入式C语言（二）

工欲善其事必先利其器-C语言拓展–嵌入式C语言（二）

表达式、语句和代码块–>宏

前言

提起宏，脑子里第一时间想到的就是

#define PI 3.14

但是最近在看Linux内核代码的时候，我简直了，各种花里胡哨的宏定义，我只能说有点东西。

这里的宏加入了语句表达式，一下子宏就变得精彩了。

举个栗子–>请定义一个宏，求两个数的最大值。

合格

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

那么我们来测试一下？

MAX(1,2)

MAX(2,1)

MAX(2,2)

MAX(1!=1,1!=2)

如，测试第4行语句，当宏的参数是一个表达式，发现实际运行结果为max=0，和我们预期结果max=1不一样。

这是因为，宏展开后，变成如下样子。

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

因为**比较运算符>的优先级为6，大于!=（优先级为7），**所以在展开的表达式中，运算顺序发生了改变，结果就和预期不一样了。

为了避免这种展开错误，我们可以给宏的参数加一个小括号()，防止展开后表达式的运算顺序发生变化。

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

中等

是不是觉得上面的就不错了？

那么再来个测试

3+MAX(1+2)

这按说应该等于5，但是实际上等于1。经过上面你肯定猜到了是运算符优先级变化的问题，我们展开宏的时候。

因为运算符+的优先级大于比较运算符>，所以这个表达式就变为4>2？1：2。

于是这个时候我们继续修改，用小括号将宏定义包起来。这样避免当一个表达式同时含有宏定义和其他高优先级运算符时，破坏整个表达式的运算顺序。。

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

到这里我们加了两次括号了

良好

是不是感觉自己又行了，别高兴太早哦。

整个栗子试试

i=2;
j=6;
MAX(i++,j++)

展开

((2++)>(6++) ? (2++):(6++))

结果–>7，有没有选6的小伙伴

这是因为变量i和j在宏展开后，做了两次自增运算，导致打印出的i值为7。

在C语言编程规范中，使用宏时一般是不允许参数变化的。

但是总有些调皮鬼，要这么写应该怎么办呢？

–>语句表达式

我们可以使用语句表达式来定义这个宏，在语句表达式中定义两个临时变量，分别来暂时存储i和j的值，然后使用临时变量进行比较，这样就避免了两次自增、自减问题。

看这个有点绕，看看代码

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

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

将参数与符号分开了

优秀

上面这个级别其实已经很nice了，再内核代码中我也看到了一些这样的，原来是这样的。

不过我们需要再进一步的提高自己的要求。

上面的宏只能对整形的数据进行操作，但是当不是整形难道要重新的定义吗？

那可不行哦，来来来看看下面。

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

MAX(int, i++, j++);
MAX(float, 3.14, 3.15);

在这里我们通过一个type这不就解决了，其实宏这种东西就是字符串，我觉得就是字符串的拼接替代，这样是不是会有帮助理解一点，如果没有，当我没说。

牛啊牛啊

但是我们这个type是不是感觉有点太突兀了，每次还的专门整个变量类型，如果我不知道呢？有没有想到能自动获取类型的。

这里有办法了—想起这个没–>typeof

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

有点疑惑为什么有个 (void) (&_x == &_y);\ 这个玩意？

这是用来给用户警告的，对于不同类型的指针进行比较，编译器会发出警告，提示你。

warning:comparison of distinct pointer types lacks a cast

其次这个数的比较，但是这个比较的结果用不上，可能会报warning，这个时候加一个（void）后，这个警告就pass了。（因为这个宏是发挥了作用的哦，宏在这里进行了比较呢）

内核中我看到了大量的这样的语句表达式，刚刚开始看我都问自己这还是我曾经见过的宏定义吗？

在Linux内核中，max_t和min_t的宏定义，就使用了语句表达式。

这下你知道了撒，其实就是我们常见宏的升级版本。

[学习资料]：《嵌入式C语言自我修养：从芯片、编译器到操作系统》