c++/oop--- 虚函数和多态

c++/oop--- 虚函数和多态

虚函数

定义：

class Base{
	virtual int get(); 
};
int Base:: get(){

}

 派生类的地址可以赋给基类指针。
通过基类指针调用基类和派生类中的同名同参虚函数时:若该指针指向一个基类的对象，那么被调用是基类的虚函数；
若该指针指向一个派生类的对象，那么被调用的是派生类的虚函数。
这种机制就叫做“多态”。 

 派生类的对象可以赋给基类引用。
通过基类引用调用基类和派生类中的同名同参虚函数时:若该引用引用的是一个基类的对象，那么被调用是基类的虚函数；
若该引用引用的是一个派生类的对象，那么被调用的是派生类的虚函数。
这种机制也叫做“多态”。 

 在非构造函数，非析构函数的成员函数中调用虚函数，是多态

查看代码

#include <cstdio>
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <cmath>
using namespace std;
class Base {
	public:
	void f1(){
		fun2(); 
	}
	virtual void fun2() {
		cout << "Base::fun2()" << endl;
	}
};
class Derived:public Base {
	public:
	virtual void fun2() {
		cout << "Derived:fun2()" << endl;
	}
};
int main(){
	Derived d;
	Base * pBase = &d;
	pBase->f1(); 
	//Derived:fun2()

	return 0;
}

 在构造函数和析构函数中调用虚函数，不是多态。 ( 编译时即可确定，调
用的函数是自己的类或基类中定义的函数 )

 派生类中和基类中虚函数同名同参数表的函数，不加 virtual 也自动成为虚函数 

虚函数的权限

#include <cstdio>
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <cmath>
using namespace std;
class Base {
	private:
	virtual void fun2() {
		cout << "Base::fun2()" << endl;
	}
};
class Derived:public Base {
	public:
	virtual void fun2() {
		cout << "Derived:fun2()" << endl;
	}
};
int main(){
	Derived d;
	Base * pBase = &d;
	pBase->fun2(); 

	return 0;
}

此时会编译错误

虚析构函数

把基类的析构函数声明为 virtual 

派生类的析构函数 virtual 可以不进行声明

通过基类的指针删除派生类对象时，首先调用派生类的析构函数，
然后调用基类的析构函数 

一个类如果定义了虚函数，则应该将析构函数也定义成虚函
数。

一个类打算作为基类使用，也应该将析构函数定义成虚函数。 

 不允许以虚函数作为构造函数 ，构造函数和析构函数中也不应调用虚函数

纯虚函数和抽象类

纯虚函数就是没哟函数体的虚函数(不进行实现)

写法 virtual void f()=0

包含纯虚函数的类成为抽象类，这样的类不能生成独立的对象、

但是可以作为基类，用来派生新类

多态的实现原理

每一个虚函数的类都有一个虚函数表，该类的任何对象都有放着该虚函数表的指针，由编译器自动生成。