为何GCC可调用未定义函数？同名库函数定义冲突咨询

问题现象 #

使用gcc 12.2.0（Debian 12.2.0-14）以-std=c17标准编译以下未包含头文件的代码时：

// gcc a.c -std=c17
int main(){
    printf("hello\n");
}

编译器仅输出函数未定义警告，但仍能编译通过。

进一步尝试定义与库函数同名的printf时，出现了反常行为：

int printf(const char* str, ...) {
    return 0;
}

int main() {
    printf("hello 1\n");
    printf("hello %d\n", 2);
    printf("hello 3\n");
}

编译运行后输出：

hello 1
hello 3

第一个和第三个printf调用实际执行库函数逻辑，第二个调用则执行自定义的printf，全程未报重定义错误。这并非编译器bug，而是C标准规则与gcc优化行为共同作用的结果。

原因分析 #

1. 隐式函数声明的兼容处理
   C17标准已禁止隐式函数声明，但gcc在-std=c17模式下仅发出警告，仍兼容C90规则：将未声明的函数视为返回int类型、接受任意参数的函数。这也是第一段代码能编译通过的原因——编译器临时假定printf符合该规则，链接阶段再从标准库找到实际实现。

2. gcc的调用优化行为
   gcc会对无格式化占位符的printf调用做优化：当printf的第一个参数是无占位符的字符串常量时，会直接替换为puts调用（puts更高效且自动添加换行符）。因此代码中printf("hello 1\n")和printf("hello 3\n")被优化为puts("hello 1")和puts("hello 3")，实际调用的是标准库的puts函数，而非自定义或库的printf。

带有%d占位符的printf("hello %d\n", 2)无法被优化为puts，编译器会调用自定义的printf函数——由于该实现仅返回0、未做任何输出操作，所以这一行未出现在结果中。

3. 重定义未报错的原因
   标准库的printf是强符号，但前两个调用被优化为puts，并未引用自定义的printf；第二个调用引用了自定义实现，链接时优先使用你的定义，标准库的printf未被触发引用，因此不会出现重定义冲突。若添加-O0禁用优化，编译时会直接报重定义错误——此时所有printf调用都会尝试链接，自定义实现与库函数的强符号产生冲突。

验证方法 #

编译时添加-O0禁用优化：

gcc -std=c17 -O0 test.c

此时会直接报重定义错误；若再添加-fno-builtin-printf禁用printf的内置优化，所有printf调用都会执行自定义实现，运行后无任何输出。

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