看看这段代码。 在Base类的构造函数中,我们可以使用'this'指针调用纯虚函数。现在,当我想创建一个指向同一个类的类型指针并将“this”转换为相同类型时。它抛出运行时异常'纯虚函数调用异常'。为什么会这样?
#include <iostream>
using namespace std;
class Base
{
private:
virtual void foo() = 0;
public:
Base()
{
//Uncomment below 2 lines and it doesn't work (run time exception)
//Base * bptr = (Base*)this;
//bptr->foo();
//This call works
this->foo();
}
};
void
Base::foo()
{
cout << "Base::foo()=0" << endl;
}
class Der : public Base
{
public:
Der()
{
}
public:
void foo()
{
cout << "Der::foo()" << endl;
}
};
int main()
{
cout << "Hello World!" << endl;
Der d;
}
答案 0 :(得分:16)
您必须永远不要在构造函数中调用虚函数。
虚拟函数不会以您认为的方式发送。相反,在构造期间,正在构造的基础子对象的 dynamic 类型是基类型,因此函数被分派到基函数(在您的情况下是纯虚拟的)。 / p>
就是不要这样做。
(原因很明显:构造派生对象时,必须首先构造基础子对象,因此在构造基础时甚至不存在环境派生对象。)
编辑:这里有更多解释。完全允许并鼓励编译器执行虚拟调度静态,如果他们可以这样做的话。在这种情况下,在编译时确定将调用哪个实际函数。如果您在foo()
构造函数中说this->foo()
或Base
,或者在x.Base::foo()
是您的对象的某个其他上下文中说Derived x;
,则会发生这种情况。当调度发生静态时,则直接调用Base::foo()
的实现,或者如果没有实现则会出现链接器错误。
另一方面,如果调度发生动态,即在运行时,则有可能(尽管不寻常)调度实际上最终选择Base::foo()
作为最终目标。这在“正常”条件下不会发生,因为编译器不允许您使用纯虚函数实例化类,因此普通动态调度的目标始终是必须存在实现的函数(或者至少是您如果你没有链接它,会出现链接器错误。
但还有一种情况,即问题:编译器决定在运行时执行调度,无论出于何种原因,并且dipatch结束于纯虚函数。在这种情况下,您的程序将终止。函数是否实现无关紧要,但是在多态类层次结构中没有条目(将其视为“vtable中的空指针”,因此= 0
)。为此,对象的 dynamic 类型必须是抽象基类的类型,和调度必须动态发生。前者只能在派生对象的基础构造函数内部实现,而后者要求您说服编译器不要静态调度调用。这是this->foo()
(静态)和Base * p = this; p->foo();
(动态)之间的差异所在。(也与x.Base::foo()
形成对比,后者将静态调度。)
所有这些仅仅是实施的结果,当然还包括全面的“未定义的行为”。如果你想从它那里拿走一件东西,那么动态调度就是找不到纯虚函数。当然,你必须永远不要在构造函数中调用虚函数。
答案 1 :(得分:1)
这是您可能尝试做的不正确的程序。
您需要一个两阶段构造,为此您应该使用创建该类的工厂对象,然后在其上调用虚拟方法。
实际上可以从构造函数或析构函数中调用非纯虚函数,但是你必须知道将要调用的是来自类本身的方法,而不是任何多态的方法。
从构造函数调用纯虚函数是未定义的行为。无论何时构造类,无论是直接从构造函数(编译器可能能够捕获和警告)调用它,还是从构造函数调用的方法调用它(这可能超出了编译器或链接器来检测)。