Rust链接系统库时使用-Wl,--as-needed引发未定义引用错误求助

我正在开发一个以Rust为主、C++编写GTK前端的应用，已完成Cargo构建配置，但链接阶段失败。最小复现示例如下：

build.rs #

extern crate cc;
extern crate pkg_config;

fn main() {
    let gtk = pkg_config::probe_library("gtk+-3.0").unwrap();
    cc::Build::new()
        .cpp(true)
        .file("src/gui.cc")
        .includes(gtk.include_paths)
        .compile("gui");
}

src/gui.cc #

// 改编自GTK3官方入门示例
#include <gtk/gtk.h>

extern "C" {
int run_gui();
}

static void activate(GtkApplication* app, gpointer) {
  GtkWidget* window = gtk_application_window_new (app);
  gtk_window_set_title (GTK_WINDOW (window), "Window");
  gtk_window_set_default_size (GTK_WINDOW (window), 200, 200);
  gtk_widget_show_all (window);
}

int run_gui() {
  GtkApplication* app = gtk_application_new ("org.gtk.example", G_APPLICATION_DEFAULT_FLAGS);
  g_signal_connect (app, "activate", G_CALLBACK (activate), nullptr);
  int status = g_application_run (G_APPLICATION (app), 0, nullptr);
  g_object_unref (app);

  return status;
}

src/main.rs #

extern "C" { 
    fn run_gui() -> core::ffi::c_int;
}

fn main() {
    unsafe { run_gui(); }
}

执行cargo build时，C++和Rust代码编译正常，但链接阶段出现gtk_application_window_new等未定义引用错误。链接命令已包含-lgtk-3、-lcairo等所需GTK库，移除-Wl,--as-needed标志后链接成功且程序可正常运行。

需要解答以下问题：

1. rustc为何添加-Wl,--as-needed标志？
2. 从链接器视角看这些GTK符号为何不被视为“必需”？
3. 有哪些优雅的修复方法？

1. rustc为何添加-Wl,--as-needed标志？ #

--as-needed是GNU链接器的默认优化选项，rustc默认启用它是为了缩减最终可执行文件体积：链接器只会链接被二进制文件直接引用的库，跳过未被直接使用的依赖库，避免引入冗余代码和运行时依赖。这是现代编译工具链的常规优化手段，能有效降低程序的资源占用。

2. 链接器视角下GTK符号为何不被视为“必需”？ #

核心原因是符号引用的间接性：

• Rust代码仅直接引用了run_gui这个C导出函数，链接器能识别到该函数在cc编译生成的静态库libgui.a中有定义。
• gtk_application_window_new等GTK符号是在libgui.a的activate静态函数中被调用的，但activate是通过GTK的信号机制（g_signal_connect）动态绑定触发的——链接器在静态分析依赖时，无法识别这种运行时才会触发的调用关系，只会认为libgui.a中只有run_gui是被直接使用的，activate里的GTK符号属于“未被直接引用”的代码，因此不会主动链接-lgtk-3等库来解析这些符号。

简单来说：链接器看不到activate会被GTK框架调用，因此判定这些GTK符号是“不需要”的，进而跳过了相关库的链接。

3. 优雅的修复方法 #

方法一：针对GTK库取消--as-needed优化 #

在build.rs中，将pkg-config获取的库链接标志添加到Rust配置时，显式对GTK库使用--no-as-needed，不影响其他库的优化：

extern crate cc;
extern crate pkg_config;

fn main() {
    let gtk = pkg_config::probe_library("gtk+-3.0").unwrap();
    // 编译C++代码
    cc::Build::new()
        .cpp(true)
        .file("src/gui.cc")
        .includes(gtk.include_paths)
        .compile("gui");
    
    // 处理链接标志，仅针对GTK库取消--as-needed
    for lib in gtk.libs {
        println!("cargo:rustc-link-arg=-Wl,--no-as-needed,-l{},--as-needed", lib);
    }
}

方法二：在C++代码中添加强制引用符号 #

在gui.cc中添加一个全局变量，直接引用某个GTK符号，让链接器意识到需要链接GTK库：

#include <gtk/gtk.h>

// 添加全局变量，强制引用GTK符号，触发链接器加载GTK库
static void* __force_gtk_link = (void*)gtk_application_window_new;

extern "C" {
int run_gui();
}

// 剩余代码不变...

这种方式利用链接器对全局符号的分析逻辑，间接解决所有GTK相关符号的引用问题。

方法三：将C++代码编译为动态库 #

修改build.rs，让cc编译生成动态库而非静态库：

extern crate cc;
extern crate pkg_config;

fn main() {
    let gtk = pkg_config::probe_library("gtk+-3.0").unwrap();
    cc::Build::new()
        .cpp(true)
        .file("src/gui.cc")
        .includes(gtk.include_paths)
        .shared(true) // 生成动态库
        .compile("gui");
    
    // 显式链接GTK库
    for lib in gtk.libs {
        println!("cargo:rustc-link-lib={}", lib);
    }
}

动态库在编译时会记录所有依赖的符号，链接器处理动态库时会强制加载其依赖的库，因此不会触发--as-needed的优化问题。

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