为何CMake中PRIVATE链接未按预期生效？可执行文件直接调用深层库函数

为了理解CMake里target_link_libraries()函数的PRIVATE关键字作用，我做了一个测试项目：可执行文件main链接库lib1，lib1以PRIVATE方式链接库lib2。按预期，main应该只能访问lib1的函数，lib1可以访问lib2的函数，但实际main直接调用lib2的function2()后，项目居然能正常链接并运行，这让我很困惑。

我原本的理解是：target_link_libraries(lib1 PRIVATE lib2)会将lib1的LINK_LIBRARIES属性设为lib2，target_link_libraries(main PRIVATE lib1)会将main的LINK_LIBRARIES属性设为lib1，但lib1的INTERFACE_LINK_LIBRARIES属性不会包含lib2，因此main链接lib1时不应该能访问lib2的符号。

项目结构及代码 #

CMakeLists.txt #

project(dependency_propagation)
cmake_minimum_required(VERSION 3.0)

add_library(lib1 src1.cpp)
add_library(lib2 src2.cpp)

target_include_directories(lib1 PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/includes)
target_include_directories(lib2 PUBLIC ${CMAKE_CURRENT_SOURCE_DIR}/includes)

target_link_libraries(lib1 PRIVATE lib2)

add_executable(main main.cpp)

target_link_libraries(main PRIVATE lib1)

main.cpp #

#include <iostream>
#include <function2.hpp>

using namespace std;

int main() {
    cout << function2() << endl;
    return 0;
}

src1.cpp #

int function1() {
    return 1;
}

src2.cpp #

int function2() {
    return 2;
}

includes/function1.hpp #

int function1();

includes/function2.hpp #

int function2();

问题分析与解释 #

首先要明确：PRIVATE关键字控制的是依赖的传递性，而非符号的可见性。它决定的是lib2是否会被自动添加到依赖lib1的目标（比如main）的链接列表中，而不是限制其他目标能否声明调用lib2的符号。

在你的测试场景中，理论上main的链接命令应该只包含lib1，不包含lib2，此时链接器应该报错undefined reference to 'function2()'——因为lib1的静态库中并没有function2的符号（你的src1.cpp没有调用function2，所以lib1的归档文件里不会包含lib2的内容）。

你的项目能正常运行，大概率是以下原因之一：

• CMakeLists.txt配置错误：可能你实际编写时误将PRIVATE写成了PUBLIC，导致lib2被传递给main，链接命令中包含了lib2。
• 链接器特殊行为：部分链接器在同一构建目录下会自动查找未显式指定的库文件，意外找到了lib2。
• 动态库场景：如果开启了BUILD_SHARED_LIBS=ON，lib1和lib2是动态库。此时lib1依赖lib2，运行main时加载lib1会自动加载lib2，动态链接器能找到function2的符号（但这种情况链接阶段应该依然会报错，因为链接器会检查符号存在性）。
• CMake版本或BUG：旧版本CMake对PRIVATE关键字的处理可能存在问题，导致依赖意外传递。

你可以通过执行make VERBOSE=1（Makefile生成器）或查看Visual Studio的链接命令，确认main的链接命令中是否包含lib2，以此验证依赖是否被意外传递。

正确的预期行为应该是：当lib1以PRIVATE链接lib2时，main直接调用function2()会触发链接错误，因为main的链接依赖中没有lib2。

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