从动态库返回的向下转型类型

时间:2016-02-14 05:17:34

标签: c++ c++11 c++14 dynamic-cast dynamic-library

我正在编写一个动态库,它返回指向基类的指针,但我想将它们转发给派生类。例如:

//Library code:
class A
{
public:
    A(void) = default;
    virtual ~A(void) = default;
    virtual void Foo(void)
    {
        std::cout << "A::Foo\n";
    };
};

class B : public A
{
public:
    B(void) = default;
    void Foo(void) override
    {
        std::cout << "B::Foo\n";
    }
    virtual void Bar(void)
    {
        std::cout << "B::Bar\n";
    }
};

class Factory
{
public:
    Factory(void) = default;
    virtual std::shared_ptr<A> CreateB(void)
    {
        return std::shared_ptr<A>{new B{}};
    }
};

extern "C" std::shared_ptr<Factory> CreateFactory(void)
{
    return std::make_shared<Factory>();
}


//Application code:
int main(int argc, char* argv[])
try
{
    auto handle = dlopen("./Dynamic.so", RTLD_LAZY);
    if (handle == nullptr)
    {
        throw std::runtime_error{dlerror()};
    }
    auto factoryaddress = 
        reinterpret_cast<std::shared_ptr<Factory>(*)(void)>(
        dlsym(handle, "CreateFactory"));
    if (factoryaddress == nullptr)
    {
        dlclose(handle);
        throw std::runtime_error{dlerror()};
    }
    auto factory = factoryaddress();
    auto a = factory->CreateB();
    a->Foo();
    auto b = std::dynamic_pointer_cast<B>(a);
    b->Bar();
    std::cin.get();
}

我得到了

/usr/include/c++/5/bits/shared_ptr.h:458: undefined reference to `typeinfo for B'
/usr/include/c++/5/bits/shared_ptr.h:458: undefined reference to `typeinfo for A'

1 个答案:

答案 0 :(得分:1)

我打赌你展示的代码与实际尝试编译的代码不同。为了建立时间链接问题,你必须

  1. 使用RTTI支持进行编译,因为您使用dynamic_cast
  2. 在班级中使用非内联虚拟功能,您使用的是RTTI信息。
  3. 在您的代码中,所有内容都是内联的,但是如果您采用,请说~A()并将其放入单独的源文件(不在通用标头中),您将收到此错误。

    解决方案很简单,但有点难看。所有导出的类必须具有内联的所有虚函数。您可以使用实际实现的私有非内联非虚函数,只需从另一个调用。

    所有这一切背后的原因是,如果翻译单元定义了类的第一个非内联虚函数,则会发出RTTI信息(typeinfo和其他一些符号)。在这种情况下,当您编译应用程序时,编译器不会看到任何虚函数定义,并假定typeinfo在其他目标文件中。这不是真的,因此链接器失败。

    当所有虚函数都是内联的时,RTTI的东西在每个引用该类的目标文件中都是弱的(a.k.a。&#34; comdat&#34;部分)。因此,您可以在库和应用程序之间共享类,两者都具有相同的弱RTTI符号。当应用程序加载库时,将丢弃第二组重复的RTTI符号,并将库代码链接到应用程序代码中已存在的符号。这是常见的弱符号力学。