面向对象程序设计-C++_课时24多态的实现

所有带virtual的类的对象，里面最上面有一个隐藏的指针vptr，指向一张表vtable

#include <iostream>
using namespace std;

class A
{
public:
    A() :i(10) {}
    virtual void f() { std::cout << "A::f()" << std::endl; }
    int i;
};

void main()
{
    A a, b;
    a.f();

    std::cout << sizeof(a) << std::endl;//8，不是4

    int *p = (int *)&a;
    int *q = (int *)&b;

    int *x = (int *)*p;

    std::cout << *x << std::endl;

    std::cout << *p << " " << *q << std::endl;//一样

    system("pause");
}

产生运行时的多态性有如下3个前提：

(1)类之间的继承关系满足赋值兼容性规则

(2)改写了同名虚函数

(3)根据赋值兼容性规则使用指针（或引用）

#include <iostream>
using namespace std;

class A
{
public:
    A() :i(10) {}
    virtual void f() { std::cout << "A::f()" << i << std::endl; }
    int i;
};

class B :public A
{
public:
    B() :j(20) {}
    virtual void f() { std::cout << "B::f()" << j << std::endl; }
    int j;
};

void main()
{
    A a;
    B b;

    A *p = &a;

    int *r = (int *)&a;
    int *t = (int *)&b;

    *r = *t;

    p->f();

    //B *q = &a;
    //error C2440: “初始化”: 无法从“A *”转换为“B *”
    //note: 从基类型到派生类型的强制转换需要 dynamic_cast 或 static_cast

    a = b;

    a.f();//A::f()10，必须使用指针或者引用，这样才可以实现多态性

    system("pause");
}

只有基类的析构函数被说明为虚函数，则派生类的析构函数，无论是否使用virtual进行说明，都自动地成为虚函数

如果一个类中定义了虚函数，析构函数也应说明为虚函数，尤其是在析构函数要完成一些有意义的任务时，例如释放内存等