为何多次包含含全局变量的头文件未触发多重定义错误？

问题场景代码 #

头文件 header.hxx #

// header.hxx
#ifndef HEADER1
#define HEADER1
typedef struct s_ringreader{
  // some stuff in header
} RingReader;

RingReader defaultReader;

#endif

源文件 source1.cxx #

// source1.cxx

# include "header.hxx"

void fun1(){
 // some stuff using defaultReader
}

源文件 source2.cxx #

// source2.cxx

# include "header.hxx"

void fun2(){
 // some other stuff using defaultReader
}

源文件 source3.cxx #

// source3.cxx

# include "header.hxx"

void fun3(){
 // some other stuff using defaultReader
}

核心问题 #

多次包含上述头文件后，为何未触发多重定义错误？按C++标准，全局变量defaultReader会在每个包含头文件的源文件中生成定义，链接阶段理应报错，但实际在部分arm-poky编译器版本中未报错，其他版本则会报错。是否存在编译器特定规则导致此差异？

原因分析 #

• C++标准与编译器兼容行为差异
  按C++标准，全局变量的定义（如RingReader defaultReader;）在多个编译单元中重复出现属于违规，链接阶段必须报错。但部分旧版或嵌入式平台的编译器（如部分arm-poky版本）可能默认开启了C语言兼容模式，沿用C的"暂定定义"规则：未加extern的全局变量声明会被视为暂定定义，链接器遇到多个时会自动合并为一个实体，而非严格报错。

• 链接器符号处理逻辑
  这类编译器的链接器会将重复的全局变量定义标记为common符号，而非强定义符号。当遇到多个common符号时，链接器会选择其中一个作为最终定义，丢弃其他重复项，因此不会触发多重定义错误。而严格遵循C++标准的编译器会将此类定义视为强定义，遇到重复直接报错。

• 规范写法建议
  要消除跨编译器的行为差异，需严格遵循C++标准：

  1. 在头文件中用extern声明变量：extern RingReader defaultReader;
  2. 在任意一个源文件（如source1.cxx）中提供唯一的实际定义：RingReader defaultReader;
  3. 若需每个编译单元拥有独立的变量实例，可在头文件中用static修饰变量，但此时各源文件的defaultReader是互不相关的实体，需根据业务需求选择。

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