试题3：写一个“标准”宏MIN，这个宏输入两个参数并返回较小的一个。另外，当你写下面的代码时会发生什么事？
least = MIN(*p++, b);
解答：
#define MIN(A,B) ((A) <= (B) ? (A) : (B))
MIN(*p++, b)会产生宏的副作用
剖析：
这个面试题主要考查面试者对宏定义的使用，宏定义可以实现类似于函数的功能，但是它终归不是函数，而宏定义中括弧中的“参数”也不是真的参数，在宏展开的时候对“参数”进行的是一对一的替换。
程序员对宏定义的使用要非常小心，特别要注意两个问题：
（1）谨慎地将宏定义中的“参数”和整个宏用用括弧括起来。所以，严格地讲，下述解答：
#define MIN(A,B) (A) <= (B) ? (A) : (B)
#define MIN(A,B) (A <= B ? A : B )
都应判0分；
（2）防止宏的副作用。
宏定义#define MIN(A,B) ((A) <= (B) ? (A) : (B))对MIN(*p++, b)的作用结果是：
((*p++) <= (b) ? (*p++) : (*p++))
这个表达式会产生副作用，指针p会作三次++自增操作。
除此之外，另一个应该判0分的解答是：
#define MIN(A,B) ((A) <= (B) ? (A) : (B));
这个解答在宏定义的后面加“;”，显示编写者对宏的概念模糊不清，只能被无情地判0分并被面试官淘汰。
消除宏的副作用
|
#include <stdio.h>
#define min_i(x, y) ((x) < (y) ? (x) : (y)) //(1)
#define min_t(type, x, y) ({ type __x = x; \ //(2)
type __y = y; \
__x < __y ? __x : __y; \
})
#define min(x, y) ({ const typeof(x) _x = (x); \ //(3)
const typeof(y) _y = (y); \
(void) (&_x == &_y); \ //(4)
_x < _y ? _x : _y; \
})
int main()
{
int a = 10;
int b = 20;
printf("min_i(a++, b++) = %d\n", min_i(a++, b++)); // 11
printf("a = %d\n", a); // 12
printf("b = %d\n", b); // 21
a = 10;
b = 20;
printf("min_t(int, a++, b++) = %d\n", min_t(int, a++, b++)); // 10
printf("a = %d\n", a); // 11
printf("b = %d\n", b); // 21
a = 10;
b = 20;
printf("min(a++, b++) = %d\n", min(a++, b++)); // 10
printf("a = %d\n", a); // 11
printf("b = %d\n", b); // 21
}
(1). 这个定义计算x和y分别两次(x和y中的小者被计算两次)，当参数有副作用时，将产生不正确的结果
(2). 使用语句表达式只计算参数一次，避免了可能的错误；语句表达式通常用于宏定义
(3). typeof(x)表示x的值类型
(4). 检查参数x和y的类型是否相同(如果x和y的类型不同编译器将会发出warning，并不影响后面语句的执行)
|