C 中的虚函数((((virtual function)

2008-02-23 05:29:04来源:互联网 阅读 ()

新老客户大回馈,云服务器低至5折


C 中的虚函数(virtual function)

C 中的虚函数(virtual function)
1.简介
虚函数是C 中用于实现多态(polymorphism)的机制。核心理念就是通过基类访问派生类定义的函数。假设我们有下面的类层次:

class A
{
public:
virtual void foo() { cout << "A::foo() is called" << endl;}
};

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

那么,在使用的时候,我们能够:

A * a = new B();
a->foo(); // 在这里,a虽然是指向A的指针,但是被调用的函数(foo)却是B的!

这个例子是虚函数的一个典型应用,通过这个例子,也许您就对虚函数有了一些概念。他虚就虚在所谓“推迟联编”或“动态联编”上,一个类函数的调用并不是在编译时刻被确定的,而是在运行时刻被确定的。由于编写代码的时候并不能确定被调用的是基类的函数还是哪个派生类的函数,所以被成为“虚”函数。

虚函数只能借助于指针或引用来达到多态的效果,假如是下面这样的代码,则虽然是虚函数,但他不是多态的:

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

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

void bar()
{
A a;
a.foo(); // A::foo()被调用
}

1.1 多态
在了解了虚函数的意思之后,再考虑什么是多态就很容易了。仍然针对上面的类层次,但是使用的方法变的复杂了一些:

void bar(A * a)
{
a->foo(); // 被调用的是A::foo() 还是B::foo()?
}

因为foo()是个虚函数,所以在bar这个函数中,只根据这段代码,无从确定这里被调用的是A::foo()还是B::foo(),但是能够肯定的说:假如a指向的是A类的实例,则A::foo()被调用,假如a指向的是B类的实例,则B::foo()被调用。

这种同一代码能够产生不同效果的特点,被称为“多态”。

1.2 多态有什么用?
多态这么神奇,但是能用来做什么呢?这个命题我难以用一两句话概括,一般的C 教程(或其他面向对象语言的教程)都用一个画图的例子来展示多态的用途,我就不再重复这个例子了,假如您不知道这个例子,随便找本书应该都有介绍。我试图从一个抽象的角度描述一下,回头再结合那个画图的例子,也许您就更容易理解。

在面向对象的编程中,首先会针对数据进行抽象(确定基类)和继承(确定派生类),构成类层次。这个类层次的使用者在使用他们的时候,假如仍然在需要基类的时候写针对基类的代码,在需要派生类的时候写针对派生类的代码,就等于类层次完全暴露在使用者面前。假如这个类层次有任何的改变(增加了新类),都需要使用者“知道”(针对新类写代码)。这样就增加了类层次和其使用者之间的耦合,有人把这种情况列为程式中的“bad smell”之一。

多态能够使程式员脱离这种窘境。再回头看看1.1中的例子,bar()作为A-B这个类层次的使用者,他并不知道这个类层次中有多少个类,每个类都叫什么,但是相同能够很好的工作,当有一个C类从A类派生出来后,bar()也无需“知道”(修改)。这完全归功于多态--编译器针对虚函数产生了能够在运行时刻确定被调用函数的代码。

1.3 如何“动态联编”
编译器是如何针对虚函数产生能够再运行时刻确定被调用函数的代码呢?也就是说,虚函数实际上是如何被编译器处理的呢?Lippman在深度探索C 对象模型[1]中的不同章节讲到了几种方式,这里把“标准的”方式简单介绍一下。

我所说的“标准”方式,也就是所谓的“VTABLE”机制。编译器发现一个类中有被声明为virtual的函数,就会为其搞一个虚函数表,也就是VTABLE。VTABLE实际上是个函数指针的数组,每个虚函数占用这个数组的一个slot。一个类只有一个VTABLE,不管他有多少个实例。派生类有自己的VTABLE,但是派生类的VTABLE和基类的VTABLE有相同的函数排列顺序,同名的虚函数被放在两个数组的相同位置上。在创建类实例的时候,编译器还会在每个实例的内存布局中增加一个vptr字段,该字段指向本类的VTABLE。通过这些手段,编译器在看到一个虚函数调用的时候,就会将这个调用改写,针对1.1中的例子:

void bar(A * a)
{
a->foo();
}

会被改写为:

void bar(A * a)
{
(a->vptr[1])();
}

因为派生类和基类的foo()函数具备相同的VTABLE索引,而他们的vptr又指向不同的VTABLE,因此通过这样的方法能够在运行时刻决定调用哪个foo()函数。

虽然实际情况远非这么简单,但是基本原理大致如此。

1.4 overload和override
虚函数总是在派生类中被改写,这种改写被称为“override”。我经常混淆“overload”和“override”这两个单词。但是随着各类C 的书越来越多,后来的程式员也许不会再犯我犯过的错误了。但是我打算澄清一下:

override是指派生类重写基类的虚函数,就象我们前面B类中重写了A类中的foo()函数。重写的函数必须有一致的参数表和返回值(C 标准允许返回值不同的情况,这个我会在“语法”部分简单介绍,但是很少编译器支持这个feature)。这个单词好象一直没有什么合适的中文词汇来对应,有人译为“覆盖”,还贴切一些。
overload约定成俗的被翻译为“重载”。是指编写一个和已有函数同名但是参数表不同的函数。例如一个函数即能够接受整型数作为参数,也能够接受浮点数作为参数。
2. 虚函数的语法
虚函数的标志是“virtual”关键字。

2.1 使用virtual关键字
考虑下面的类层次:

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

class B: public A
{
public:
void foo(); // 没有virtual关键字!
};

class C: public B // 从B继承,不是从A继承!
{

标签:

版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点,本站所提供的摄影照片,插画,设计作品,如需使用,请与原作者联系,版权归原作者所有

上一篇: 论C/C 函数间动态内存的传递

下一篇: IE里的探索之向标准上下文相关菜单里添加条目