1.虚函数的动态绑定
//虚函数(非静态的成员函数)
//动态绑定:只有通过基类的指针或引用调用虚函数时
#include<iostream>
using namespace std;
class Base1 {
public:virtual void display() const;
};
// 如果把某个函数指定为final,意味着该函数不能被覆盖
// class1 -> void f1(int) const final;
// class2(class1) -> void f1(int) const;//编译错误,不能被覆盖
void Base1::display() const {cout << "Base1" << endl;
}
// 用override关键字,说明一定来自基类的虚函数,否则报错
class Base2 :public Base1 {
public:void display() const override;
};
void Base2::display() const {cout << "Base2" << endl;
}void fun(Base1* ptr) {ptr->display();// 如果只想调用基类Base1 ptr->Base1::display()}int main() {Base1 base1;Base2 base2;fun(&base1);fun(&base2);return 0;
}// 为什么都是Base1类型指针,却可以访问Base2类成员?
// 根据赋值兼容规则,可以使用派生类的对象代替基类对象
2.虚析构函数
// 虚析构函数(有可能通过基类指针调用基类的析构函数时一定要声明为虚函数)
// 构造函数和析构函数都是特殊公有类函数,但是构造函数不支持多态,
// 而析构函数的多态与普通成员函数有所不同(函数名不同,因为要和类名相同)
#include<iostream>
using namespace std;
class Base {
public:virtual ~Base();
};
Base::~Base() {cout << "析构Base" << endl;
}
class Base2 :public Base {
public:Base2();~Base2();
private:int* p;
};
Base2::Base2() {p = new int(0);
}
Base2::~Base2() {cout << "析构Base2" << endl;delete p;
}
void fun(Base* b) {delete b;
}int main() {// new是用于动态分配内存并返回指向该内存的指针的操作符Base* b = new Base2();fun(b);return 0;
}
3.纯虚函数与抽象类
// 纯虚函数(抽象函数)与抽象类
// 抽象类是带有纯虚函数的类
// 抽象类:在该基类没有定义具体的操作内容,为个派生类服务
// 抽象类不能被实例化,但是可以定义该类的指针或引用,通过指针和引用,访问派生类对象(多态性)
#include<iostream>
using namespace std;
class Base1 { //抽象类
public:virtual void display() const = 0; //纯虚函数
};class Base2 :public Base1 {
public:void display() const;
};
// 派生类实现函数体(如果派生类没有实现纯虚函数体,那么这个派生类仍然是抽象类)
void Base2::display() const {cout << "Base2" << endl;
}
// 抽象类指针
void fun(Base1* ptr) {ptr->display();
}int main() {Base2 base2;fun(&base2);return 0;
}