为什么主可执行文件和 dlopen 加载的共享库共享命名空间静态变量的一个副本?

据我了解，命名空间范围静态变量在每个编译单元中应该有一个副本。因此，如果我有一个这样的头文件：

class BadLad {                                                                                      
public:                                                                                             
BadLad();                                                                                       
~BadLad();                                                                                      
};                                                                                                  
static std::unique_ptr<int> sCount;                                                                 
static BadLad sBadLad;

和坏人.cpp

#include "badlad.h"
BadLad::BadLad() {
if (!sCount) {
sCount.reset(new int(1));
std::cout<<"BadLad, reset count, "<<*sCount<<std::endl;
}
else {
++*sCount;
std::cout<<"BadLad, "<<*sCount<<std::endl;
}
}
BadLad::~BadLad() {
if (sCount && --*sCount == 0) {
std::cout<<"~BadLad, delete "<<*sCount<<std::endl;
delete(sCount.release());
}
else {
std::cout<<"~BadLad, "<<*sCount<<std::endl;
}
}

我希望sCount和sBadLad在包含badlad.h的每个cpp文件中都是唯一的。

但是，我在以下实验中发现情况并非如此：

• 我将 badlad 编译为共享库libBadLad.so。
• 我创建了另一个共享库libPlugin.so链接libBadLad.so，只有插件.cpp包括badlad.h，所以我希望 libPlugin.so 有一份sCount。
• 我创建了一个链接 libBadLad.so 的主程序，我希望有 一份主sCount。

主程序如下所示：

#include <dlfcn.h>
int main() {
void* dll1 = dlopen("./libplugin.so", RTLD_LAZY);
dlclose(dll1);
void* dll2 = dlopen("./libplugin.so", RTLD_LAZY);
dlclose(dll2);
return 0;
}

执行主程序时，我可以看到在调用主程序之前首先创建并设置为 1sCount变量，这是预期的。但是，在调用第一个dlopen后，sCount递增到 2，随后在调用dlclose时减少到 1。同样的情况也发生在第二个 dlopen/dlclose。

所以我的问题是，为什么只有一个副本的sCount？为什么链接器不将副本分开(我认为这是大多数人所期望的)？如果我直接将 libPlugin.so 链接到 main 而不是 dlopen，它的行为是一样的。

我正在使用clang-4(clang-900.0.39.2)在macOS上运行它。

编辑：请参阅此存储库中的完整源代码。