構(gòu)造、解構(gòu)、拷貝語意學(xué)(Semantics of

Construction,Destruction, and Copy)

一般而言，class的data member應(yīng)該被初始化，并且只在constructor中或是在class的其他member functions中指定初值。其他任何操作都將破壞封裝性質(zhì)，使class的維護(hù)和修改更加困難。

純虛函數(shù)的存在(Presence of a Pure Virtual Function)

C++ 新手常常很驚訝地發(fā)現(xiàn)，一個(gè)人竟然可以定義和調(diào)用(invoke)一個(gè)pure virtual function：不過它只能被靜態(tài)地調(diào)用(invoked statically)，不能經(jīng)由虛擬機(jī)制調(diào)用。例如，你可以合法地寫下這段代碼：

//定義pure virtual function但只能被靜態(tài)地調(diào)用(invoked statically)inline void Abstract_base::interface() const{    //請注意，先前曾聲明這是一個(gè)pure virtual constfunction    //...}inline void Concrete_derived::interface() const{    //靜態(tài)調(diào)用(static invocation) 
    Abastract_base::interface();          //請注意，我們竟然能夠調(diào)用一個(gè)pure virtualfunction    //...}

要不要這樣做，全由class設(shè)計(jì)者決定。唯一的例外就是pure virtual destructor: class設(shè)計(jì)者一定要定義它。為什么？ 因?yàn)槊恳粋€(gè)derived class destructor會(huì)被編譯器加以擴(kuò)展，以靜態(tài)調(diào)用的方式調(diào)用其“每一個(gè)virtual base class”以及“上一層base class”的destructor。因此，只要缺乏任何一個(gè)base class destructor的定義，就會(huì)導(dǎo)致鏈接失敗。

“無繼承”情況下的對象構(gòu)造

考慮下面的程序片段：

        		
網(wǎng)友評論