继承和对象净增长
C++中类的继承,是具有净增长效果的。如果基类是Base,继承类是Derived,那么创建
一个Derived类的实例b,在地址空间上,b的前面部分,刚好可以视为另一个Base的实例
(a),后面才是继承所带来的扩展数据部分。所以继承具有净增长或者说净扩展效果。
C++的继承绝不会破坏基类的数据结构,这可以肯定是一个基本原则。因为如此,所以C+
+对象可以安全下塑造型(downcast):可以作为基类对象来看待和操作,而不会有任何
不妥。
另外,由于C++采用虚函数实现了多态性,就有了与类关联的虚函数表。我们可以看到,
继承类的虚函数表对于基类的来说也是净增长的。
成员函数和this指针
类的成员函数和一个普通的(全局)函数可以认为没有什么差别。对于编译器来说,经
过名称处理后(例如:在函数名称前面加上命名空间、类名),一个成员函数其实就是
一个普通函数,在编译后的代码区域有着确定的函数体和函数入口。最大的差异发生在
调用时,对于成员函数,编译器将隐含push this指针,this指针指向对象的地址(对象
可能位于栈上或堆上或全局数据区),这就是操作所需要的数据(即成员数据)所在。
…
push p2
push p1
push object_pointer ; for C++ programmer, it is called “this” pointer
call f
…
将数据和对于数据的操作捆在一起,正是面向对象语言中的封装思想,成员函数的需要
访问成员数据,通过传递this指针,这完美地实现了。
对于静态成员函数,实际上就是普通函数而已,只不过编译器限制了它的名字可视范围
(挂在某个类下)。调用静态成员函数,是不需要push this指针的。调用某个类的静态
函数,只要在函数名字前加上类名限定符即可,而不需要一个对象指针。一个常见的误
用就是在静态成员函数中试图访问普通成员变量(没有对象指针,如何访问其成员变量
?)。不过静态成员函数能访问静态成员变量。类似地,静态成员变量实际上就是一种
有访问限制的全局变量而已。从类的外部访问静态成员变量,前面需要加上类名限定符
。