1.构造函数为什么不能是虚函数?
a.最直观的的一个角度是,虚函数使得对象内部存在一个指向虚函数表的指针,通过该指针指向的虚函数表确定调用的函数。而在调用构造函数时,对象还没有生成,就根本谈不上虚函数表和虚函数指针了。
b.虚函数的调用往往是基于“动态联编”的,即在对象生成之后才能确定调用的是基类中的函数还是派生类中的重写函数。在调用构造函数时,对象还未构造成功,编译器无法知道对象的实际类型,是对象本身,还是派生类对象或者派生类的派生类,自然也无法实现“动态”的调用。
2.析构函数为什么(某些情况下)必须是虚函数?
首先明确的是,“某些情况”指的是该类作为基类时,其析构函数必须是虚函数。这是因为,指向基类的指针可以指向派生类对象,如果不声明析构函数为虚函数的话,在一个由基类指针指向的派生类对象析构时,那么只会调用父类的析构函数,自身的析构函数不会被调用,甚至会造成内存泄漏。只有当声明为virtual类型时,才能够先执行派生类自身的析构函数,再执行基类的析构函数,确保执行的顺序正确。