C++中虚函数的一点笔记

1. 为什么C++中的静态成员函数不能声明为虚函数？
   静态成员函数为类所有，其被调用时没有this指针，而虚函数必须通过this指针才能调用，因此静态成员函数不能声明为虚函数
   更详细的解释可参考https://blog.csdn.net/shltsh/article/details/45999801和https://blog.csdn.net/wyc12306/article/details/68942664
2. 为什么基类的析构函数要声明为虚函数？
   为了保证在撤销动态分配的内存空间时能得到正确的处理。若析构函数不用virtual声明，在编译期便已完成解析(resolved)，若显式地使用delete撤销为指向派生类的基类指针所分配的动态空间时便会调用基类的析构函数，而实际应先调用派生类的析构函数
   例子：

#include <iostream>
using namespace std;

class LibMat
{
public:
	LibMat() { cout << "LibMat::LibMat() default constructor!\n"; }
	virtual ~LibMat() { cout << "LibMat::~LibMat() deconstructor!\n"; }
	virtual void print()  const { cout << "LibMat::print()\n"; }
};

class Magazine: public LibMat {
public:
	Magazine() { cout << "Magazine::Magazine() default constructor!\n"; }
	virtual ~Magazine() { cout << "Magazine::~Magazine() deconstructor!\n"; }
	virtual void print()  const { cout << "Magazine::print()\n"; }
};

void print(LibMat *mat)
{
	cout << "in global print(): about to print mat.print()\n";
	mat->print();
}

int main()
{
	LibMat *ptr = new Magazine();
	print(ptr);
	delete ptr;
	return 0;
}

---

声明了虚析构函数的正常结果：

若去掉LibMat和Magazine析构函数前的virtual关键字，则系统将无法正确调用析构函数，运行结果如下：