头文件中定义的结构体为何跨多个翻译单元不违反ODR规则？

核心前提先讲清楚：你用gcc编译.c后缀源文件时默认走C语言编译逻辑，和C++的*单一定义规则（ODR）*约束有本质区别，你的测试代码本身就是C语言的标准正确写法，不触发报错是完全正常的。

• 结构体定义在C语言中不会生成链接器可识别的全局符号。
  你在test.h里写的struct test { int a; };只是编译期使用的类型描述，作用是告诉当前翻译单元这个结构体的内存大小、成员偏移规则。编译完成后，a.o和main.o里都不会为这个结构体本身导出任何需要链接器处理的符号。链接器的重复定义校验只会针对函数、全局变量这类会生成实体符号的内容，根本感知不到编译阶段就处理完的结构体类型信息，自然不会报重复定义错误。
• 你当前的写法完全符合DRY原则，不存在违规的重复定义。
  你加了#ifndef TEST_INCLUDED的头文件保护，保证结构体定义只在头文件中写一次，所有需要用到这个结构体的翻译单元只要包含test.h就能拿到一致的类型定义，这是C项目里通用的标准写法，根本没有重复书写相同代码的问题。
• 你担心的跨翻译单元结构体问题，本质是类型不匹配的未定义行为，和链接期符号冲突不是一回事。
  只有当不同翻译单元里同名结构体的定义不一致时（比如a.c中struct test的成员是int a，main.c里同名字段改成double b），才会出现内存访问错位之类的运行时问题。这种情况属于C标准规定的未定义行为，默认gcc不会做跨翻译单元的类型一致性校验，链接器看不到类型信息也不会报错，但这和你当前测试的“所有翻译单元包含同一份一致结构体定义”的场景完全无关。
• 之前的认知偏差在于把类型定义和实体定义的性质搞混了，这也是为什么函数要分离声明和定义、但结构体不用的核心原因。
  函数、非static全局变量的定义会生成强全局符号，如果把这类定义直接写在头文件里被多个翻译单元包含，每个目标文件都会生成同名强符号，链接器碰到多个同名强符号就会直接报重复定义错误，所以才需要把实体定义放在单独的.c文件里，头文件只留声明。但结构体属于类型信息，不生成链接级别的符号，根本不存在这类冲突。

你测试用的编译流程完全符合规范：

gcc -c a.c
gcc -c main.c
gcc -o final a.o main.o

生成的两个目标文件没有任何符号冲突，链接自然能正常完成。

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