Category: 資訊相關Idea與筆記

摘要

• C++ Object Model
• 繼承
• 虛擬繼承
• class 與 struct
• 多型

C++ Object Model

一般來說有三種實作方式:

1.Simple: 一個Object內有一個 slot table, table 中各 slot 指向一個 member.

2.Table: 把 member 和 function 抽出來為 兩個 table, 物件內含一指標指向這兩個 table, 而 function
table 又指向各 function.

3.目前一般常見 C++ Compiler 所採用的物件模型, 則是將 member 放在物件中,物件內含一指標指向 function table,
而 static member 則另外存放於 heap 中.

繼承

早期,直接把 base class member 含括到 derived class, 較快; 但若 base class 變更,會造成 derived
class 需重新 compile.

2.0 規格以後,為有關聯的 virtual base class 加上指標:

1. 導入 virtual base class table
2. 擴充現有的 virtual table

簡單的說就是在衍生類別中加上指標指回 base class 的 member 和 function.

 

虛擬繼承

亦可指定 virtual, 如 iostream

class istream: virtual public ios {...};
class ostream:virtual public ios {...};

此情況下, base class 不管在繼承串列中被衍生幾次,均只存在一個實體,上例中, ios 將只存在一個.

 

class 和 struct

class 和 struct 幾乎相同,但仍然請依照需要乖乖使用.

 

多型

只有透過 pointer 或 reference 的間接處理,才支援多型.

Function
語意學 ( The Semantics of Function )

摘要:

nonstatic member function

virtual member function

static member function

virtual member function(單一繼承)

多重繼承

函式的效能

Point-to-member functions

inline function

 

nonstatic member function

nonstatic member function 實際上會被內化為 nonmember 的形式,步驟如下:

1. 改寫函式的 signature 以安插一個額外的參數,用以提供一個存取管道,使 class object 得以將此函式喚起.額外參數就是 this.
2. 將對 "nonstatic data member 的存取動作" 改經由 this 指標存取.
3. 改寫成一個外部函式,將函式名稱經過 "mangling" 處理,以成為一個獨一無二的語彙.

名稱的特殊處理 (Name mangling)

一般而言, member 的名稱後面會被加上 class 名稱. 若你宣告 extern "C", 就會壓抑 nonmember
functions 的 "mangling" 效果. 此 mangling 的動作, 各家 compiler 實作方式不同.

 

virtual member functions

若 ptr->normalize(); 

則會被轉化為

(*ptr->vptr[1])(ptr);

其中:

• vptr 表示由 compiler 產生的指標,指向 virtual table, 其名稱也會被 "mangled", 因為在一個複雜的衍生體系中,可能存在多個
  vptrs.
• 1 是 virtual tabe slot 的索引值.
• 第二個 ptr 表示 this 指標.

若宣告為 inline, 則會被 compiler 當作一般 nonstatic member function 一樣地決議,提供極大的效率利益.

 

static member function

一般建議把 static data member 宣告為 nonpublic, 並提供一個或多個 member functions 來存取之.

主要特性: 沒有 this 指標.

次要特性: 他不能直接存取其 class 中的 nonstatic members; 他不能被宣告為 const, volatile, 或 virtual;
他不需要經由 class object 才被喚起.

如果取一個 static member function 的位址, 將獲得其在記憶體中的位置,其位址的型別並不是一個 "指向 class member
function 的指標", 而是一個 "nonmember 函式指標".即

&Point3D::object_count();

會得到

 unsigned int (*)();

而非

 unsigned int (Point3D:*)();

差不多等同於 nonmember function.

p.s. object_count 原型宣告為

unsigned int
Point3D::
object_count() {
return _object_count;
}

 

virtual member function(單一繼承)

單一繼承一般是在每個多型的 class object 身上增加 2 個 member:

1. 一個字串或數字,表示 class 型別.
2. 一個指標指向某表格,表格中持有程式的 virtual functions 的執行時期位址.為了找到函式位址,每個 virtual function
   被指派一個表格索引值.

這些工作都由 compiler 完成. 執行時期要做的只是在特定的 virtual table slot 中啟動 virtual function.

圖解. 若 Point3D 繼承 Point2D 繼承 Point, 那麼個別的 virtual table 就可能是

於是當

Point *ptr;
ptr=new Point3D();
ptr->z();

