C++入门学习——虚函数表介绍

多态

多态是指使用相同的函数名来访问函数不同的实现方法,可以简单概括为“一种接口,多种方法”。

C++支持编译时多态(也叫静态多态)和运行时多态(也叫动态多态),运算符重载和函数重载就是编译时多态,而派生类和虚函数实现运行时多态。

静态多态与动态多态的实质区别就是函数地址是早绑定还是晚绑定。如果函数的调用,在编译器编译期间就可以确定函数的调用地址,并生产代码,是静态多态(编译时多态),就是说地址是早绑定的。而如果函数调用的地址不能在编译器期间确定,需要在运行时才确定,这就属于晚绑定,是动态多态(运行时多态)。

这里,我们探究的是动态多态。

C++动态多态性是通过虚函数来实现的,虚函数允许子类(派生类)重新定义父类(基类)成员函数,而子类(派生类)重新定义父类(基类)虚函数的做法称为覆盖(override),或者称为重写。

最常见的用法是:父类(基类)指针,基类指针可以指向任何子类(派生类)对象(实例),然后通过基类的指针调用实际派生类的成员函数,示例如下:

#include <iostream>
using namespace std;

class Base
{
public:
	void f(int x){ cout << "Base::f(int) " << x << endl; }
	void f(float x){ cout << "Base::f(float) " << x << endl; }
	// 必须有virtual关键字,此为虚函数
	virtual void g(void){ cout << "Base::g(void)" << endl;}
};
class Derive: public Base
{
public:
	// virtual关键字,可有可无,此为虚函数
	virtual void g(void){ cout << "Derived::g(void)" << endl;}
}; 

int main(void)
{
	Derive d;
	Base *pb = &d;
	pb->f(42);     // 运行结果: Base::f(int) 42
	pb->f(3.14f);  // 运行结果: Base::f(float) 3.14
	pb->g();       // 运行结果: Derived::g(void) 

	return 0;
}

虚函数表

C++ 中的虚函数(Virtual Function)是通过一张虚函数表(Virtual Table)来实现的,简称为V-Table。每个含有虚函数的类有一张虚函数表,表中每一项是一个虚函数的地址, 也就是说,虚函数表的每一项是一个虚函数的指针。 没有虚函数的C++类,是不会有虚函数表的。

下面通过一些示例简单介绍虚函数表:

#include <iostream>
using namespace std;

class Base
{
public:
	virtual void f() { cout << "Base::f" << endl; }
	virtual void g() { cout << "Base::g" << endl; }
	virtual void h() { cout << "Base::h" << endl; }

};

int main(void)
{
	Base b;
	b.f(); //"Base::f"
	b.g(); //"Base::g"
	b.h(); //"Base::h"

	return 0;
}

Base的实例(即对象b)的虚函数表如下:

注意:在上面这个图中,虚函数表的最后多加了一个结点,这是虚函数表的结束结点,就像字符串的结束符“\0”一样,其标志了虚函数表的结束。这个结束标志的值在不同的编译器下是不同的。

无虚函数覆盖的虚函数表

下面,再让我们来看看继承时的虚函数表是什么样的。

假设有如下所示的一个继承关系:

#include <iostream>
using namespace std;

class Base
{
public:
	virtual void f() { cout << "Base::f" << endl; }
	virtual void g() { cout << "Base::g" << endl; }
	virtual void h() { cout << "Base::h" << endl; }

};

class Derive:public Base
{
public:
	virtual void f1() { cout << "Derive::f1" << endl; }
	virtual void g1() { cout << "Derive::g1" << endl; }
	virtual void h1() { cout << "Derive::h1" << endl; }

};

int main(void)
{
	Derive d; //派生类对象

	return 0;
}

请注意,在这个继承关系中,子类没有重载任何父类的函数。那么,在派生类的实例(Derive d)中,其虚函数表如下所示:

无虚函数覆盖的虚函数表特点如下:

