虚表生成时机与多态开始时机

虚表生成在父类构造完之后，子类构造之前

，生成父类虚表，再执行子类的构造，这时虚表已经重写，可以多态（即开始派生类构造初始化列表代码）。

验证：输出This is animal miao miao miao

1

#include<iostream>
using std::cout;
using std::cin;
using std::endl;
struct Animal
{
	virtual int callOut()const
	{
		cout << "This is animal ";
		return 0;
	}
	Animal()
	{
		callOut();
	}
};
class Cat:public Animal
{
	virtual int callOut()const
	{
		cout << "miao miao miao" << endl;
		return 1;
	}
	int a;
public:
	Cat():a(callOut())
	{
		cout << a << endl;
	}
	
};
int main()
{
    const Animal& cat = Cat();
	return 0;
}

//错题
class A

{

public:

  A ():m_iVal(0){test();}

  virtual void func() { std::cout<<m_iVal<<‘ ’;}

  void test(){func();}

public:

  int m_iVal;

};



class B : public A

{

public:

  B(){test();}

  virtual void func()

  {

    ++m_iVal;

    std::cout<<m_iVal<<‘ ’;

  }

};



int main(int argc ,char* argv[])

{

  A*p = new B;

  p->test();

  return 0;

}

运行结果：0，1，2

分析:new B时先调用父类A的构造函数，执行test()函数，在调用func()函数，由于此时还处于对象构造阶段，多态机制还没有生效，所以，此时执行的func函数为父类的func函数，打印0，构造完父类后执行子类构造函数，又调用test函数，然后又执行func(),由于父类已经构造完毕，虚表已经生成，func满足多态的条件，所以调用子类的func函数，对成员m_iVal加1，进行打印，所以打印1， 最终通过父类指针p->test(),也是执行子类的func,所以会增加m_iVal的值，最终打印2， 所以答案为C 0 1 2