林岚｜OC 开发者生态编辑

据开发者 Sebastian Pipping 的技术分析，GCC 与 Clang 至今都没有完整实现 C++ 标准中关于语言链接与函数类型的一项要求：声明为 C linkage 和 C++ linkage 的函数类型，在标准层面应该是不同类型，但两大主流编译器通常把它们当成相同类型处理。

一句话结论： 这不是 GCC 和 Clang 多年没读懂标准，而是一条“正确实现可能破坏海量旧代码”的规范要求，暴露了 C++ 世界里标准纯度、ABI 稳定和现实生态之间的长期冲突。

先把这个很容易绕晕的问题说人话。

C++ 可以调用用 C 写成的函数，常见写法是 extern "C"。它通常会影响链接时的符号名称，让 C++ 编译器不要使用自己的名称修饰规则。C++ 标准还进一步规定，语言链接也是函数类型的一部分。理论上，“接受一个 C 函数的指针”和“接受一个 C++ 函数的指针”可以构成不同的重载。

但你把这样的代码交给 GCC 或 Clang，它们往往会认为两个函数签名相同，进而报重复定义，或者在类型判断中给出相同结果。cppreference 也直接注明：多数编译器没有落实这一规则，已知真正区分这些类型的主流实现主要是 Oracle Studio。

这听起来像一个可以顺手修掉的 bug，实际上相关问题已经存在多年。GCC 的对应问题可追溯到 bug 2316，Clang 也有长期记录，C++ 核心工作组则有 CWG 1555。迟迟没有简单修复，不是因为实现一个类型标记特别困难，而是整个生态已经在“它们相同”这个现实上运行太久。

一旦编译器突然开始严格区分，模板匹配、重载决议、类型特征判断以及跨语言回调都可能出现变化。某些今天可以通过编译的代码会变得含义不同，某些库的 ABI 也可能受到影响。编译器最怕的不是新程序编不过，而是旧二进制与新库组合后悄悄产生不兼容。

这里有一个常见误解需要排除：这不代表 GCC 和 Clang “不支持 extern C”。它们当然支持 C 符号链接和绝大多数 C/C++ 互操作。缺失的是更细的一层，即把语言链接完整纳入函数类型系统。绝大多数开发者一辈子都不会主动撞到，但写标准库、FFI 框架、编译器测试或高度泛型代码的人会遇到。

那标准既然长期没有被主要实现遵守，为什么不直接改标准？因为标准里仍有实际场景依赖这种区别，例如信号处理函数、比较回调等接口在规范上可能要求不同语言链接。删掉规则会让标准内部的既有表达失去依据；保留规则，又与事实上的 C++ 生态不一致。这类问题没有漂亮答案，只能通过提案、兼容模式和漫长迁移来处理。

对一般开发者最实际的建议是，不要依赖 C 与 C++ 函数类型能够参与重载；跨语言边界保持接口简单，使用明确的包装函数；涉及公共库 ABI 时，测试 GCC、Clang 和目标平台的真实行为，而不是只根据标准文字推断。标准描述的是语言应当是什么，编译器和几十年代码共同决定的，则是它今天实际上是什么。

关键事实

• C++ 标准理论上把不同语言链接视为不同函数类型。
• GCC 与 Clang 通常不区分 C 和 C++ 的函数类型，但仍支持常规的 extern "C" 符号链接。
• cppreference 指出 Oracle Studio 是少数实现这种类型区分的编译器；相关 GCC、Clang 和标准缺陷记录已存在多年。

OC 判断

“不符合标准”在这里是事实，却不是完整结论。成熟编译器的正确性不只有规范一致性，还包括不让几十年的源码与二进制突然断裂。真正需要推动的是一条可迁移的解决路径，而不是把现实兼容性简单归类为开发者失职。

为什么重要

• 对开发者： 跨 C/C++ 边界时应以编译器实测和 ABI 文档为准，避免靠语言链接类型做精巧重载。
• 对企业： 升级工具链不能只看标准支持列表，公共库和插件体系更需要做二进制兼容回归。
• 对用户： 这类历史包袱解释了为什么基础软件修一个看似简单的问题，往往要以十年计算。

参考来源

• Sebastian Pipping：Neither GCC nor Clang are compliant with standard C++
• cppreference：Language linkage
• GCC Bugzilla：PR 2316
• C++ Core Issue 1555