已实现父方法的共享库中没有符号

Question

我有一个类 AbsAlgorithm，它有 3 个虚拟方法：

class AbsAlgorithm
{
public:
    //..... other methods
    virtual void run() = 0;
    virtual bool init(TestCase&) = 0;
    virtual bool done() = 0;
};

我创建了一个静态库libAlgatorc.a，其中包含这个类。

我还有 SortingAbsAlgorithm 类，它继承自 AbsAlgorithm 并覆盖方法 run、init 和 done。

class SortingAbsAlgorithm : public AbsAlgorithm
{
public:
    void run()
    {
        execute(...);
    }

    bool done()
    {
        return result;
    }
}

当我创建一个包含此类（和其他一些类）的共享库时，我在共享库中没有 SortingAbsAlgorithm::run、SortingAbsAlgorithm::init 和 SortingAbsAlgorithm::done 的符号。为什么？

我这样创建共享库：

g++ -std=gnu++11 -fPIC SortingAbsAlgorithm.cpp SortingTestSetIterator.cpp SortingTestCase.cpp  -shared -o libProject.so -Wl,--whole-archive -lAlgatorc -Wl,--no-whole-archive

Answer 1

除非您为其编写定义，否则您不会在基类中看到纯虚函数的任何符号，因为编译器不可能为不存在的定义输出任何符号。

您也不会在派生类中看到任何覆盖定义，除非您调用它们，并且可能只有在您调用它们并在没有优化的情况下编译时。

这是因为它们被定义为内联函数（因为您在类主体中定义了它们），因此根据 C++ 标准中的 [dcl.fct.spec]/4，编译器知道这些函数的任何其他调用者在其他目标文件也可以看到函数定义，所以编译SortingAbsAlgorithm.cpp时不需要发出extern符号。

如果您想确保编译器输出这些函数的定义，则不要将它们定义为内联函数。或者，如果您在库中有代码构造 SortingAbsAlgorithm 的实例，这也将确保库包含虚函数的符号（但不包含在库中未调用的任何其他内联函数）。