c++ - 纯虚函数调用趣事

Question

考虑以下代码:

#include <iostream>
using namespace std;

class A
{
  public:
   virtual void f() = 0;
   A(){f();}
};

void A::f() {
    cout<<"A"<<endl;
}

class B:public A{
 public:
    void f(){cout<<"B"<<endl;}
};
int main()
{
 B b;
}

在这种情况下，我直接从构造函数调用虚函数并得到编译器警告:
警告:从构造函数调用的抽象虚拟“virtual void A::f()”。
但它会在没有终止的情况下执行并打印 A。

如果我像这样包装函数的调用:

class A
{
  public:
   virtual void f() = 0;
   A(){g();}
   void g(){f();}
};

void A::f(){cout<<"A"<<endl;}

class B:public A{
 public:
    void f(){cout<<"B"<<endl;}
};
int main()
{
 B b;
}

编译器在编译期间不会输出任何警告，但会在运行时崩溃并显示以下消息:

pure virtual method called   
terminate called without active exception   
Abort

谁能解释这两种情况的行为？

Answer 1

§ 10.4 Abstract classes [class.abstract] / p6

Member functions can be called from a constructor (or destructor) of an abstract class; the effect of making a virtual call (10.3) to a pure virtual function directly or indirectly for the object being created (or destroyed) from such a constructor (or destructor) is undefined.

简而言之:为从构造函数创建的对象直接或间接调用纯虚函数的效果是未定义的。

无论调用是直接调用还是间接调用，都不能从构造函数或析构函数中使用对纯虚成员函数的调用，因为那样你最终会得到未定义的行为。

提供纯虚函数实现的唯一有用示例是从派生类调用它时:

struct A
{
    virtual void f() = 0;
};

void A::f()
{
    cout<<"A"<<endl;
}

struct B : A
{
    void f()
    {
        A::f();
        cout<<"B"<<endl;
    }
};