compiler 可以把該呼叫轉化為

(*ptr->vptr[4])(ptr);

 

多重繼承

在多重繼承中支援 virtual function,其複雜度圍繞在第二個及後繼的 base class 上,以及"必須在執行時期調整 this
指標"上.

即後繼的 class 會有多個 virtual table.

將後繼的物件位址指定給一個 base1 指標或 base2 指標時, virtual table 就要視指標的型態作切換,以免呼叫到錯誤的函數.

效率若依照原始 c++ 模型,會變的不好,但這方面各家 compiler 會利用 thunk 或 address points 策略來改善.

虛擬繼承下的 virtual functions

實作上,同樣要調整 this 指標,很複雜,效率也不一定較好,建議不要在一個 virtual base class 中宣告 nonstatic data
members.

 

函式的效能

inline > (nonmember friend=static member=nonstatic member) > virtual
member > virtual member(多重繼承) > virtual member(虛擬繼承)

virtual member 在層數越多的狀況下,其執行時間也成正比增加.

 

Point-to-Member functions

double (Point::*pmf)();
double (Point::*coord)()=&Point::x; //初始
coord=&Point::y; //或是這樣初始

於是可以

(origin.*coord)();

或

(ptr->*coord)();

這樣用.

實際上則會轉化為

(coord)(&origin);

和

(coord)(ptr);

支援"指向 virtual member functions"的指標

考慮如下片段(假設 z 為 virtual function)

float (Point::*pmf)()=&Point::z;
Point *ptr=new Point3D;
ptr->z(); //ok
(ptr->*pmf)(); //仍然 ok

compiler 實作上,必須定義 pmf, 使他能持有兩種數值,並且其數值能區分其意義.

多重繼承的狀況:

stroustrup 利用 union 來處理

struct __mptr {
int delta;
int index; //處理 virtual table 索引,不指時為 -1
union {
ptrfunc faddr;
int v_offset; //處理 nonvirtual member function
};
};

於是

(ptr->*pmf)();

會變成

(pmf.index<0)?
(*pmf.faddr)(ptr):
(*ptr->vptr[pmf.index](ptr));

Microsoft 以 vcall thunk 來作檢查,避免浪費檢查的時間,但副作用是,當傳遞一個不變值的指標給 member function 時,需要產生暫時性的物件.

效率:同樣地,不牽涉到"虛擬"+"多重"情況的,效率較佳.

 

inline function

一般處理時,有兩個階段:

1. 分析函式,若因某些問題(複雜度過高,建構問題…等)被判斷不可 inline, 則會轉為 static 函式,並在被編譯模組中產生對應的函式定義.
2. 真正的 inline function 擴展動作,是在呼叫的那一點上,這會帶來參數的求值動作及暫時性物件的管理.

通常需進入 assembler 中,才能得知是否真實現了 inline

形式參數擴展的情況大致如下:

