为何多翻译单元中定义头文件函数未触发重复符号链接错误？

按照C++常规认知，若在头文件中定义非内联、非静态的函数，并将该头文件包含到多个源文件（翻译单元）中，链接时理应触发重复符号错误。但使用以下代码构建时并未出现该错误，需要解释原因。

相关代码 #

include/library.hpp #

#ifndef INCLUDE_LIBRARY_HPP
#define INCLUDE_LIBRARY_HPP

int add(int a, int b) {
    return a + b;
}

#endif //INCLUDE_LIBRARY_HPP

user1.cpp #

#include "include/library.hpp"

void doSomething() {
    int result = add(10, 20);
}

user2.cpp #

#include "include/library.hpp"

int main() {
    int result = add(5, 3);
    return 0;
}

CMakeLists.txt #

cmake_minimum_required(VERSION 3.25)
project(proj)

set(CMAKE_CXX_STANDARD 17)

add_library(lib INTERFACE include/library.hpp)

add_library(first_user user1.cpp)
target_link_libraries(first_user PUBLIC lib)

add_executable(second_user user2.cpp)
target_link_libraries(second_user PUBLIC lib first_user)

• 编译器自动内联优化：你的add函数逻辑极度简单（仅返回两数之和），现代C++编译器（如GCC、Clang、MSVC）会自动对这类函数执行内联优化——在编译每个翻译单元时，直接将add的函数体替换到调用位置，不会为该函数生成独立的全局符号。没有全局符号重复，链接器自然不会报错。
• 验证冲突的方法：如果给add函数增加复杂逻辑，让编译器无法完成自动内联，链接时就会触发预期的重复符号错误。例如修改函数为：

int add(int a, int b) {
    int sum = 0;
    for (int i = 0; i < b; ++i) {
        sum += 1;
    }
    sum += a;
    return sum;
}

• 标准合规的写法：若要在头文件中定义函数，显式添加inline关键字是符合C++标准的正确方式。inline函数允许多个翻译单元存在相同定义（只要定义完全一致），链接器会自动处理符号合并：

inline int add(int a, int b) {
    return a + b;
}

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