完美实现C语言比较两个数大小的宏定义

【一分钟聊嵌入式】旨在简洁地讨论嵌入式相关话题，包括技术、职场、学习方法或程序等。读者可以通过公众号留言参与话题讨论或表达观点。

本期话题

本期讨论的是C语言中宏定义的问题，具体是编写一个“标准”宏MIN，它接受两个参数并返回较小的一个。

聊一聊

一个初步的宏定义答案是：#define MIN(a,b) ((a) < (b) ? (a) : (b))，这种方式在编译时会展开，并且使用括号避免了优先级引起的问题。但是，这个定义在使用自增运算符时会出现副作用，如least = MIN(i++, j++);会导致i和j做两次自增运算。

为了消除参数变化引起的副作用，可以使用GNU C的语句表达式扩展来定义宏，如#define MIN_t(x, y) ({ int _x = x; int _y = y; _x < _y ? _x : _y; })。这种方法使用临时变量来存储参数并比较大小，但这个宏只能处理整数类型。

为了使宏能够支持任意类型的数据比较，可以添加一个类型参数到宏定义中。但为了获得更优雅的解决方案，可以使用GNU C的typeof关键字来自动获取参数的类型。最终优化的宏定义为：#define MIN(x,y) { typeof(x) _x = (x); typeof(y) _y = (y); (void)(&_x = &_y); _x < _y ? _x : _y; })。

这个宏定义通过(void)(&_x = &_y);实现两个作用：一是作为类型不匹配时的编译器警告，二是避免编译器警告未使用的比较结果。

文章结语鼓励读者通过这些分析提升自己的知识，并邀请读者通过个人微信加入嵌入式交流群，以便相互学习和成长。