inline int min(int i, int j) {
return i<j?i:j;
}
int
main() {
int minval;
int val1=1024,val2=2048;
minval=min(val1,val2);		//minval=val1<val2?val1:val2;
minval=min(1024,2048);		//minval=1024;
minval=min(foo(),bar()+1);	//int t1,t2;
//minval=(t1=foo()),(t2=bar()+1),t1<t2?t1:t2;

 

區域變數的情況

若

inline int
min(int i, int j) {
int minval=i<j?i:j;
return minval;
}
int local_var;
int minval;
...
minval=min(val1,val2);

則可能會代換為

int local_var;
int minval;
int __min_lv_minval;
minval=(__min_lv_minval=val1<val2?val1:val2),__min_ln_minval;

inline 函式中的區域變數再加上有副作用的參數,可能會導致大量暫時性物件的產生.並且使得程式大小暴增.避免過於複雜的 inline 函式,以免 compiler
無法擴展開來.

The Semantics of Data

摘要

• static data member
• 物件的大小
• data member 的佈局
• data member 的存取
• 繼承與 data member
• 指向 data members 的指標

 

static data member

static data member 永遠在 global data segment, 不影響 class object 的大小.

 

物件的大小

class object 的大小有可能因為 compiler 實作物件模型的方式不同而有不同,原因:

1. compiler自動加上額外 data member, 以支援某些語言特性.
2. alignment 邊界調整需要(比如: char 為配合機器特性而以 long 存放)

雖然目前 C++ compiler 已經非常進步,但早期會有兩種程式寫作防禦方格,以防止資料繫結錯誤.

1. 把 data member 寫在 class 的開頭.
2. inline function 移到 class 宣告之後,而不在宣告區裡面實作, 如:

extern int x;
class Point3D {
private:
float x,y,z;
public:
float X() const {return x;} 	//到底傳回哪個 x 呢?
float getX() const; 			//早期若不這樣寫,會造成資料繫結到上面那個 x
};
inline float
Point3D::
getX() const {
return x;
}

 

data member 的佈局

data member 實際的存放(佈局)

注意:各 data member 再實際存放時不一定連續.

如:

class Point3D {
float x;
float y;
float z;
};

x,y,z 不一定是連續的,有可能為了要補 alignment 或因compiler 的調整為 y,x,z, 主要原因是 C++ Standard 對此採放任態度.一般而言,仍是連續的.

 

data member 的存取

當 member 被宣告為 static 時,實際上和一般變數存取一樣,因為 static member 存放在 class 之外,不需要再透過 class
去存取. 若不是宣告為 static, 事實上,都會透過一個隱含的 class object (this) 完成,也就是類似這樣

Point3D
Point3D:translate( Point3D* this, const Point3D &pt) {
this->x+=pt.x;
this->y+=pt.y;
this->z+=pt.z;
}

若在程式中對 data member 做存取,如:

origin.y=0.0;

那麼實際上將等於

&origin+(&Point3D::y-1)

指向 data member 的指標,其 offset 值總是被加上 1, 這樣子 compiler就能需分出"一個指向 data member
的指標,用以指出 class 的第一個 member"和"一個指向 data member 的指標,未指向任何 member"的情況.(那就是上面為什麼要
-1的原因).

 

繼承與 data member

在沒有 virtual function 的狀況下,和 struct 相同.原本是獨立不相干的 class 湊成 type / subtype, 並有繼承關係(如
Point2D -> Point3D), 經驗不足的人可能會重複設計一些相同動作的函式,以 constructor 和 operator += 為例,
可以做成 inline. 另外把一個 class 分解為二層或更多層,有可能會為了"表現 class 體系之抽象化"而膨脹所需空間.如:
parent 為兩個 int, child 為一個 char, grandchild 為一個 char, compiler 會為了 alignment
而填補空間.

加上 virtual function 後,將需要導入 vptr, 並在每個函式做 vptr 的處理, 解構時也要把 vptr 抹消,一般而言, vptr
放在 class 的最後面,但 visual c++ 放在最前面,主要是為了繼承的效率問題.

class 若內含一個或多個 virtual base class subobjects, 將會分割為二部分:一個不變區域和一個共享區域,不變區域的資料,不管後繼如何衍化,總擁有固定的
offset(自 object 的起頭算起), 所以可以直接存取,至於共享區域,表現的是 virtual base class subobject, 其位置會因為每次衍生動作而有變化,只能被間接存取,
compiler 會在子類別中安插一些指標,每個指標指向一個 virtual base class.這樣的做法有兩個缺點:

1. 每個物件必須針對其每個 virtual base class 背負一個額外指標(空間增加).
2. 由於虛擬繼承串鏈的加長,導致間接存取層次增加.(時間增加)

大部分編譯器到今天仍使用"經由拷貝動作取得所有的 nested virtual base class 指標,放到 derived class
object 之中"來解決第二個問題.

第一個問題一般有兩個解法. Microsoft compiler 引入 virtual base class table, 每一個 class object
如果有一個或多個 virtual base class, 就會由 compiler 安插一個 pointer, 指向 virtual base class
table. 第二個方法是在 virtual function table 中放置 virtual base class 的 offset.

 

指向 data members 的指標

可用以決定 vptr 放在 class 的 begin 或 end, 另一個用途可用來決定 class 中的 access sections.

usage:

	printf("&Point3d::x=%p\n",&Point3d::x);

如果 vptr 在物件尾巴,則 offset 為 0

如果 vptr 在物件起頭,則 offset 為 4

但為何在尾巴時,傳回值總是多 1? 意即 1 主要是用以區分"沒有指向任何 data member" 的指標和 "指向第一個
data member" 的指標.

注意,此種額外的間接性會降低"把所有處理都搬移到暫存器中執行"最佳能力.