为什么C++中只有指针和引用才能实现多态？

weixin_30315435

于 2016-05-24 16:57:00 发布

阅读量78

点赞数

CC 4.0 BY-SA版权

文章标签： c/c++

原文链接：http://www.cnblogs.com/yedushusheng/p/5524039.html

本文通过一个C++示例程序详细解析了虚函数表的工作原理。解释了当使用基类指针指向派生类对象时，如何正确调用到派生类的虚函数。同时分析了对象赋值时基类成员与派生类特有成员的行为差异。

代码：

class A
{
public:
    virtual void Debug(){}
};

class B:public A
{
public:
   virtual void Debug(){}
};

void main()
{
    B b;
    A a = b;
    A * point_A = &b;
    
    a.Debug();
    point_A->Debug();
}

分析：

在程序中：a.Debug调用的是A::Debug，而point_A->Debug调用的是B::Debug。

——对于程序A a = b而言，b内存布局在赋值的时候已经从B转换到A了，多于的数据都被丢弃，因此其就是一个A类型变量，那么a.Debug这里的a就是一个A类型的变量。
——对于point_A来说，它是一个指针，其类型虽然是A，但指向的区域的内容却是一个B类型的内存结构，虽然内存结果的布局与A兼容，但其虚函数表中的Debug却是B的实现。

转载于:https://www.cnblogs.com/yedushusheng/p/5524039.html