C++
程序设计支持三种programming paradigms
(程序设计范式)
C++
以下列方法支持多态
drived class
指针转化为一个指向public base type
的指针shape *ps = new circle();
virtual function
机制ps->rotate();
dynamic_cast
和typeid
运算符if (cicle *pc = dynamic_cast<cast *>(ps))
需要多少内存才能够表现一个class object
?,一般而言有:
nonstatic data members
的总和大小alignmnet
的需求而填补上去的空间virtual
而内部产生的任何额外负担class ZooAnimal { public: ZooAnimal(); virtual ~ZoomAnimal(); virtual void rotate(); protected: int loc; string name; }; ZooAnimal za("copy"); ZooAnimal *pza = &za;
内存分布图如下:(如果string是传统的8-bytes[包括一个4-bytes的字符指针和一个用来表示字符串长度的整数])
加上多态之后
class Bear : public ZooAnimal { public: Bear(); ~Bear(); void rotate(); virtual void dance(); protected: enum Dances{}; Dances dances_known; int cell_bock; }; Bear b("Yog1"); Bear *pb = &b; Bear &rb = *pb;
内存布局如下:
然后考虑如下代码:
Bear b ZooAnimal *pz = &b; Bear *pb = &b // 不合法 pz->cell_block; //ok, 经过显式的转换 (static_cast<Bear *>(pz))->cell_block // ok pb->cell_block;
pz
的类型在编译器將决定以下两点:
pz
只能够调用ZooAnimal
的接口