温故而知新，
我很少用三目运算符的，偶尔看文章发现讲的点自己并不知道，故记录
有些语法我会下意识的规避他，比如在宏里面用自增自减，在一句程序里面不用多个自增自减，复杂表达式不使用自增自减等。。所以我向来是很讨厌谭浩强书上那些个加加减减的表达式的，因为我从来用不到，假如真的看到别人有用，那我会给他打个差评 -_-!!
（打印的ans为我们的期望结果）
初级写法#include "stdio.h"
#define MAX(a,b) a>b?a:b
int main(void)
{
printf("max: %d, ans:20", MAX(10, 20));
getchar();
return 0;
}
运行结果：
可以看到结果正确。宏定义展开本质是文本替换，我们只进行预编译的话man函数就是这样的(gcc 使用-E命令只进行预编译)：
# 5 "main.c"
int main(void)
{
printf("max: %d, ans:20", 10>20?10:20);
getchar();
return 0;
}
从上面代码分析，只要用优先级比>号低的运算符，让原关系运算结果相反就会产生异常，如下修改：
#include "stdio.h"
#define MAX(a,b) a>b?a:b
int main(void)
{
printf("max: %d, ans:20", MAX(10!=5, 20));
getchar();
return 0;
}
预编译结果：
# 5 "main.c"
int main(void)
{
printf("max: %d, ans:20", 10!=5>20?10!=5:20);
getchar();
return 0;
}
可以看到，预期的判断条件为(10!=5)>20, 但实际为10!=(5>20), 所以判断条件出错了。所以我们对宏进行修改：
初级写法pro：#include "stdio.h"
#define MAX(a,b) (a)>(b)?(a):(b)
int main(void)
{
printf("max: %d, ans:20", MAX(10!=5, 20));
getchar();
return 0;
}
运行结果：
可以看到刚才的问题已经解决
查看预编译代码：
# 5 "main.c"
int main(void)
{
printf("max: %d, ans:20", (10!=5)>(20)?(10!=5):(20));
getchar();
return 0;
}
可以看到宏展开后已经加上了小括号，刚才的问题解决了，但如果宏展开后在一个表达式里面，条件判断优先级比外面运算低时，又会产生错误，如下修改：
#include "stdio.h"
#define MAX(a,b) (a)>(b)?(a):(b)
int main(void)
{
printf("max: %d, ans:120", 100+MAX(10!=5, 20));
getchar();
return 0;
}
预编译结果：
# 5 "main.c"
int main(void)
{
printf("max: %d, ans:120", 100+(10!=5)>(20)?(10!=5):(20));
getchar();
return 0;
}
当然，结果肯定会出错，运行结果：
所以继续修改宏
#include "stdio.h"
#define MAX(a,b) ((a)>(b)?(a):(b))
int main(void)
{
printf("max: %d, ans:120", 100+MAX(10!=5, 20));
getchar();
return 0;
}
预编译结果：
# 5 "main.c"
int main(void)
{
printf("max: %d, ans:120", 100+((10!=5)>(20)?(10!=5):(20)));
getchar();
return 0;
}
可以看到宏展开后有个小括号防止了优先与宏外部运算，运行结果自然也正确：
到这里一般可以结束了。
了吗？
并没有，虽然一般使用宏时都会比较小心，但万一有人就是喜欢异常测试呢？
比如：
#include "stdio.h"
#define MAX(a,b) ((a)>(b)?(a):(b))
int main(void)
{
int a = 5, b = 10;
printf("max: %d, ans:10", MAX(a++, b++));
getchar();
return 0;
}
预编译结果：
# 5 "main.c"
int main(void)
{
int a = 5, b = 10;
printf("max: %d, ans:10", ((a++)>(b++)?(a++):(b++)));
getchar();
return 0;
}
可以看到，本来一次的自增展开后变成了两次，运行结果和我们的期望值不符：
还需要继续优化
#include "stdio.h"
#define MAX(a,b)({
int _a = (a);
int _b = (b);
(_a)>(_b)?(_a):(_b);
})
int main(void)
{
int a = 5, b = 10;
printf("max: %d, ans:10", MAX(a++, b++));
getchar();
return 0;
}
预编译结果：
# 9 "main.c"
int main(void)
{
int a = 5, b = 10;
printf("max: %d, ans:10", ({ int _a = (a++); int _b = (b++); (_a)>(_b)?(_a):(_b);}));
getchar();
return 0;
}
运行结果：
与我们的期望值相符，但是引入了变量类型，继续修改：
#include "stdio.h"
#define MAX(type,a,b)({
type _a = (a);
type _b = (b);
(_a)>(_b)?(_a):(_b);
})
int main(void)
{
int a = 5, b = 10;
printf("max: %d, ans:10", MAX(int, a++, b++));
getchar();
return 0;
}
这样虽然可以支持任意类型，但是有点啰嗦了，继续修改
最后推荐的写法(typeof是GNU C新增的关键字，可以获取数据类型)
#include "stdio.h"
#define MAX(a,b)({
typeof(a) _a = (a);
typeof(b) _b = (b);
(_a)>(_b)?(_a):(_b);
})
int main(void)
{
int a = 5, b = 10;
printf("max: %d, ans:10", MAX(a++, b++));
getchar();
return 0;
}
运行结果符合预期：
#include "stdio.h"
#define MAX(a,b)({
typeof(a) _a = (a);
typeof(b) _b = (b);
(void) (&_a == &_b);
(_a)>(_b)?(_a):(_b);
})
int main(void)
{
int a = 5, b = 10;
printf("max: %d, ans:10", MAX(a++, b++));
getchar();
return 0;
}
添加了这一句，或许有些编译器有用，我使用gcc 11.2 是不需要的，根据需要自行选择。
(void) (&_a == &_b);
作用有两个：
- 指针类型不同警告
- 未使用变量警告消除
