全局变量y0与mathlib命名冲突，C代码编译失败问题咨询

问题场景 #

使用Debian Sid环境下的GCC 13.2.0编译以下C代码：

#include <math.h>

double *y0;

int main()
{
   return 0;
}

执行编译命令 gcc -o a.out proof.c -Wall -lm 时触发错误：

gcc -o a.out proof.c -Wall -lm
proof.c:3:9: error: 'y0' redeclared as different kind of symbol
    3 | double *y0;
      |         ^~
In file included from /usr/include/features.h:490,
                 from /usr/include/x86_64-linux-gnu/bits/libc-header-start.h:33,
                 from /usr/include/math.h:27,
                 from proof.c:1:
/usr/include/x86_64-linux-gnu/bits/mathcalls.h:223:1: note: previous declaration of 'y0' with type 'double(double)'
  223 | __MATHCALL (y0,, (_Mdouble_));
      | ^~~~~~~~~~
make: *** [Makefile:6: proof] Error 1

将变量名改为x0等其他名称后编译正常，疑问该冲突是否正常、是否属于Bug。

结论 #

这不是Bug，属于完全正常的命名冲突，原因如下：

• y0是C标准库中定义的贝塞尔函数之一，声明在<math.h>头文件里，类型为double(double)（接收一个double参数，返回double值）。
• 你在全局作用域声明了double *y0;，这和标准库中已有的y0函数声明类型完全不同，编译器检测到重复声明且类型不兼容，因此抛出错误。

C语言标准明确规定，标准库中的函数名称属于保留标识符，用户程序在全局作用域不应使用这些名称，否则必然引发命名冲突。这类报错是编译器遵循语言规范的正常行为，并非编译器或标准库的问题。

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