链接自注册的抽象工厂

我一直在使用和测试一个基于此处描述的自注册抽象工厂：

https://stackoverflow.com/a/582456 https://stackoverflow.com/a/582456

在我所有的测试用例中，它就像一个魅力，并提供了我想要的功能和重用。

使用 cmake 在我的项目中链接这个工厂非常棘手（尽管它似乎更像是一个 ar 问题）。

我有与链接示例相同的 base.hpp、derivatedb.hpp/cpp 和等效的 obligeda.hpp/cpp。在 main 中，我只是实例化工厂并调用 createInstance() 两次，每次使用“DerivedA”和“DerivedB”。

由该行创建的可执行文件：

g++ -o testFactory main.cpp derivedb.o deriveda.o

按预期工作。将我的派生类移至库中（使用 cmake，但我也单独使用 ar 对此进行了测试），然后链接失败：

ar cr libbase.a deriveda.o derivedb.o
g++ -o testFactory libbase.a main.cpp

仅调用第一个静态实例化（来自衍生A.cpp），而从不调用第二个静态实例化，即

// deriveda.cpp (if listed first in the "ar" line, this gets called)
DerivedRegister<DerivedA> DerivedA::reg("DerivedA");

// derivedb.cpp (if listed second in the "ar" line, this does not get called)
DerivedRegister<DerivedB> DerivedB::reg("DerivedB");

请注意，交换 ar 行中的两者只会调用 derivatedb.cpp 静态实例化，而不是 derivateda.cpp 实例化。

我是否缺少 ar 或静态库中的某些内容，这些库在 C++ 中与静态变量不能很好地配合？

与直觉相反，在链接命令中包含存档与包含存档中的所有对象文件不同。仅包含存档中解析未定义符号所需的那些目标文件。如果您考虑到一旦没有动态链接，那么这是一件好事，否则任何库（例如 C 库）的整体都会被复制到每个可执行文件中。以下是 ld(1) 联机帮助页（Linux 上的 GNU ld）的内容：

链接器只会在命令行指定的位置搜索存档一次。如果存档定义了一个在命令行上出现在存档之前的某个对象中未定义的符号，则链接器将包含存档中的相应文件。但是，稍后出现在命令行上的对象中的未定义符号不会导致链接器再次搜索存档。

不幸的是，没有标准方法可以将存档的每个成员包含在链接的可执行文件中。在Linux上你可以使用g++ -Wl,-whole-archive在 Mac OS X 上你可以使用g++ -all_load.

因此，对于 GNU binutils ld，链接命令应该是

g++ -o testFactory -Wl,-whole-archive libbase.a -Wl,-no-whole-archive main.cpp

the -Wl,-no-whole-archive确保稍后出现在 g++ 生成的最终链接命令中的任何存档都将以正常方式链接。