-------------------------------原理-------------------------------
某些人認(rèn)為不應(yīng)該在構(gòu)造函數(shù)中使用this指針,因?yàn)檫@時this對象還沒有完全形成。
但是,只要小心,是可以在構(gòu)造函數(shù)中使用this指針的:
●在函數(shù)體中
●初始化列表中
因?yàn)?#8220;對象還沒有完全形成”不意味著“什么都沒有”。
在進(jìn)入構(gòu)造函數(shù)(及其chaining)之前,Compiler會:
●給class的instance分配內(nèi)存
●建立運(yùn)行時刻系統(tǒng)所需的信息(如vtbl等)
●##缺省地## 構(gòu)造所有類成員

-----------------------------【能】---------------------------------
構(gòu)造函數(shù)的函數(shù)體(或構(gòu)造函數(shù)所調(diào)用的函數(shù))【能】可靠地訪問:
●基類中聲明的數(shù)據(jù)成員
●構(gòu)造函數(shù)所屬類聲明的數(shù)據(jù)成員
這是因?yàn)樗羞@些數(shù)據(jù)成員被保證在構(gòu)造函數(shù)函數(shù)體開始執(zhí)行時已經(jīng)被完整的建立。
-----------------------------【不能】---------------------------------
構(gòu)造函數(shù)的函數(shù)體(或構(gòu)造函數(shù)所調(diào)用的函數(shù))【不能】向下調(diào)用:
●被派生類重定義的虛函數(shù)
這是因?yàn)樵诨惖臉?gòu)造函數(shù)執(zhí)行期間,“對象還不是一個派生類的對象”。
---------------------------【有時】-----------------------------------
以下是【有時】可行的:
●傳遞 this 對象的任何一個數(shù)據(jù)成員給另一個數(shù)據(jù)成員的初始化程序
你必須確保該數(shù)據(jù)成員已經(jīng)被初始化。好消息是你能使用一些不依賴于你所使用的編譯器的顯著的語言規(guī)則,來確定那個數(shù)據(jù)成員是否已經(jīng)(或者還沒有)被初始化。壞消息是你必須知道這些語言規(guī)則(例如,基類子對象首先被初始化(如果有多重和/或虛繼承,則查詢這個次序!),然后類中定義的數(shù)據(jù)成員根據(jù)在類中聲明的次序被初始化)。如果你不知道這些規(guī)則,則不要從this對象傳遞任何數(shù)據(jù)成員(不論是否顯式的使用了this關(guān)鍵字)給任何其他數(shù)據(jù)成員的初始化程序!如果你知道這些規(guī)則,則需要小心。
----------------------------用途----------------------------------
好的OO設(shè)計(jì)強(qiáng)調(diào)“高聚合”,這樣會產(chǎn)生很多小的責(zé)任單一的對象(其實(shí)“單一責(zé)任原則”根本就是最基礎(chǔ)的OO原則)。
那么,小對象之間的協(xié)作就需要配置(其實(shí)“協(xié)作可配置”本身就是我們希望的靈活性所在):
●比如Observer模式中subject和observer的協(xié)作需要調(diào)subject.RegistorObserver(observer)來配置
●再比如多媒體框架DirectShow中filterGraph和videoWindow的協(xié)作需要調(diào)filterGraph.SetVideoWindow(videoWindow)來配置
而構(gòu)造函數(shù)是很典型的配置時機(jī),舉例如下:
class CMyWindow : public CWnd
{
private:
CFilterGraph filterGraph;
public
CMyWindow() { filterGraph.SetVideoWindow(this); };
};
--------------------------附錄------------------------------------
需要明了的是,【構(gòu)造/析構(gòu)/普通】和【虛/非虛】是完全獨(dú)立的分類方式:
●只要是“構(gòu)造/析構(gòu)”就“串聯(lián)(chaining)”
●只要是“虛函數(shù)”就“可能obj.vfun()”
它們可以“一起生效”但“不互相干擾”,比如虛析構(gòu)函數(shù)的情況,看下面的例子:
class superclass
{
virtual ~superclass()
{
println("superclass::~superclass()");
}
};
class subclass : public superclass
{
virtual ~subclass()
{
println("subclass::~subclass()");
}
};
執(zhí)行
superclass * super = new subclass();
delete super;
的結(jié)果是打印出
subclass::~subclass()
superclass::~superclass()
這意味著當(dāng)執(zhí)行delete super;時:
●是否是chaining式call呢?是。因?yàn)槭俏鰳?gòu)函數(shù)。
●那chaining call從哪里開始呢?從subclass::~subclass() ==〉superclass::~superclass(),
因?yàn)閟uperclass * super的實(shí)際對象的類型是subclass。