共享库构造函数调用unordered_map::find触发段错误求助

这个问题的核心原因是共享库构造函数的执行时机早于C++全局对象的初始化，导致你访问的std::unordered_map还没完成构造，进而触发段错误。

为什么会出现段错误？ #

你代码里的stats应该是一个全局的Stats实例吧？问题出在这几点：

• 用__attribute__((constructor))标记的函数，在GNU系统（Linux等）中默认会在所有C++全局对象的构造函数之前执行。
• 这意味着当init函数运行时，stats._regions这个std::unordered_map还没完成初始化——它的内部数据结构（比如哈希桶数组、大小计数器等）都是未定义的垃圾值。
• 你看到printf("Size: %i\n", stats._regions.size());能正常输出，只是未定义行为的巧合：size()可能刚好读取了一个值为0的内存位置，但这不代表对象是有效的。而find()操作需要访问更多内部结构（比如指向哈希桶的指针），这些垃圾指针直接导致了段错误。

解决方法 #

这里有几种可靠的修复方式，按推荐程度排序：

1. 用静态局部变量延迟初始化（最推荐） #

把全局的Stats实例改成函数内的静态局部变量，这样它会在第一次被访问时才完成初始化，确保在init函数调用时已经构造完毕：

#include <unordered_map>

class RegionInfo { /* 你的RegionInfo定义 */ };

class Stats {
public:
    std::unordered_map<void *, RegionInfo> _regions;
};

// 全局访问点：第一次调用时初始化Stats
Stats& get_global_stats() {
    static Stats stats;
    return stats;
}

void __attribute__((constructor)) init(void) {
    void * address = __builtin_extract_return_addr(__builtin_return_address(0));
    
    auto& regions = get_global_stats()._regions;
    printf("Size: %zu\n", regions.size()); // 现在是安全的
    
    auto regionIt = regions.find(address);
    printf("Successfully reached here!\n");
}

这种方式完全避开了全局对象初始化顺序的问题，是C++中处理全局单例的标准做法。

2. 调整构造函数的执行优先级 #

如果你一定要保留全局Stats实例，可以通过调整优先级，让Stats的构造函数先于init函数执行：

#include <unordered_map>

class RegionInfo { /* 你的RegionInfo定义 */ };

class Stats {
public:
    std::unordered_map<void *, RegionInfo> _regions;
};

// 设置Stats实例的初始化优先级为99（数字越小越先执行）
Stats stats __attribute__((init_priority(99)));

// 设置init函数的优先级为100（比Stats的初始化晚）
void __attribute__((constructor(100))) init(void) {
    void * address = __builtin_extract_return_addr(__builtin_return_address(0));
    
    printf("Size: %zu\n", stats._regions.size());
    auto regionIt = stats._regions.find(address);
    printf("Successfully reached here!\n");
}

注意：init_priority的取值范围通常是101到65535，但部分系统支持0到65535，这里用99确保比默认的100优先级更高（更早执行）。

3. 验证初始化顺序（用于排查） #

如果你想确认问题确实是初始化顺序导致的，可以给Stats加一个构造函数打印：

class Stats {
public:
    Stats() {
        printf("Stats constructor executed\n");
    }
    std::unordered_map<void *, RegionInfo> _regions;
};

void __attribute__((constructor)) init(void) {
    printf("init function executed\n");
    // ... 原代码 ...
}

如果运行时输出是init function executed在前，Stats constructor executed在后，就完全验证了我们的结论。

为什么拦截函数里执行find没问题？ #

因为拦截函数是在应用程序运行后才被调用的，此时所有全局对象的初始化都已经完成，std::unordered_map处于有效状态，所以find()操作能正常工作。

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