`

C++中的虚函数

阅读更多

C++中的虚函数



作者:aber




    虽然很难找到一本不讨论多态性的C++书籍或杂志,但是,大多数这类讨论使多态性和C++虚函数的使用看起来很难。我打算在这篇文章中通过从几个方面和结 合一些例子使读者理解在C++中的虚函数实现技术。说明一点,写这篇文章只是想和大家交流学习经验因为本人学识浅薄,难免有一些错误和不足,希望大家批评 和指正,在此深表感谢!

 一、 基本概念
    首先,C++通过虚函数实现多态."无论发送消息的对象属于什么类,它们均发送具有同一形式的消息,对消息的处理方式可能随接手消息的对象而变"的处理方 式被称为多态性。"在某个基类上建立起来的类的层次构造中,可以对任何一个派生类的对象中的同名过程进行调用,而被调用的过程提供的处理可以随其所属的类 而变。"虚函数首先是一种成员函数,它可以在该类的派生类中被重新定义并被赋予另外一种处理功能。

 二、 虚函数的定义与派生类中的重定义

class 类名{
public:
       virtual 成员函数说明;
}

class 类名:基类名{
   public:
          virtual 成员函数说明;
}
      
三、 虚函数在内存中的结构

1.我们先看一个例子:
#include "iostream.h"
#include "string.h"

class A {
public:
	virtual void fun0() { cout << "A::fun0" << endl; }
};


int main(int argc, char* argv[])
{
	A  a;
	cout << "Size of A = " << sizeof(a) << endl;
		return 0;
}      
结果如下:Size of A = 4

2.如果再添加一个虚函数:virtual void fun1() { cout << "A::fun" << endl;}
得到相同的结果。如果去掉函数前面的virtual修饰符
class A {
public:
	void fun0() { cout << "A::fun0" << endl; }
};


int main(int argc, char* argv[])
{
	A  a;
	cout << "Size of A = " << sizeof(a) << endl;
		return 0;
}      
结果如下:Size of A = 1
 
3.在看下面的结果:
class A {
public:
	virtual void fun0() { cout << "A::fun0" << endl; }
int a;
int b;
};
int main(int argc, char* argv[])
{
	A  a;
	cout << "Size of A = " << sizeof(a) << endl;
		return 0;
}      
结果如下:Size of A = 12 

其实虚函数在内存中结构是这样的:


图一

    在window2000下指针在内存中占4个字节,虚函数在一个虚函数表(VTABLE)中保存函数地址。在看下面例子。
class A {
public:
	virtual void fun0() { cout << "A::fun0" << endl; }
virtual void fun1() { cout << "A::fun1" << endl; }
int a;
int b;
};
int main(int argc, char* argv[])
{
	A  a;
	cout << "Size of A = " << sizeof(a) << endl;
		return 0;
}
      
结果如下:结果如下: 
Size of A = 4

    虚函数的内存结构如下,你也可以通过函数指针,先找到虚函数表(VTABLE),然后访问每个函数地址来验证这种结构,在国外网站作者是:Zeeshan Amjad写的"ATL on the Hood中有详细介绍"


图二

4.我们再来看看继承中虚函数的内存结构,先看下面的例子
class A {
public:
	virtual void f() { }
};
class B {
public:
	virtual void f() { }
};
class C {
public:
	virtual void f() { }
};
class Drive : public A, public B, public C {
};
int main() {
	Drive d;
	cout << "Size is = " << sizeof(d) << endl;
	return 0;
}      
结果如下:Size is = 12 ,相信大家一看下面的结构图就会很清楚, 


图三 

5.我们再来看看用虚函数实现多态性,先看个例子:
class A {
public:
	virtual void f() { cout << "A::f" << endl; }
};
class B :public A{
public:
	virtual void f() { cout << "B::f" << endl;}
};
class C :public A {
public:
	virtual void f() { cout << "C::f" << endl;}
};
class Drive : public C {
public:
	virtual void f() { cout << "D::f" << endl;}
};

int main(int argc, char* argv[])
{
	A a;
	B b;
	C c;
	Drive d;
	a.f();
	b.f();
	c.f();
	d.f();
	return 0;
}
结果:A::f
B::f
C::f
D::f
      
不用解释,相信大家一看就明白什么道理!注意:多态不是函数重载 

6. 用虚函数实现动态连接 在编译期间,C++编译器根据程序传递给函数的参数或者函数返回类型来决定程序使用那个函数,然后编译器用正确的的函数替换每次启动。这种基于编译器的替 换被称为静态连接,他们在程序运行之前执行。另一方面,当程序执行多态性时,替换是在程序执行期进行的,这种运行期间替换被称为动态连接。如下例子:
class A{
public:
	virtual void f(){cout << "A::f" << endl;};
};

class B:public A{
public:
	virtual void f(){cout << "B::f" << endl;};
};
class C:public A{
public:
	virtual void f(){cout << "C::f" << endl;};
};
void test(A *a){
	a->f();
};
int main(int argc, char* argv[])
{     
	B *b=new B;
	C *c=new C;
	char choice;
	do{
		cout<<"type  B for class B,C for class C:"<<endl;
			cin>>choice;
		if(choice==''b'')
			test(b);
		else if(choice==''c'')
			test(c);
	}while(1);
	cout<<endl<<endl;
    return 0;
}
    在上面的例子中,如果把类A,B,C中的virtual修饰符去掉,看看打印的结果,然后再看下面一个例子想想两者的联系。如果把B和C中的virtual修饰符去掉,又会怎样,结果和没有去掉一样。 

7.在基类中调用继承类的函数(如果此函数是虚函数才能如此) 还是先看例子:
class A {
public:
    virtual void fun() {
        cout << "A::fun" << endl;
    }
    void show() {
        fun();
    }
};

class B : public A {
public:
    virtual void fun() {
        cout << "B::fun" << endl;
    }
};

int main() {
    A a;
    a.show();
	
    return 0;
}      
打印结果:A::fun 

    在6中的例子中,test(A *a)其实有一个继承类指针向基类指针隐式转化的过程。可以看出利用虚函数我们可以在基类调用继承类函数。但如果不是虚函数,继承类指针转化为基类指针后 只可以调用基类函数。反之,如果基类指针向继承类指针转化的情况怎样,这只能进行显示转化,转化后的继承类指针可以调用基类和继承类指针。如下例子:
class A {
public:
    void fun() {
        cout << "A::fun" << endl;
    }
    
};
class B : public A {
public:
	void fun() {
	cout << "B::fun" << endl;
	}
	void fun0() {
        cout << "B::fun0" << endl;
    }
};
int main() {
    A *a=new A;
	B *b=new B;
	A *pa;
	B *pb;
	pb=static_cast<B *>(a); //基类指针向继承类指针进行显示转化
    pb->fun0();
	pb->fun();
	    return 0;
}  
 参考资料:
1.科学出版社 《C++程序设计》

2.Zeeshan Amjad 《ATL on the Hood》

 

分享到:
评论

相关推荐

    C++虚函数实现原理

    ### C++虚函数实现原理 #### 一、引言 在C++中,虚函数机制是面向对象编程中实现多态的重要方式之一。通过虚函数,可以在基类中定义一个接口,并由派生类来具体实现该接口的功能,进而允许在运行时根据对象的实际...

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

    ### C++中虚函数的实现机制 #### 一、虚函数的概念及其重要性 在C++编程语言中,虚函数是实现多态性的关键机制之一。多态性是指同一个操作作用于不同的对象,可以有不同的解释,进而触发不同的行为。在面向对象...

    C++中虚函数的原理和作用

    "C++ 中虚函数的原理和作用" 在 C++ 语言中,虚函数(Virtual Function)是一种非常重要的机制,它允许在继承关系中实现多态性(Polymorphism)。虚函数的存在使得我们可以在不同的类中实现相同的接口,但是具有...

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

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

    C++中虚函数工作原理和(虚)继承类的内存占用大小计算1

    在C++中,虚函数是实现多态性的重要机制,允许通过基类指针调用派生类重写的成员函数。虚函数的工作原理基于虚函数表(VTABLE)和虚指针(VPTR)。每当我们定义一个含有虚函数的类,编译器会自动生成一个虚函数表,...

    C++ 多态 虚函数 虚函数表 最是详细

    高质量的C++多态讲解,详细讲解虚函数,虚函数表,虚函数继承,虚函数继承下的内存分配等

    c++虚函数与虚函数表

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

    用C++实现虚函数

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

    C++中虚函数和纯虚函数区别[归类].pdf

    C++虚函数和纯虚函数的区别 C++ 中的虚函数和纯虚函数是两种不同的函数声明方式,用于实现多态(polymorphism)机制。 虚函数 虚函数声明如下:virtual ReturnType FunctionName(Parameter) ;虚函数必须实现,如果...

    C++_虚函数表解析

    在 C++ 中,虚函数表是一个用于存储类中所有虚函数地址的数据结构。每个具有虚函数的类都有一个虚函数表,而每个该类的实例都包含一个指向该虚函数表的指针。当通过基类指针调用虚函数时,实际上是在查找虚函数表中...

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

    C++的虚函数和虚函数表是面向对象编程中实现多态性的重要机制。多态性允许通过基类指针或引用调用不同子类的重写方法,从而实现更灵活的设计和代码复用。 虚函数(Virtual Function)是基类中声明的一种特殊函数,...

    C++虚函数表解析

    ### C++虚函数表解析深度剖析 在C++编程语言中,**虚函数表**(Virtual Table,简称V-Table)是实现多态性的重要机制之一。多态性允许使用父类类型的指针或引用调用派生类的成员函数,从而达到在运行时根据对象的实际...

    C++中虚函数与纯虚函数的用法

    本文较为深入的分析了C++中虚函数与纯虚函数的用法,对于学习和掌握面向对象程序设计来说是至关重要的。具体内容如下: 首先,面向对象程序设计(object-oriented programming)的核心思想是数据抽象、继承、动态...

    C++中的虚函数表图解

    在C++中,虚函数是实现多态性的重要机制,多态是指使用父类型的指针或引用能够调用子类的成员函数,从而允许不同类型的对象以统一的方式进行处理。这种特性使得C++具备了泛型编程的能力,即用不变的代码解决可变的...

    C++虚函数.docx

    ### C++中的虚函数及其实现机制 #### 一、引言 C++作为一种支持面向对象编程的语言,提供了许多强大的特性,其中最重要的一个特性就是多态性。多态性允许我们编写更加灵活和可扩展的代码。在C++中,多态性的主要...

    C++ 虚函数表详解

    C++虚函数表详解 C++中的虚函数表是实现多态机制的关键组件。虚函数表(Virtual Table,简称V-Table)是一种机制,用于存储类的虚函数的地址,解决继承和覆盖的问题,使得父类的指针可以正确地调用子类的成员函数。...

Global site tag (gtag.js) - Google Analytics