1)虚函数按照其声明顺序放于表中。

2)父类(派生类)的虚函数在子类(基类)的虚函数前面。

有虚函数覆盖的虚函数表

没有覆盖父类的虚函数是毫无意义的。之所以要讲述没有覆盖的情况,主要目的是为了给一个对比。在比较之下,我们可以更加清楚地知道其内部的具体实现。

下面,我们来看一下,如果子类中有重载了父类的虚函数,会是一个什么样子?

#include <iostream>
using namespace std;

class Base
{
public:
	virtual void f() { cout << "Base::f" << endl; }
	virtual void g() { cout << "Base::g" << endl; }
	virtual void h() { cout << "Base::h" << endl; }

};

class Derive:public Base
{
public:
	//重写父类的f()虚函数
	virtual void f() { cout << "Derive::f" << endl; }
	virtual void g1() { cout << "Derive::g1" << endl; }
	virtual void h1() { cout << "Derive::h1" << endl; }

};

int main(void)
{
	Base *p = NULL; //父类指针
	Base b;		//父类对象
	Derive d;	//子类对象

	p = &b; //父类指针指向父类对象
	p->f(); //运行结果:"Base::f"

	p = &d; //父类指针指向子类对象
	p->f(); //运行结果:"Derive::f"

	return 0;
}

为了让大家看到被继承过后的效果,在这个类的设计中,只覆盖了父类的一个虚函数:f()。那么,对于派生类的实例,其虚函数表会是下面的一个样子:

有虚函数覆盖的虚函数表特点如下:

1)覆盖的f()函数被放到了虚表中原来父类虚函数的位置。

2)没有被覆盖的函数依旧。

本例中:

Base *p = NULL; //父类指针

p = &d; //父类指针指向子类对象

p->f();   //运行结果:"Derive::f"

由 p(即 &d)所指的内存中的父类虚函数表的 f() 的位置已经被实际子类Derive::f()函数地址所取代,于是在实际调用发生时,是 Derive::f() 被调用了。这就实现了多态。

更多操作实例,请点此链接:http://blog.csdn.net/tennysonsky/article/details/8264255

本教程示例代码下载请点此链接:http://download.csdn.net/detail/tennysonsky

本文转自:http://blog.csdn.net/haoel

版权声明:本博客文章,大多是本人整理编写,或在网络中收集,转载请注明出处!!

时间: 2024-10-13 02:22:05

C++入门学习——虚函数表介绍的相关文章

C++学习之虚函数表及调用规范

在支付工具想做社交,即时通讯工具想做app市场,英语字典想做新闻社交的今天,创造这些怪象的公司要求程序员懂得更多几乎是理所当然的,毕竟现在大家什么都想做.这不,正值招聘季,实验室的几位学长也是一直在讨论各种问题,发现对于C++语言而言,问的最多的还是虚函数表和STL. STL的考点至少是实用的,哪怕要求你读过源码,也并不过分,毕竟知根知底才能更好地应用.但要求程序员掌握对象模型着实拎不清,因为这几乎用不到,远没有在设计模式上投入时间实在,或许它们最希望的是拿批发价招语言专家... 我已经近2年没

C++学习 - 虚表,虚函数,虚函数表指针学习笔记

虚函数 虚函数就是用virtual来修饰的函数.虚函数是实现C++多态的基础. 虚表 每个类都会为自己类的虚函数创建一个表,来存放类内部的虚函数成员. 虚函数表指针 每个类在构造函数里面进行虚表和虚表指针的初始化. 下面看一段代码: // // main.cpp // VirtualTable // // Created by Alps on 15/4/14. // Copyright (c) 2015年 chen. All rights reserved. // #include <iostr

C++ Primer 学习笔记_35_面向对象编程(6)--虚函数与多态(三):虚函数表指针(vptr)及虚基类表指针(bptr)、C++对象模型

