c++ - 检查 2 个变量的动态类型的继承 - 但它们在范围内未声明

Question

是否可以检查 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;
}

测试2.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是不允许的。
(因此，不允许通过 hack 来设置 A 的非静态字段 = a value depending on type。)

我可能会在我的代码中使用它作为某种黑魔法。

Answer 1

有点。

需要virtual bool A::baseOf(A const* derived) const = 0和 bool B::baseOf(A const* derived) const override { return dynamic_cast<B*>(derived); }

现在您可以检查 foo->baseOf(bar)当你只有 A 的定义时。

如果C，事情确实会崩溃忘记覆盖 B::baseOf .