为何C++中函数声明顺序不同会引发C链接冲突编译错误？

现象展示 #

以下代码编译无错误：

extern "C" void func( void );
extern void func( void );

调换声明顺序后，代码会触发编译器错误：

extern void func( void );
extern "C" void func( void );

错误信息：conflicting declaration of ‘void func()’ with ‘C’ linkage

C++标准规定 #

• 特定名称的函数最多只能有一个拥有"C"链接（无论命名空间）

技术细节解析 #

两种声明指向的是同一个函数，编译器对函数链接属性的处理遵循核心规则：首次声明确定函数的默认链接属性，后续声明必须与该属性兼容，无法修改已确定的链接属性。

1. 第一种场景：func的首次声明明确指定了extern "C"（C语言链接），后续的extern void func(void)未指定链接属性，编译器会自动沿用之前已确定的C链接属性，因此两个声明完全兼容，编译通过。
2. 第二种场景：func的首次声明未指定链接属性，默认采用C++链接（即会对函数名进行名称修饰，生成唯一的mangled name），后续声明试图将其改为C链接，这直接违反了链接属性不可中途变更的规则，编译器判定为冲突声明，抛出错误。

本质上，C++编译器会为每个函数维护一个已确定的链接属性状态，首次声明的属性会被固定，后续所有同名称的函数声明必须与该属性保持一致，否则就会触发冲突错误。

内容的提问来源于stack exchange，提问作者zdenko.s