CMake如何配置handle函数链接：优先specific.o失败回退general.o

该需求完全可以实现，不需要修改业务源码，通过CMake配置链接顺序、结合静态库的链接特性即可达到要求。

链接器解析符号时遵循固定的顺序规则：

• 对于直接输入的目标文件（.o/.obj），链接器会把文件内所有全局符号全部加入全局符号表，若出现同名强符号会直接报重复定义错误
• 对于静态库（.a/.lib），链接器只会检索当前还未被解析的符号，把对应实现的目标文件从静态库中拉取进来，已经解析完成的符号不会再去静态库中查找，不会触发重复定义问题

我们可以利用这个特性，把高优先级的可选实现放在链接输入的最前面，把通用回退实现打包成静态库放在后面，就能自动实现「优先用高优先级实现，找不到就用回退实现」的逻辑。

1. 首先将已有的预编译目标文件导入为CMake可识别的目标：

# 导入三个预编译目标文件
add_library(main_obj OBJECT IMPORTED)
set_target_properties(main_obj PROPERTIES
    IMPORTED_LOCATION ${CMAKE_CURRENT_SOURCE_DIR}/main.o
)

add_library(specific_obj OBJECT IMPORTED)
set_target_properties(specific_obj PROPERTIES
    IMPORTED_LOCATION ${CMAKE_CURRENT_SOURCE_DIR}/specific.o
)

# 通用回退实现直接导入为静态库，不需要额外打包操作
add_library(general_impl STATIC IMPORTED)
set_target_properties(general_impl PROPERTIES
    IMPORTED_LOCATION ${CMAKE_CURRENT_SOURCE_DIR}/general.o
)

2. 组织最终目标的链接顺序，注意高优先级的specific_obj必须放在general_impl前面：

# 替换为你实际要生成的可执行文件/动态库目标
add_executable(your_app $<TARGET_OBJECTS:main_obj>)

# 严格按优先级顺序链接：先链可选的specific实现，再链通用回退的静态库
target_link_libraries(your_app PRIVATE
    specific_obj
    general_impl
)

• 如果specific.o中实现了handle函数：链接器处理specific.o时就会完成handle符号的解析，后续处理general_impl静态库时不会再查找该符号，最终程序使用specific版本的实现，无重复定义报错
• 如果specific.o中没有实现handle函数：链接器处理完specific.o后handle仍为未解析状态，会自动从后面的general_impl静态库中拉取通用版handle实现，完成链接

• 绝对不能调换specific_obj和general_impl的链接顺序，否则通用实现会被优先链接，永远用不到specific版本
• 不要将general.o直接作为目标文件排在specific_obj后面，否则当两个文件都存在handle强符号时会触发重复定义链接错误，必须将回退实现作为静态库导入
• 该配置对GCC、Clang、MSVC编译器均生效，不需要做编译器特殊适配

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