gcc/clang编译报错：conflicting types for <function_name>——函数名称为何会影响编译结果？

示例代码（t987.c）： #

void *NAME();
void *NAME(void *, int, unsigned);

编译执行： #

$ gcc t987.c -c -DNAME=memset1 （无报错）
$ gcc t987.c -c -DNAME=memset

错误信息： #

: error: conflicting types for ‘memset’; have ‘void *(void *, int, unsigned int)’
t987.c:2:7: note: in expansion of macro ‘NAME’
2 | void *NAME(void *, int, unsigned);
| ^~~~
: note: previous declaration of ‘memset’ with type ‘void *(void *, int, long unsigned int)’
t987.c:1:7: note: in expansion of macro ‘NAME’
1 | void *NAME();

补充说明：clang编译器表现一致 #

问题解答 #

这背后是C语言对自定义函数和标准库函数的不同处理逻辑导致的：

1. 当NAME=memset1时：编译通过的原因 #

memset1是你自定义的函数名，系统中没有任何预定义的函数原型与之关联。

• 第一个声明void *memset1();是C语言里的旧式函数声明，它只告诉编译器“这是一个返回void*的函数”，但不指定参数类型和数量；
• 第二个声明void *memset1(void *, int, unsigned);补充了参数信息；
• 对于自定义函数，编译器会接受这种“先模糊声明、后明确参数”的写法（虽然这是不规范的C89风格，现代C标准不推荐），所以不会报错。

2. 当NAME=memset时：触发错误的原因 #

memset是C标准库的核心函数，它的原型已经通过系统头文件（比如<string.h>）被预先声明为：

void *memset(void *s, int c, size_t n);

这里的size_t是一个标准整数类型，通常被定义为long unsigned int（不同平台可能有细微差异，但和普通的unsigned int不是同一类型）。

此时你的代码和标准库产生了两个冲突：

• 声明风格冲突：你写的void *memset();是旧式无参数声明，而标准库已经有明确的三参数原型，编译器会认为这是两个不同的函数声明；
• 参数类型冲突：你第二个声明里的第三个参数是unsigned（即unsigned int），和标准原型的size_t类型不匹配；
• 编译器会优先使用标准库的预声明，因此判定你的自定义声明为“类型冲突”，直接抛出错误。

3. clang表现一致的原因 #

clang和gcc都严格遵循C语言标准，对标准库函数的原型校验非常严格，所以会出现完全相同的报错逻辑。

内容的提问来源于stack exchange，提问作者pmor