C++ Primer 学习笔记_35_面向对象编程(6)--虚函数与多态(三):虚函数表指针(vptr)及虚基类表指针(bptr).C++对象模型 一.虚函数表指针(vptr)及虚基类表指针(bptr) C++在布局以及存取时间上主要的额外负担是由virtual引起的,包括: virtual function机制:用以支持一个有效率的"执行期绑定": virtual base class:用以实现多次在继承体系中的基类,有一个单一而被共享的实体. 1.虚函数表指针 C++中,有两种数据

c++ 虚函数表

转自 http://blog.csdn.net/haoel/article/details/1948051/ C++中的虚函数的作用主要是实现了多态的机制.关于多态,简而言之就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数.这种技术可以让父类的指针有"多种形态",这是一种泛型技术.所谓泛型技术,说白了就是试图使用不变的代码来实现可变的算法.比如:模板技术,RTTI技术,虚函数技术,要么是试图做到在编译时决议,要么试图做到运行时决议. 关于虚函数的使用方法,

关于C++虚函数表的那些事儿

前言 C++中的虚函数的作用主要是实现了多态的机制.关于多态,简而言之就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数.这种技术可以让父类的指针有“多种形态”,这是一种泛型技术.所谓泛型技术,说白了就是试图使用不变的代码来实现可变的算法.比如:模板技术,RTTI技术,虚函数技术,要么是试图做到在编译时决议,要么试图做到运行时决议. 关于虚函数的使用方法,我在这里不做过多的阐述.大家可以看看相关的C++的书籍.在这篇文章中,我只想从虚函数的实现机制上面为大家 一个清晰

C++ 虚函数表解析(比较清楚,还可打印虚函数地址)

C++ 虚函数表解析 陈皓 http://blog.csdn.net/haoel 前言 C++中的虚函数的作用主要是实现了多态的机制.关于多态,简而言之就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数.这种技术可以让父类的指针有“多种形态”,这是一种泛型技术.所谓泛型技术,说白了就是试图使用不变的代码来实现可变的算法.比如:模板技术,RTTI技术,虚函数技术,要么是试图做到在编译时决议,要么试图做到运行时决议. 关于虚函数的使用方法,我在这里不做过多的阐述.大家可以

C++ 虚函数表解析(转载自http://blog.csdn.net/haoel/article/details/1948051/)

前言 C++中的虚函数的作用主要是实现了多态的机制.关于多态,简而言之就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数.这种技术可以让父类的指针有“多种形态”,这是一种泛型技术.所谓泛型技术,说白了就是试图使用不变的代码来实现可变的算法.比如:模板技术,RTTI技术,虚函数技术,要么是试图做到在编译时决议,要么试图做到运行时决议. 关于虚函数的使用方法,我在这里不做过多的阐述.大家可以看看相关的C++的书籍.在这篇文章中,我只想从虚函数的实现机制上面为大家 一个清晰

C++ 虚函数表解析 继承

C++ 虚函数表解析 陈皓 http://blog.csdn.net/haoel 前言 C++中的虚函数的作用主要是实现了多态的机制.关于多态,简而言之就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数.这种技术可以让父类的指针有"多种形态",这是一种泛型技术.所谓泛型技术,说白了就是试图使用不变的代码来实现可变的算法.比如:模板技术,RTTI技术,虚函数技术,要么是试图做到在编译时决议,要么试图做到运行时决议. 关于虚函数的使用方法,我在这里不做过多的阐述

C++ 虚函数表解析(转载)

转载自:陈皓 http://blog.csdn.net/haoel/article/details/1948051/ 前言 C++中的虚函数的作用主要是实现了多态的机制.关于多态,简而言之就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数.这种技术可以让父类的指针有“多种形态”,这是一种泛型技术.所谓泛型技术,说白了就是试图使用不变的代码来实现可变的算法.比如:模板技术,RTTI技术,虚函数技术,要么是试图做到在编译时决议,要么试图做到运行时决议. 关于虚函数的使用方