已知存在如下的类继承体系,其中每个类分别定义了一个公有的默认构造函数和一个虚析构函数:
class A{};
class B:public A{};
class C:public B{};
class D:public B,public A{};
下面的哪个dynamic_cast将失败。
0. A*pa=new C;
B* pb=dynamic_cast<B* > (pa);
1. B* pb=new B;
C* pc=dynamic_cast<C* > (pb);
2. A* pa=new D;
B* pb=dynamic_cast<B* >(pa);
上面这道题,我百度之后说,
1. B* pb=new B;
C* pc=dynamic_cast<C* > (pb);
这个是错的,然后它是这样说,因为 pb实际指向的对象是C的基类无法转换
可是我翻到730页 上面很清楚写着
dynamic_cast<type *>(e)
这里e的类型要符合三个条件,其中一个条件就是:e的类型是目标type的公有基类
pb对应了e,那么pb是C的公有基类,这个符合e的类型的条件,那为什么说 1 是错的呢?
class A{};
class B:public A{};
class C:public B{};
class D:public B,public A{};
下面的哪个dynamic_cast将失败。
0. A*pa=new C;
B* pb=dynamic_cast<B* > (pa);
1. B* pb=new B;
C* pc=dynamic_cast<C* > (pb);
2. A* pa=new D;
B* pb=dynamic_cast<B* >(pa);
上面这道题,我百度之后说,
1. B* pb=new B;
C* pc=dynamic_cast<C* > (pb);
这个是错的,然后它是这样说,因为 pb实际指向的对象是C的基类无法转换
可是我翻到730页 上面很清楚写着
dynamic_cast<type *>(e)
这里e的类型要符合三个条件,其中一个条件就是:e的类型是目标type的公有基类
pb对应了e,那么pb是C的公有基类,这个符合e的类型的条件,那为什么说 1 是错的呢?