c++ - dynamic_cast 何时因隐藏符号而失败？

Question

根据关于可见性的 gcc wiki(https://gcc.gnu.org/wiki/Visibility，请参阅“C++ 异常问题(请阅读!)”)部分，但似乎也是一个示例(dynamic_cast failed when hiding symbol)，隐藏类可以导致有效的 dynamic_cast 失败。

我想通过示例准确了解这种情况何时发生:任何人都可以给我一个小示例来正确理解效果吗？

---

这是我的尝试和理解(在 Linux 上使用 gcc >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 虽然这在这里无关紧要)。

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

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

工厂.hpp:

class A;
A * create();

和factory.cpp:

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

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

(我会将它和上面的类层次结构链接到一个共享库中)

还有一个:

函数.hpp

void doSomething();

函数.cpp

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

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

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

这是一个略微简化的示例 - 当然，我会将所有内容都包装在 namespace 等中，但为了简洁起见，我将它们省略了。查看 objdump 和其他内容，似乎两个共享库实际上都包含一个用于 A 和 B 的 vtable，并且那个是隐藏的，但是转换成功:我只是将两者都链接到其他具有主要功能的库(例如)，它会打印“Cast was correct”。

任何人都可以帮助我更改示例或将我指向一个不同的示例，以便了解效果如何发生并理解其细微差别吗？

Answer 1

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