函数式宏定义与类型检查

函数式宏定义的危害大家是有目共睹的，当函数式宏定义搭配上弱类型检查的函数式，使用起来就是悲剧。

例：#define PRINT(x) printf(“I am %s”,x)

 

当使用以上宏定义时，gcc的过程只会报一个warn，而并不会报error。

我们可以从gcc的整个过程看一下，首先是预处理阶段：使用PRINT的代码会被文本替换为printf，然后就是编译阶段，编译阶段会进行类型检查，但printf是一个软类型函数，gcc只会提示一个waring，并不会报error，然后产出可执行文件。

当传入PRINT的参数是一个string类型时，在运行时就会报一个segment error。

 

从上面问题上得到了一些结论：

1. 在gcc编译时还是采用-Wall –Werror这样的参数，这样可以保证最早发现问题。

2. 在以上的例子中，函数式宏定义并没有过错，问题出在宏定义采用的是软类型函数，当然在后续代码中最好避免函数式宏定义的方式，尽量采用函数式。

3. 对于弱类型函数尽量少使用，使用不当会遗留一些坑。