如何检查 C++抽象方法是在运行时定义的

Question

如何检查 C++ 抽象方法是否在运行时定义

class ABase{
public:
 virtual void do1() = 0;
};

class BBase: public ABase{
public:
 virtual void do1(){}
};

class CBase: public ABase{
public:
};

ABase * base = rand() % 2 ? new BBase() : new CBase();
if(&(base->do1) != 0)
  base->do1();

这会产生错误。

谢谢， 最大限度

Answer 1

由于您无法实例化抽象类，因此您在运行时遇到的任何类都不会具有任何纯虚方法（除非您当时处于构造函数或析构函数中），它们都将被非纯虚方法覆盖覆盖者。没有什么可检查的。

Answer 2

必须实现抽象方法才能实例化该类。没有检查方法是否被实现这样的事情，编译器会为你做这件事。在这种情况下，您不能拥有 CBase 对象，因为它具有抽象方法。

Answer 3

编译器不会让您创建未定义所有抽象方法的类型的实例。在上面的示例中，对 new CBase() 的调用将生成类似于“无法实例化抽象类型”的编译时错误。

Answer 4

CBase 是抽象的，因为它不重写 ABase::do1()。因此，您无法实例化它。或者更确切地说，如果您将 do1() 声明为虚拟，就会发生这种情况。但目前，它还无法编译。

不过，很高兴知道您为什么要这样做。

Answer 5

您不需要检查该方法是否在运行时实现（无论如何在这种情况下都不能），因为 CBase 必须实现 do1() 才能满足从 ABase 的继承。

Answer 6

您无法实例化CBase，因为它是...抽象的，即不实现其父级的所有纯虚函数。

最简单的可能是在 ABase 中定义一个存根实现：

class ABase {
public:
 void do1() { /* do nothing */ }
};

class BBase: public ABase {
public:
 void do1() { /* do something */ }
};

class CBase: public ABase {};

ABase * base = rand() % 2 ? new BBase() : new CBase();
base->do1();

Answer 7

假设您记得将 do1() 设为虚拟，您可以在运行时检查 &ABase::do1、&BBase::do1 和 &CBase::do1。我不相信比较 &ABase::do1 和 &CBase::do1 会仅仅因为 CBase 没有覆盖该函数而返回相同的值，也不相信仅仅因为它在一个系统上覆盖该函数就意味着它总是会返回相同的值。

虽然您可能能够在运行时测试这些信息，但如果 CBase 类不是抽象的，您将无法使用这些信息来创建 CBase 类的对象，因为如果是抽象的，它将无法编译。

不过，您也可以用“C”方式来实现：拥有一个可以为 NULL 的函数指针表，检查其中一个是否为 NULL，然后创建此类实例的结构，或者如果不是则调用它。