c++ - 检查2个变量的动态类型的继承-但它们在作用域中未声明

如果未在范围内声明两个变量(例如B和C)的基础类型(例如b和c)之间的继承性，是否可以？

我认为这是不可能的，但我不确定。

Test1.h:-

#include <vector>
class A{};
std::vector<A*> test1();

Test1.cpp:-

#include "Test1.h"
class B : public A{};
class C : public B{};
class D : public A{};
std::vector<A*> test1(){
    A* b=new B();     A* c=new C();     A* d=new D();
    std::vector<A*> re;
    re.push_back(b);  re.push_back(c);  re.push_back(d);
    return re;
}

Test2.cpp ;请注意，此处(设计上)未知B C D:-

#include "Test1.h"
int test2(){
    std::vector<A*> v=test1();
    A* b=v[0];  A* c=v[1];  A* d=v[2];
    isInherit(b,c); //true
    isInherit(c,d); //false
    isInherit(b,d); //false
}

如果答案是肯定的，请说明如何编码bool isInherit(A* base,A* derive){}。

请注意，不允许修改class A。
(因此，不允许黑客设置non-static field of A = a value depending on type。)

我可以将其用作代码中的某些魔术。

最佳答案

有点。

它需要virtual bool A::baseOf(A const* derived) const = 0和bool B::baseOf(A const* derived) const override { return dynamic_cast<B*>(derived); }
现在，当您仅拥有A的定义时，就可以检查foo->baseOf(bar)。

如果C忘记覆盖B::baseOf，事情就会崩溃。