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

Question

根据gcc wiki的可见性(https://gcc.gnu.org/wiki/Visibility,请参阅"C++异常问题(请阅读!)"一节),但也看似一个例子(隐藏符号时dynamic_cast失败) ,隐藏类可能会导致有效的dynamic_cast失败.

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

---

这是我的尝试和理解(在Linux上使用gcc> 7):

据我所知,我需要的是模糊的链接发生,这种情况发生在基类没有密钥方法时.所以我尝试了这个基础层次结构:

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和什么不是,似乎两个共享库实际上包含一个vtable for A和B一个隐藏,但是演员成功:我只是将两个链接到一个带有main函数的其他库(例如)和它打印"演员是正确的".

任何人都可以帮助我改变这个例子,或者指向一个不同的例子,以便了解效果如何发生并理解其细微差别？

Answer 1

这些对象的 vtable 不是隐藏的，否则调用虚拟方法是不可能的。每个类实例中都有一个指向 vtable 的指针。如果这些对象的类型信息不可用，例如如果 dll 是使用-fno-rtti. vtable 仍然可用，但动态转换将不起作用。