为何无法复现C++头文件非模板实现的链接器多重定义错误？

你的推测完全正确：LINK_ONCE_DISCARD标记就是问题的核心原因，这是GCC 12.1.0这类较新版本编译器引入的行为优化，帮你“掩盖”了原本违反ODR（单定义规则）的错误。

传统C++的预期行为 #

按照C++标准的ODR规则，非模板、非inline的函数如果在头文件中直接定义，且被多个源文件包含，每个源文件编译生成的目标文件都会包含该函数的完整定义。链接阶段，链接器会发现重复的符号定义，抛出类似multiple definition of XXX的错误——这正是你原本想演示的场景。

GCC的COMDAT节优化（LINK_ONCE_DISCARD） #

从GCC 10+版本开始，编译器对这类违反ODR的情况做了宽容处理：它会将头文件中直接定义的非模板函数放入带有LINK_ONCE_DISCARD属性的COMDAT节中。

ELF目标文件的LINK_ONCE_DISCARD属性告诉链接器：如果发现多个相同的节，只保留其中一个副本，其余直接丢弃。这就解释了为什么你的代码能正常编译链接——链接器自动处理了重复定义，没有抛出错误。

注意：这仍然是未定义行为 #

虽然编译器帮你处理了重复问题，但这种写法仍然违反C++标准，属于未定义行为。换用其他编译器（比如Clang的某些版本、旧版GCC）、开启严格编译选项（比如-fno-gnu-unique），或者函数包含静态变量时，可能会出现意料之外的问题（比如静态变量被多次初始化、链接器报错）。

正确的写法示例 #

要避免这种问题，有三种合规的解决方案：

1. 声明与实现分离 #

• 头文件（foo.h）只放声明：

// foo.h
void print_hello();

• 源文件（foo.cpp）放实现：

// foo.cpp
#include "foo.h"
#include <cstdio>

void print_hello() {
    printf("Hello\n");
}

2. 给函数加inline关键字 #

C++11及以后，inline函数允许在多个目标文件中存在定义，链接器会自动合并：

// foo.h
#include <cstdio>

inline void print_hello() {
    printf("Hello\n");
}

3. 给函数加static关键字（不推荐） #

static会让函数成为文件作用域的局部符号，每个包含头文件的源文件都会生成独立的函数副本，不会触发链接错误，但会增加可执行文件体积，且函数内的静态变量会有多个独立实例：

// foo.h
#include <cstdio>

static void print_hello() {
    printf("Hello\n");
}

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