第四章函数语义学
众所周知的,在C++ 中,跟类相关的成员函数有三种,静态函数、非静态函数、虚拟函数。本章介绍了这几种函数的来源、用在何处、编译器如何实现、及效率。
非静态成员函数:
简单的说,非静态成员函数就是非成员函数中加入了一个this 指针的参数(不需要其他更多的解释了)。
书中还特意提到了名称的特殊处理(Name Mangling )。
一般来说,对于一个非静态成员函数,Name Mangling 的处理后的函数名是:函数名+类名+参数名。加类名是为了区分多重继承的相同名字的成员函数;而加参数名,则是区分函数重载。作者还特意提到返回值并不加入name mangling 。
如果仅仅是返回值不同的两个成员函数,VC 编译器会报错:
error C2556: 'float __thiscall namemangling::x(void)' : overloaded function differs only by return type from 'void __thiscall namemangling::x(void)'
静态成员函数:
这里没有什么内容。作者着重介绍了静态成员函数的来源。静态成员函数的主要特征在于:没有this 指针,由这个主要特征,衍生出以下主要特征:
1、 不能直接存取类中的非静态成员;
2、 不能声明为const 、volatile 、virtrual ;
3、 不需要经由类对象调用;(抄书)
虚拟成员函数:
说到虚拟成员函数,就必须谈到多态。虚拟函数的产生就是为了满足多态的需要(我是这么理解的)。要把这个道理说清楚还真不容易,作者花了整整六页,画了很多图表,举了很多例子试图将虚拟继承将清楚。这里我也尝试一下,以更短的语言将最简单虚拟继承和多态将清楚。
先举个最简单的例子:
有一个基类,
Class Point
{
Public:
Virtual ~Point();
Virtual Point& mult() = 0;
Protected:
Float _x
};
Class Point2D : public Point
{
Public:
~Point();
Point2D& mult();
};
对于这个最简单的虚拟继承链,假设有一个表达式为:
Ptr->Point();
那么,这个函数到底是指向哪个类的函数呢?C++ 又是如何实现的?本段就是解决这个问题。
在C++ 中,对于每一个存在虚函数的类中,都会添加一个指针vptr 。该vptr 指向的是该类的虚函数表。类的虚函数表中包含了类中所有的虚函数( 即使有纯虚函数,也被包含在内,虽然基本上是不可能有调用的) 。如果该类中没有虚函数,但是所继承的基类中有同名虚函数,那么该虚函数也会被放到类的虚函数表中。也就是说对于类Point 和Point2D 的对象,都有一个自己的虚函数表。并且类中有vptr 指向这个表。
所以对于Ptr->Point() ,编译器先通过Ptr 找到该类对象的vptr ,根据函数名字又可以得到函数在虚函数表中的索引,进而找到该函数的执行代码。如果Point() 在虚函数表中的索引为2 ,则这个表达式可以写为:
(*Ptr->vptr[2])(Ptr);
这样,只需要在执行期知道Ptr的类型,就可以调用合适的函数处理了。