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

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

 #include <iostream>
 using namespace std;

 class A
 {
 public:
     A() :i() {}
     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() {}
     virtual void f() { std::cout << "A::f()" << i << std::endl; }
     int i;
 };

 class B :public A
 {
 public:
     B() :j() {}
     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进行说明，都自动地成为虚函数

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