C++多态

C++多态

什么是多态？多态有什么用？
先来回答第一个问题。想象你在编程的时候，有一个父类A和一个子类B。父类A中有一个打印函数print：

class A{
	public:
		void print()
		{
			cout<<"A"<<endl;
		}
};

子类B中也有一个打印函数print：

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

这时如果我们在主函数中有这样一段代码：

int main( )
{
   A *a;
   B b;
   a=&b;
   a->print();
 
   return 0;
}

按照自己的想法，这里a是一个父类定义的指针，子类B定义的对象b的地址存储在了*a中，通过a调用print函数应该会打印“B”才对。但是这里却是打印了“A”。为什么会这样？因为这里的print函数被编译器设置为了基类中的那个print，这就是静态多态（静态链接），函数调用在程序执行之前就已经被定了，称为早绑定（在编译时就已经被设置好了）。但如果我们把父类A的print函数前加一个virtual关键字：

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

再次执行程序，就能正确打印出“B”了。这个时候我们才是真正达到了把对象b的地址存放在指针a里的目的。编译器看的是指针的内容了，而不是它的类型，能够正确地调用b的print函数。扩展开，每个子类都有自己对于父类虚函数地实现，这就是多态的一般使用方式。现在回答第二个问题，有了多态，我们就可以有多个不同的类，都带有同一个名称但具有不同实现的函数，并且函数的参数甚至都可以相同。

这里的virtual关键字声明实际上就是声明了虚函数。

虚函数

如前面所说，虚函数就是在基类中用virtual关键字声明的函数，在派生类中重新定义基类中定义的虚函数时，就会告诉编译器不要静态链接到该函数。而是根据程序中所调用对象的类型来选择调用的函数，这种操作被称为动态链接或后期绑定。
一种特殊定义的虚函数是在函数定义的后面加上“=0”，表示纯虚函数，如在本例种可以在A的print函数后加上“=0”：

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

纯虚函数出现的目的在于我们可能在基类中不能对虚函数做出有意义的实现，这时就会用到纯虚函数。在函数后加“=0”告诉编译器，函数没有主体。可以在派生类中重新定义该函数，以便更好地适用于对象。

这里有几个相关的概念¹：
①：纯虚函数一定没有定义，纯虚函数用来规范派生类的行为，即接口。包含纯虚函数的类是抽象类，抽象类不能定义实例，但可以声明指向实现该抽象类的具体类的指针或引用。
②：虚函数如果不实现就实例化，会编译报错

undefined reference to `vtable for xxx'

③：实现了纯虚函数的子类，该纯虚函数在子类中就编程了虚函数，子类的子类即孙子类可以覆盖该虚函数，由多态方式调用的时候动态绑定。
④：在有动态分配堆上内存的时候，析构函数必须是虚函数，但没有必要是纯虚的。
⑤：友元不是成员函数，只有成员函数才可以是虚拟的，因此友元不能是虚拟函数。但可以通过让友元函数调用虚拟成员函数来解决友元的虚拟问题。
⑥：析构函数应当是虚函数，将调用相应对象类型的析构函数，因此，如果指针指向的是子类对象，将调用子类的析构函数，然后自动调用基类的析构函数。
⑦：多态形成的三个必备条件：
1、必须存在继承关系；
2、继承关系必须有同名虚函数（其中虚函数是在基类中使用关键字virtual 声明的函数，在派生类中重新定义基类中定义的虚函数时，会告诉编译器不要静态链接到该函数）；
3、存在基类类型的指针或者引用，通过该指针或引用调用虚函数；
⑧：C++中, 虚函数可以为private, 并且可以被子类覆盖（因为虚函数表的传递），但子类不能调用父类的private虚函数。虚函数的重载性和它声明的权限无关。
一个成员函数被定义为private属性，标志着其只能被当前类的其他成员函数(或友元函数)所访问。而virtual修饰符则强调父类的成员函数可以在子类中被重写，因为重写之时并没有与父类发生任何的调用关系，故而重写是被允许的。
编译器不检查虚函数的各类属性。被virtual修饰的成员函数，不论他们是private、protect或是public的，都会被统一的放置到虚函数表中。对父类进行派生时，子类会继承到拥有相同偏移地址的虚函数表（相同偏移地址指，各虚函数相对于VPTR指针的偏移），则子类就会被允许对这些虚函数进行重载。且重载时可以给重载函数定义新的属性，例如public，其只标志着该重载函数在该子类中的访问属性为public，和父类的private属性没有任何关系！
纯虚函数可以设计成私有的，不过这样不允许在本类之外的非友元函数中直接调用它，子类中只有覆盖这种纯虚函数的义务，却没有调用它的权利。

本文为自己的学习笔记，如果有错误，欢迎大佬指正！

---

1. link ↩︎