Question

根据gcc wiki的可见性（https://gcc.gnu.org/wiki/Visibility），请参阅“C ++异常问题（请阅读！）”部分，但也看似一个例子（dynamic_cast failed when hiding symbol），隐藏类可以导致到有效的dynamic_cast失败。

我想通过示例确切了解何时发生这种情况：有人能给我一个小例子来正确理解效果吗？

这是我的尝试和理解（在Linux上使用gcc＆gt; 7）：

据我所知，我需要的是vague linkage发生的事情，当基类没有密钥方法时会发生这种情况。所以我尝试了这个基础层次结构：

class A {
  virtual ~A();
  virtual void print() = 0;
}

和派生类：

class B : public A {
  ~B() override;
}

然后我将有两个实现类A_iml和B_impl只打印出他们的名字：

#include "a.hpp"

class AImpl : public A {
  ~AImpl() override = default;
  void print() override { printf("AImpl"); }
}

和

#include "b.hpp"

class BImpl : public B {
  ~BImpl() override = default;
  void print() override { printf("BImpl"); }
}

根据我的理解，我需要将这些类链接到两个不同的共享库中，使用-fvisibility-hidden隐藏它们的符号（也许-fvisibility-inlines-hidden虽然这在这里无关紧要。）

这应该导致在两个共享库中发出（和隐藏）两个类的vtable，并且使用来自另一个库的对象（例如）中的dynamic_cast应该失败，因为这两个层次结构是不同的。

例如，让第一个库执行以下操作：

factory.hpp:

class A;
A * create();

和factory.cpp：

#include "factory.hpp"
#include "b_impl.hpp"

A * create() {
  return new BImpl();
}

（我将这个和上面的类层次结构连接到一个共享库中）

和另一个：

function.hpp

void doSomething();

function.cpp

#include "function.hpp" 
#include "factory.hpp"

void doSomething() {
  A * b = create();
  b.print();
  if(dynamic_cast<B *>(b)) printf("Cast was correct");
}

（另一个共享库，链接到第一个和上面的层次结构）。

这是一个稍微减少的例子 - 当然，我将所有东西都包装在命名空间等等中，但为了简洁起见，我将它们排除在外。看看objdump什么不是，似乎两个共享库实际上都包含A和B的vtable，而且隐藏了一个，但是演员成功了：我只是链接两个进入其他具有主要功能的库（例如）并打印出“Cast is correct”。

有人可以帮助我改变这个例子，或者指出一个不同的例子，看看效果如何发生并理解其细微差别？

Answer 1

这些对象的vtable没有隐藏，否则调用虚方法是不可能的。每个类实例中都有一个指向vtable的指针。如果这些对象的 typeinfo 不可用，则可能会出现此问题，例如，如果使用-fno-rtti编译dll。 vtable仍然可用，但动态演员不起作用。

由于隐藏符号，dynamic_cast何时失败？

1 个答案: