为何C++静态库可编译通过，动态库却报多重符号定义错误？

问题场景 #

以下是一个简单的CMake项目：

cmake_minimum_required(VERSION 3.0)

project(Test)

add_library(Test STATIC test1.cpp test2.cpp)

其中test1的代码如下：

// test1.h
#pragma once

void test();

// test1.cpp
#include "test1.h"

void test() 
{

}

test2的代码如下：

// test2.h
#pragma once

void test();

// test2.cpp
#include "test2.h"

void test() 
{

}

该项目编译完全正常，但将库类型改为动态库：

add_library(Test SHARED test1.cpp test2.cpp)

后，使用MSVC 17.5.1编译时出现链接错误：

fatal error LNK1169: one or more multiply defined symbols found

为何静态库可编译通过，动态库却编译失败？

原因分析 #

核心差异在于静态库和动态库的链接处理逻辑不同：

• 静态库（STATIC）：本质是多个目标文件（.obj）的归档集合。编译静态库时，编译器仅将每个.cpp文件单独编译为目标文件，然后打包成.lib，这个过程中链接器不会检查全局符号的重复性。只有当静态库被链接到最终可执行文件时，链接器才会解析符号，只要可执行文件中没有重复引用同一符号，就不会报错。但从C++标准来看，全局函数重复定义属于未定义行为，静态库没报错只是链接器的宽松处理，并非代码合法。
• 动态库（SHARED）：编译动态库时，链接器需要生成完整的动态链接库文件（.dll），并维护导出符号表。此时链接器会对整个动态库内的全局符号做严格检查，两个完全相同的test()函数会导致符号表冲突，MSVC链接器因此抛出多重定义的错误。

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