`
wangyanlong0107
  • 浏览: 502381 次
  • 性别: Icon_minigender_1
  • 来自: 沈阳
社区版块
存档分类
最新评论

【转】C++中虚函数动态绑定的实现

    博客分类:
  • c++
 
阅读更多

 说实话,我们老师没有教过C++,我在大一的时候自己学的。虽然说学过了,但是没有用它写过程序。现在都是用C写,虽然比较麻烦,但是感觉很爽。觉得自己现在的思想转变不过来,很不适应面向对象编程。由于这个原因,我在写这篇文章之前,先请我学过C++的同学把这篇文章给我找了找错,现在经过改进应该已经没有错误了。当然了,如果哪位高手发现了错误,欢迎提出来,我再改,呵呵....感谢鞠善哲和他同学一起帮我找错。

     写这篇文章不是写自己的心得了,而是给大家提供一个很好的解决问题的方案。具体是什么大家看了就知道。文章前面是对多态和虚函数的简单介绍,后面是重点,呵呵....不多说了,下面开始。

     多态性是面向对象编程的一个重要的特征。如果一种语言只支持类而不支持多态,是不能被称为面向对象语言的,只能说是基于对象的,如VB就属于此类。
    简单的说多态的意思就是指具有不同功能的函数可以用同一个函数名,这样就可以用一个函数名调用不同内容的函数。
    从系统实现的角度看,多态性可分为两类:静态多态和动态多态。函数重载和运算符重载实现的多态属于静态多态,在程序编译时系统就能决定调用的是哪个函数,因此静态多态性又称编译时的多态性。(能够达到这个效果的原因我认为是重载的时候函数的参数有了改变(数量和类型),使得编译器能够分辨重载前和重载后的函数,即使它们有着相同的函数名)
    静态多态性是通过函数的重载实现的(运算符重载实质上也是函数重载)。动态多态性是在程序运行过程中才动态的确定操作所针对的对象。它又称运行时的多态性。动态多态性是通过虚函数实现的。
    下面我主要说虚函数使用方法和动态关联的实现。有关虚函数的介绍什么的我就不多说了。
    虚函数使用方法:
    (1)在基类中用virtual声明成员函数为虚函数。这样就可以在派生类中重新定义此函数,为它赋予新的功能,并能方便的被调用。
    (2)在派生类中重新定义此函数,要求函数名、函数类型、函数参数个数和类型都要与基类的虚函数相同,并根据派生类的需要重新定义函数体。如果在派生类中没有对基类的虚函数重新定义,则派生类简单地继承其直接基类的虚函数。
    (3)定义一个指向基类对象的指针变量,并使它指向同一类族中的某一对象。(这里应该注意一个基类类型的指针指向它的子类对象的时候,需要进行指针类型转换,先把子类对象的指针转换为基类的指针,然后再把值赋给那个基类类型的指针。所以这时候基类指针指向的是子类对象中基类的部分。如果不使用虚函数的话,是无法通过基类指针去调用子类对象中的非基类成员函数的,但是我们却可以用基类指针调用子类中已重新定义的虚函数,这是虚函数的一个功能)
    (4)通过该指针变量调用此虚函数,此时调用的就是指针变量指向的对象的同名函数。
     下面举个例子。
#0001 #include <iostream.h>
#0002 class CShape
#0003 {
#0004 public:
#0005 virtual void display() { cout << "Shape \n"; }
#0006 };
#0007 //------------------------------------------------
#0008 class CEllipse : public CShape
#0009 {
#0010 public:
#0011 virtual void display() { cout << "Ellipse \n"; }
#0012 };
#0013 //------------------------------------------------
#0014 class CCircle : public CEllipse
#0015 {
#0016 public:
#0017 virtual void display() { cout << "Circle \n"; }
#0018 };
#0019 //------------------------------------------------
#0020 class CTriangle : public CShape
#0021 {
#0022 public:
#0023 virtual void display() { cout << "Triangle \n"; }
#0024 };
#0025 //------------------------------------------------
#0026 class CRect : public CShape
#0027 {
#0028 public:
#0029 virtual void display() { cout << "Rectangle \n"; }
#0030 };
#0031 //------------------------------------------------
#0032 class CSquare : public CRect
#0033 {
#0034 public:
#0035 virtual void display() { cout << "Square \n"; }
#0036 };
#0037 //------------------------------------------------
#0038 void main()
#0039 {
#0040 CShape aShape;
#0041 CEllipse aEllipse;
#0042 CCircle aCircle;
#0043 CTriangle aTriangle;
#0044 CRect aRect;
#0045 CSquare aSquare;
#0046 CShape* pShape[6] = { &aShape,   //注意数组的类型CShape*
#0047    &aEllipse,
#0048    &aCircle,
#0049    &aTriangle,
#0050    &aRect,
#0051    &aSquare };
#0052
#0053 for (int i=0; i< 6; i++)
#0054 pShape[i]->display();
#0055 }
#0056 //------------------------------------------------
得到的结果是:
Shape
Ellipse
Circle
Triangle
Rectangle
Square

如果把所有类中的virtual关键字去掉,则得到的结果就成为:
Shape
Shape
Shape
Shape
Shape
Shape
 
从上面的例子可以看出,我们一直执行的都是一个函数display(),但是程序在执行时运行的却是不同对象的display()函数,这就叫做动态关联,或者动态绑定。因为是在运行时将虚函数与类对象“绑定到一块儿的”。

     那么C++是怎么实现这个功能的呢?

     为了达到动态绑定的目的,C++编译器通过一个表格,在执行期间“间接”呼叫实际上欲绑定的函数(注意“间接”这个字眼)。这样的表格称为虚函数表(vtable)。每一个“内含虚函数的类”,编译器都会为它做出一个虚函数表,表中的每一个元素都指向一个虚函数的地址。此外,编译器当然也会为类加上一项成员变量,是一个指向该虚函数表的指针(vptr)。举例:

class Class1 {
public :
data1;
data2;
memfunc();
virtual vfunc1();
virtual vfunc2();
virtual vfunc3();
};
Class1 的实际对象在内存中实践占据这样的空间:

 

(这里我们可以看到在class1的对象内存里,并没有它的成员函数,它的成员函数在其他位置)

      每一个有此类衍生出的对象,都有这么一个vptr。当我们通过这个对象调用虚函数时,事实上是通过vptr找到虚函数表,再找出虚函数的真正地址的。

      派生类会继承基类的虚函数(以及所有其他可以继承的成员),当我们在派生类中改写虚函数时,虚函数表就受到了影响:表中元素所指向的函数地址将不再是基类的函数地址,而是派生类的函数地址。例子:

class Class2 : public Class1 {
public :
data3;
memfunc();
virtual vfunc2();
};

那么class2的对象的内存空间是这样的:

 

      这样在派生类里调用没有重写的虚函数时,其实调用的是它的直接父类的对应虚函数,而调用已经重写的虚函数时就是调用它自己的了。很巧妙的实现方法。

      其实在我们使用C++写程序的时候,这些内部实现方法是不要求知道的,在这里说只是给大家提供一个很好的思想。在我们以后写程序的过程中,很可能也会遇到类似动态绑定实现的问题,那么这个方法可以说是一个很不错的解决方案,呵呵.....

源地址:http://blog.xiaonei.com/GetEntry.do?id=389224376&owner=236712532

分享到:
评论

相关推荐

    c++ 对比虚函数的动态绑定

    在C++编程语言中,虚函数与动态绑定是面向对象编程中的重要概念,它们使得程序在运行时能够根据对象的实际类型来调用相应的成员函数,从而实现多态性。下面将详细解析C++中虚函数的动态绑定机制,以及如何通过示例...

    C++中虚函数的实现机制

    C++中的虚函数通过使用`vptr`和`vtable`机制,在运行时实现了动态绑定,使得程序可以根据对象的实际类型调用不同的虚函数,从而实现了多态性。理解虚函数的实现机制对于编写高质量、可扩展的C++代码至关重要。

    虚函数的原理,如果能够了解C++编译器对于虚函数的实现方式,我们就能够知道为什么虚函数可以做到动态绑定

    虚函数是C++中实现多态性的一种关键机制,它允许我们通过基类指针或引用调用派生类中的重写版本。这种机制被称为动态绑定或运行时多态,与静态绑定(编译时多态)相对。下面我们将深入探讨虚函数的原理及其在C++中的...

    用C++实现虚函数

    虚函数是C++中面向对象编程的一个重要特性,它允许我们通过基类指针或引用调用派生类中的重写方法,实现多态性。本文将深入探讨如何使用C++实现虚函数,包括虚函数的基本用法、虚析构函数的概念以及如何计算类的大小...

    C++虚函数表实现聚合(COM)

    在C++编程语言中,虚函数表(Virtual Function Table,简称VFT或VTbl)是实现多态性的重要机制,特别是在面向对象编程中。多态性允许子类重写父类的方法,使得相同的消息可以有不同的行为。虚函数表是这种功能的底层...

    C++虚函数及虚函数表解析

    虚函数表(Virtual Function Table,简称vtable)是C++实现动态绑定的关键。每个具有虚函数的类都有一个与之关联的虚函数表,其中包含了该类及其所有基类虚函数的地址。当通过指针调用虚函数时,编译器会查找该指针...

    详细讲述c++虚函数实现

    虚函数使得我们能够通过基类指针调用子类重写后的成员函数,实现动态绑定。多态是C++泛型编程的一种体现,它允许我们使用统一的接口处理不同类型的对象,如模板、RTTI(Run-Time Type Information)和虚函数都是实现...

    c++虚函数与虚函数表

    ### C++虚函数与虚函数表的理解 #### 一、虚函数的概念 在C++中,虚函数(Virtual Function)是一种特殊类型的成员函数,它允许基类指针或引用指向派生类对象,并通过该基类指针或引用调用派生类中重写的同名函数。...

    C++虚函数表测试源码

    本文将深入探讨C++虚函数表的相关知识点,并通过标题中提到的测试源码进行详细讲解。 首先,理解虚函数的定义:在C++中,当一个基类的指针或引用指向派生类的对象时,如果该基类有一个虚函数,那么通过指针或引用...

    C++ 虚函数表解析

    本文将深入探讨C++虚函数表(Virtual Table,简称V-Table)的原理与实现细节,以帮助读者更好地理解多态性背后的运作机制。 #### 虚函数与多态性 在C++中,虚函数允许我们通过基类的指针或引用来调用派生类的成员...

    C++虚函数的应用

    总结,C++虚函数是实现多态性的重要工具,它允许我们在不牺牲类型安全的情况下进行动态绑定,提高了代码的灵活性和可扩展性。理解并熟练运用虚函数,能够帮助我们编写更加高效和可维护的C++程序。

    C++的虚函数和JAVA的抽象函数

    虚函数的主要作用是在运行时确定调用哪个函数,这种机制称为动态绑定或晚期绑定。例如,如果有基类`Base`和派生类`Derived`,`Base`有一个虚函数`void func()`, 那么即使通过`Base`类型的指针或引用调用`func()`,...

    C++中的虚函数与多态

    当通过基类指针调用虚函数时,会查找相应的虚函数表,从而实现动态绑定。 ```cpp Base* basePtr = new Derived(); basePtr-&gt;print(); // 输出 "Derived" ``` 这个例子中,虽然`basePtr`是基类指针,但由于`print()`...

    C++实验六 多态性和虚函数的应用 课程 实验报告

    在C++中,通过虚函数实现动态绑定,使得基类指针或引用可以调用派生类的成员函数。 五、类的设计与对象创建 实验6.2展示了如何设计更复杂的类层次结构。`Person`类作为基础,包含`name`和`age`属性;`Student`类...

    C++虚函数表解析

    在C++编程语言中,虚函数表(Virtual Function Table,简称vtable)是实现多态性的一个关键机制。...通过阅读“C++虚函数表解析.docx”文件,你可以更深入地了解这个主题,包括其实际应用和潜在的优化策略。

    深入理解C++的动态绑定和静态绑定

    在C++编程语言中,动态绑定和静态绑定是两种关键的多态实现方式,它们对于理解和编写高效、灵活的代码至关重要。多态性允许我们通过一个共同的基类接口访问不同派生类的对象,从而提高了代码的重用性和可扩展性。 ...

    详解C++虚函数的工作原理

    在 C++ 中,动态绑定是通过虚函数实现的,是多态实现的具体形式。虚函数是通过虚函数表实现的,该表中记录了虚函数的地址,解决继承、覆盖的问题,保证动态绑定时能够根据对象的实际类型调用正确的函数。 虚函数表...

    C++中的虚函数(virtual function).rar_C++虚函数_虚函数

    在C++编程语言中,虚函数(virtual function)是一个核心特性,它允许程序员实现多态性,这是面向对象编程中的重要概念。多态性意味着一个基类指针或引用可以调用不同派生类中重定义的同名成员函数。通过使用虚函数...

    4.2C++之虚函数共5页.pdf.zip

    【标签】"4.2C++之虚函数共5页.pd",虽然标签的格式有误,但我们可以推测它应当是与PDF文件相关的,暗示文档可能探讨了C++虚函数的各个方面。 【压缩包子文件的文件名称列表】: "赚钱项目" - 这个文件名看似与主题...

Global site tag (gtag.js) - Google Analytics