Question

我有一个失败的动态演员表。类布局是这样的：

class A1
{
    public:
virtual int foo1()=0;
};

class A2
{
    public:
    virtual int foo2();
};

class A3
{
public:
   virtual int foo3();
};

class B : public A1, public A2, public A3 
{
   int bar();
};

现在我使用指针（因此不会发生切片）进行向下转换。

main()
{
   B b;

   A1* a1 = dynamic_cast<A1*> (&b); // ok
   B*  b1 = dynamic_cast<B*>  (a1); // ok

   A2* a2_1 = dynamic_cast<A2*> (a1); // OSX 10.7 ok, OSX 10.9 fail
   A2* a1_2 = dynamic_cast<A2*> (b1); // ok

};

堕落的作品，向上的作品，但是侧面作品总是不起作用。在OSX 10.7下，侧面工作，在OSX 10.9下它没有（GCC 4.2使用动态c ++ stdlib）。使用gdb查看vtable我可以清楚地看到列出的A2方法和成员。

我的问题：

a）侧播在技术上是否正确？它应该工作还是运行时错误？ b）如果sidecast取决于运行时，这个运行时在哪里定义？我一直认为这是二进制文件的一部分？
c）失败的dynamic_cast如何看待（当看装配时），以及如何追踪这些问题？

更新：这是我在系统控制台中看到的

11/01/15 14:16:27,435 APPNAMECHANGED [15280]：dynamic_cast错误1：以下两个type_info都应具有公开可见性。至少其中一个是隐藏的。 10A1,15A2。

所以c）得到了解答，至少对于OSX 10.9。看看控制台。（Linux，某人？）它似乎是关于符号可见性的问题。 Doc说（gcc.gnu.org/wiki/Visibility）

然而，这不是完整的故事 - 它变得更难。符号可见性是＆＃34;默认＆＃34;默认情况下，如果链接器只遇到一个隐藏的定义 - 只有一个 - 那个typeinfo符号将永久隐藏（请记住C ++标准的ODR - 一个定义规则）。对于所有符号都是如此，但更有可能对typeinfos产生影响;没有vtable的类的typeinfo符号是在每个使用EH类的目标文件中按需定义的，并且是弱定义的，因此定义在链接时合并为一个副本。

这导致了下一个问题，

d）我们如何追踪哪个符号至少被标记为隐藏，以及在何处以及为何？有没有工具来检查.o文件？

Answer 1

_{免责声明：我只会提出问题a）。}

首先，B显然是[class.virtual] / 1的多态类型，因为它继承了一个虚函数（确切地说，B继承了三个不同的函数）。 /> 现在考虑[expr.dynamic.cast] / 8：

如果C是T指向或引用的类类型，则为运行时   检查逻辑执行如下：


如果，在由v指向（引用）的最派生对象中，v指向（引用）公共基类      C对象的子对象，如果只有一个C类型的对象是从指向（引用）的子对象派生的     通过v结果点（引用）到C对象。

否则，如果v指向（引用）最派生对象的公共基类子对象，以及最派生对象的类型   有一个类型为C的基类，它是明确的，公开的，   结果点（引用）到派生最多的C子对象   对象

否则，运行时检查将失败。

是的，它应该有效。

Answer 2

在我们发现可执行文件链接到dylib之后，问题终于得到了解决，dylib本身与c ++运行时静态链接，但是使用不同的编译器编译（gcc 4.8 vs clang）。

dynamic_cast失败 - 取决于操作系统版本

2 个答案: