C++对象模型----关于对象

时间：2015-07-28 00:52:17 阅读：251 评论：0 收藏：0 [点我收藏+]

第一章关于对象

在C语言中,"数据"和"处理数据的操作(函数)"是分开声明的,也就是说,语言本身并没有支持"数据和函数"之间的关联性.我们把这种程序方法成为程序性,由一组"分布在各个以功能为导向的函数中"的算法所驱动,它们处理的是共同的外部数据.举个例子,如果声明一个struct Point3d,像这样:
typedef struct point3d
{
   float x;
   float y;
   float z;
} Point3d;
欲打印一个Point3d,可能就得定义一个像这样的函数:
void Point3d_print (const Point3d *pd) {
   printf("(%g, %g, %g)", pd->x, pd->y, pd->z);
}
或者,如果要想更有效率一些,就定义一个宏:
#define Point3d_print(pd) \
   printf("(%g, %g, %g)", pd->x, pd->y, pd->z);
也可直接在程序中完成其操作
在C++中,Point3d有可能用独立的"抽象数据类型(abstract data type)来实现:
class Point3d
{
public:
   Point3d(float xval = 0.0, float yval = 0.0, float zval = 0.0)
       : x(xval), y(yval), z(zval) {}
   float getX() { return x; }
   float getY() { return y; }
   float getZ() { return z; }
   void setX(float xval) { x = xval; }
private:
   float x;
   float y;
   float z;
};
inline ostream & operator << (ostream &os, const Point3d &pt) {
   os << "(" << pt.getX() << ", " << pt.getY() << ", " << pt.getZ() << ")";
}
更进一步来说,不管哪一种形式,它们都可以被参数化,可以是坐标类型的参数化.
template <class type>
Point3d(type xval = 0.0, type yval = 0.0, zval = 0.0);
也可以是坐标类型和坐标数目两者都参数化:
template <class type, int dim>
Point(type coords[dim]);
很明显,不只是程序风格上有截然的不同,在程序的思考上也有明显的差异,从软件工程的眼光来看"一个ADT或者class hierarchy的数据封装"比"在C程序中程序性使用全局数据"好.,但是这被那些"被要求快速让一个应用程序上马应战,并且执行起来又快又有效率"的程序员所忽略,毕竟C的吸引力就在于它的精瘦和简易.
加上封装后的布局成本(Layout Costs for Adding Encapsulation)
程序员看到Point3d转换成C++之后,第一个可能会问的问题就是:加上了封装之后,布局成本增加了多少?答案是class Point3d并没有增加成本,三个data member直接内含在每一个class object之中,就像C struct的情况一样,而member functions虽然含在class的声明内,却不出现在object中,每一个non-inline member function只会诞生一个函数实体,至于每一个"拥有零个或者一个定义"的inline function则会在其每一个使用者(模块)身上产生一个函数实体.Point3d支持封装性质,这一点并未带给它任何空间或执行期的不良效应.C++在布局以及存取时间上主要的额外负担是由virtual引起,包括:
virtual function机制   用于支持一个有效率的"执行器绑定"(runtime binding)
virtual base class       用以实现"多次出现在继承体系中的base class,有一个单一而被共享的实体"
此外,还有一些多重继承下的额外负担,发生在"一个derived class和其第二或者后继之base class的转换"之间.然而,一般言之,并理由说C++程序一定比C庞大或者迟缓.
1.1   C++对象模式(The C++ Object Model)
   在C++中,有两种class data members:static 和 nonstatic,以及三种class member functions:static,nonstatic和virtual,已知下面这个class Point声明:
class Point {
public:
   Point(float xval);
   virtual ~Point();

   float getX() const;
   static int PointCount();
protected:
   virtual ostream& print(ostream &os) const;
   float x;
   static int point_count;
};
这个class Point在机器中会被怎样表现呢?也就是说,如何模拟(modeling)出各种data members和function members呢?
简单对象模型 (A Simple Object Model)
   第一个模型非常简单,它可能是为了尽量降低C++编译器的设计复杂度而开发出来的,缺点则是空间和执行期的效率低下.在这个简单模型中,一个object是一系列的slot(槽),每一个slot指向一个member.Members按照声明次序,各自被指定一个slot.每一个data member或function member都有自己的一个slot.
在这个简单模型中,members本身并不被放在object之中,只有"指向member的指针"才被放在object内,这么做可以避免"members有不同的类型,因而需要不同的存储空间"所导致的问题.Object中的members是以slot的索引值来寻址,本例中x的索引值是6,point_count的索引值为7.一个class object的大小很容易计算出来:"指针大小,乘以class中声明的members数目".
   虽然这个模型并没有被应用于实际产品上,不过关于索引或slot数目的观念,倒是被应用到C++的"指向成员的指针"(point-to-member)观念之中.
表格驱动对象类型 (A Table-driven Object Model)
   为了对所有classes的所有objects都有一致的表达方式,另一种对象模型是把所有与members相关的信息抽出来,放在data member table和一个member function table之中,class object本身则内含这两个表格的指针,Member function table是一系列的slots,每一个slot指出一个member function; Data member table则直接含有data本身.
   虽然这个模型也没有实际应用于真正的C++编译器上,但member function table这个观念却称为支持virtual functions的一个有效方案.
C++对象模型(The C++ Object Model)
   Stroustrup当初设计(当前仍占有优势)的C++对象模型是从简单对象模型派生而来的,并对内存空间和存取时间做了优化.在此模型中,Nonstatic data members被配置于每一个class object之内,static data members则被存放在所有的class object之外,Static和nonstatic function members也被放在所有的class object之外,Virtual functions则以两个步骤支持之:
   1.每一个class产生出一堆指向virtual functions的指针,放在表格之中,这个表格被称为virtual table(vtbl)
   2.每一个class object被添加了一个指针,指向相关的virtual table,通常这个指针被称为vptr.vptr的设定和重置都由每一个class的constructor,destructor和copy assignment运算符自动完成,每一个class所关联的type_info object也经由virtual table被指出来,通常是放在表格的第一个slot处.

C++对象模型----关于对象

原文：http://blog.csdn.net/yiranant/article/details/47094253

踩

(0)

评论一句话评论（0）

分享档案

更多>

2021年09月23日 (328)
2021年09月24日 (313)
2021年09月17日 (191)
2021年09月15日 (369)
2021年09月16日 (411)
2021年09月13日 (439)
2021年09月11日 (398)
2021年09月12日 (393)
2021年09月10日 (160)
2021年09月08日 (222)

C++对象模型----关于对象

第一章 关于对象

第一章关于对象