VS2017编译test.cpp遇标准库与用户标识符冲突问题

你在64位Win10系统下使用VS2017命令行编译test.cpp时，执行了这条命令：

"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat" cl test.cpp

得到的错误输出如下：

C:\temp\tests>"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
**********************************************************************
** Visual Studio 2017 Developer Command Prompt v15.4.5
** Copyright (c) 2017 Microsoft Corporation
**********************************************************************
[vcvarsall.bat] Environment initialized for: 'x64'
C:\temp\tests>cl test.cpp
Microsoft (R) C/C++ Optimizing Compiler Version 19.11.25547 for x64
Copyright (C) Microsoft Corporation. All rights reserved.

test.cpp
test.cpp(2): error C2365: 'y1': redefinition; previous definition was 'function'
C:\Program Files (x86)\Windows Kits\10\include\10.0.16299.0\ucrt\corecrt_math.h(984): note: see declaration of 'y1'
test.cpp(5): error C2659: '=': function as left operand

你的test.cpp代码为：

#include <new>
static int *y1;
int main() {
    y1 = new (std::nothrow) int;
}

核心问题是全局命名空间的标识符冲突：

• 你定义的static int* y1是文件作用域的全局变量
• UCRT（通用CRT）的corecrt_math.h头文件中，y1是一个暴露在全局命名空间的贝塞尔系列数学函数（同系列还有j0、jn等）
• 编译器无法区分这两个同名标识符，因此抛出重定义错误，后续的赋值操作也因把函数当作左值而报错

你可以通过以下任意一种方式快速解决冲突：

• 重命名变量：将y1改为不会和库函数冲突的名称，比如my_y1

  #include <new>
  static int *my_y1;
  int main() {
      my_y1 = new (std::nothrow) int;
  }
  

• 使用自定义命名空间：把变量包裹在自己的命名空间中，隔离全局命名空间的冲突

  #include <new>
  namespace my_space {
      static int *y1;
  }
  int main() {
      my_space::y1 = new (std::nothrow) int;
  }
  

你提到的这个质疑非常合理，确实触及了C/C++库命名的“君子协定”：

• 行业惯例中，标准库/系统库的全局标识符应该以下划线开头（比如_y1），非下划线开头的全局标识符应当留给用户自定义使用
• UCRT中的y1、j0、jn等函数直接暴露在全局命名空间，违反了这个约定，很容易引发用户自定义标识符和库标识符的冲突
• 这些函数其实源自POSIX标准，但UCRT在实现时既没有将它们放入特定命名空间，也没有添加下划线前缀，这种设计确实存在不合理性，会频繁导致同类命名冲突问题

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