调用静态库中的弱符号时触发段错误问题排查

静态库的链接逻辑是：链接器仅会从静态库中提取能解决当前未定义强符号的目标文件。

在你的代码中，头文件里给hello的声明加上了__attribute__((weak))，导致main.o中对hello的引用是弱未定义符号。链接器认为弱未定义符号允许不存在（默认指向NULL），因此不会从静态库中加载包含hello定义的mylib.o。最终可执行文件里的hello符号未被解析，运行时调用空指针触发段错误。

从nm的输出也能验证这一点：main_fails中的w _Z5helloPKc是未定义的弱符号，而main_works中的000000000040076b W _Z5helloPKc是已解析的弱定义符号。

以下是几种无需依赖--whole-archive的合理方案：

1. 仅在函数定义处添加弱属性 #

修改头文件，移除声明上的weak属性，只在定义时保留：

// mylib.h
#pragma once

void hello(const char* name);

// mylib.cpp
#include "mylib.h"
#include <iostream>

void hello(const char* name) __attribute__((weak)) {
    std::cout << "Hello " << name << "\n";
}

这样main.o中对hello的引用会变成强未定义符号，链接器会自动从静态库中提取mylib.o来解析该符号，同时hello的定义仍然是弱符号，允许被其他强定义覆盖。

2. 在主代码中强制生成强引用 #

如果必须保留头文件中的弱声明，可以在main.cpp中添加对hello的强引用提示，让链接器必须解析该符号：

// main.cpp
#include "mylib.h"

// 通过取地址操作，强制生成强符号引用
extern void hello(const char*);
static void* dummy = (void*)&hello;

int main() {
    hello("world!");
}

3. 使用链接器-u选项强制解析符号 #

通过-u选项告诉链接器将指定符号视为未定义的强符号，从而强制从静态库中提取对应的目标文件：

g++ -o main_fixed main.o mylib.a -u _Z5helloPKc

注：_Z5helloPKc是hello(const char*)的C++名字修饰后的符号名，若函数用extern "C"修饰，可直接使用-u hello。

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