写一个“标准”宏MIN，这个宏输入两个参数并返回较小的一个

bjutslg

写一个“标准”宏MIN，这个宏输入两个参数并返回较小的一个
首先这个 #define Min(a,b)  (a)<(b)?(a)b)  这个被Pass掉了

hellioncu

linux内核中的
#define min(x, y) ({                \  
    typeof(x) _min1 = (x);          \  
    typeof(y) _min2 = (y);          \  
    (void) (&_min1 == &_min2);      \  
    _min1 < _min2 ? _min1 : _min2; })  

folklore

回复 2# hellioncu

1.     define min(x, y) ({})
   

复制代码

是GCC语法、、、

zylthinking

hellioncu 发表于 2014-09-03 12:03
linux内核中的

linux内核中的
#define min(x, y) ({                \  
    typeof(x) _min1 = (x);          \  
    typeof(y) _min2 = (y);          \  
    (void) (&_min1 == &_min2);      \  
    _min1 < _min2 ? _min1 : _min2; })  

(void) (&_min1 == &_min2);      这一行的目的是啥？

hellioncu

zylthinking 发表于 2014-09-03 14:02
(void) (&_min1 == &_min2);      这一行的目的是啥？

检查x，y类型一致性吧

folklore

回复 4# zylthinking


    限定输入参数必为变量？

zylthinking

hellioncu 发表于 2014-09-03 14:21
检查x，y类型一致性吧

说法有一定道理啊， 但若是这原因， 其实可以这么干：
    typeof(y) _min1 = (x);          \  
    typeof(x) _min2 = (y);  

idi0t

#define Min(a,b)  ((a)<(b)?(a):(b))
这样不行吗，有何问题

linux_arm

回复 8# idi0t
一般情况下，没问题，教科书和学生时代都这么干。
之所以有问题，是因为C语言中的宏不检查参数合法性，只是纯粹符号层次的代换扩展。
所以，正式的写法，是要解决参数检查问题的，这样一来就不会用宏来实现了，一般用inline函数
内核的那个写法，也是为了检查入参的类型的。


   

myworkstation

回复 8# idi0t


    最关键的一点，如果a和b这两个参数是包含相互依赖的表达式这样的实现就会出问题，比如说min(i++,++i)，你说结果什么是啥