多态与虚函数

#pragma once
// 在类的定义中，前面有virtual关键字的成员函数就是虚函数
class base
{
	virtual int get();
};
int base::get() {};
// virtual 关键字只用在类定义的函数声明中，写函数体时不用
// 构造函数和静态成员函数不能是虚函数
// 析构函数应为虚函数

/// 多态的表现形式一
/// 1. 派生类的·指针·可以赋值给·基类指针·
/// 2. 通过基类指针调用基类和派生类中的同名虚函数：
///		1）若该指针指向一个基类的对象，那么被调用的是基类的虚函数；
///		2）若该指针指向一个派生类的对象，那么被调用的是派生类的虚函数；
/// eg.ABDE && CBase 1
#include<iostream>
using namespace std;

class A{
public:
	virtual void Print()
	{
		cout << "A::Print" << endl;
	}
};
class B :public A {
public:
	virtual void Print() {
		cout << "B::Print" << endl;
	}

};
class D :public A {
public:
	virtual void Print() {
		cout << "D::Print" << endl;
	}

};
class E :public B
{
public:
	virtual void Print() {
		cout << "E::Print" << endl;
	}
};
int main() {
	A a; 
	B b;
	E e;
	D d;
	A* pa = &a;
	B* pb = &b;
	D* pd = &d;
	E* pe = &e;
	pa->Print();
	pa = pb;
	pa->Print();
	pa = pd;
	pa->Print();
	pa = pe;
	pa->Print();
}
// 
class CBase
{
public:
	virtual void SomeVirtualFunction() {}
};
class CDerived :public CBase {
public:
	virtual void SomeVirtualFunction() {}
};

int main() {
	// 1
	CDerived ODerived;
	CBase* p = &ODerived;
	p->SomeVirtualFunction(); // 基类指针p指向一个派生类对象，则调用派生类的虚函数
	return 0;
}

/// 多态的表现形式二
/// 1. 派生类的·对象·可以赋值给·基类引用·
/// 2. 通过基类引用调用基类和派生类中的同名虚函数时：
///		1）若该引用引用的是一个基类的对象，那么被调用的是基类的虚函数；
///		2）若该引用引用的是一个派生类的对象，那么被调用的是派生类的虚函数；
/// eg.CBase 2
class CBase
{
public:
	virtual void SomeVirtualFunction() {}
};
class CDerived :public CBase {
public:
	virtual void SomeVirtualFunction() {}
};

int main() {
	// 2
	CBase& r = ODerived;
	r.SomeVirtualFunction(); // 基类引用派生类对象，则调用派生类同名虚函数
	return 0;
}
/// 以上几种形式就叫做“多态”。
/// 

• 虚析构函数：如果基类的析构函数不是虚函数，则deleted一个指向派生类对象的基类指针将产生未定义行为。我们将可能会被继承的父类的析构函数设置为虚函数，可以保证当我们new一个子类，然后使用基类指针指向该子类对象，释放基类指针时可以释放掉子类的空间，防止内存泄漏。C++默认的析构函数不是虚函数是因为虚函数需要额外的虚函数表和虚表指针，占用额外的内存。而对于不会被继承的类来说，其析构函数如果是虚函数，就会浪费内存。因此C++默认的析构函数不是虚函数，而是只有当需要当作父类时，设置为虚函数。