C-为什么编译器不会对我自己实现的变参函数的变参部分做类型检查，但是却能检查出printf函数变参类型不匹配的情况？

Question

比如:
printf("%d", "x"); //编译器能检查出来"x"类型不对；
myfoo("%d", "x"); //不能发现"x"类型不对;

根据什么检测出printf中的变参类型错误的呢？

如何让编译器检查出我自己的变参函数中的类型错误?

Answer 1

gcc有一个特殊的编译attribute，可以要求编译器按照printf的格式检查。用法如下：
XXXX(const char* format, ...) __attribute__((format(printf, 1, 2)))

具体可以看http://stackoverflow.com/questions/996786/how-to-use-the-gcc-attribute-format