c++多态

多态

• 父类存在虚函数
• 子类对虚函数重写
• 通过基类的指针或者引用调用虚函,且指针和引用指向子类对象
  多态的时候, 看对象
  非多态的时候, 看类型
• 特殊情况 :协变:
  • 返回值不同
    基类返回基类的对象的指针和引用, 子类返回子类的对象的指针和引用
  • 析构函数重写:
    基类的析构为虚函数, 子类的析构函数与其构成重写(覆盖)

两个关键字

• override : 修饰子类函数, 检查是否重写的父类的虚函数
  强制重写, 多态, 体现接口继承
• final : 修饰虚函数/类, 不能再被继承
  • 体现实现继承
  • 普通函数的继承,是实现继承

抽象类 (接口类)

• 包含纯虚函数 : virtual void fun() = 0;
• 包含了虚函数的大小4 : 虚表指针 , 一般在对象的前四个字节(和编译器的实现有关)
  • 函数指针数组
  • 虚表在vs下存在于代码段
  • 满足多态以后虚函数的调用,是在运行中在对象中找的(动态绑定)
  • 普通函数的调用在编译时确定的(静态绑定)
    模板也是在编译时确定的(静态绑定)

单继承和多继承关系的虚函数表

• 单继承
  • 继承父类的虚表,重写虚函数指针
• 多继承
  • 虚表个数 : 和继承的基类个数一致
  • 子类的虚函数放在哪个虚表中:
    • 多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中