明:感謝網(wǎng)頁C++ FAQ Lite的作者Marshall Cline和譯者申旻;感謝《C++語言核心》一書的作者Gregory Satir和Doug Brown及譯者張銘澤
-------------------------------原理-------------------------------
某些人認為不應該在構(gòu)造函數(shù)中使用this指針,因為這時this對象還沒有完全形成。
但是,只要小心,是可以在構(gòu)造函數(shù)中使用this指針的:
●在函數(shù)體中
●初始化列表中
因為“對象還沒有完全形成”不意味著“什么都沒有”。
在進入構(gòu)造函數(shù)(及其chaining)之前,Compiler會:
●給class的instance分配內(nèi)存
●建立運行時刻系統(tǒng)所需的信息(如vtbl等)
●##缺省地## 構(gòu)造所有類成員
-----------------------------【能】---------------------------------
構(gòu)造函數(shù)的函數(shù)體(或構(gòu)造函數(shù)所調(diào)用的函數(shù))【能】可靠地訪問:
●基類中聲明的數(shù)據(jù)成員
●構(gòu)造函數(shù)所屬類聲明的數(shù)據(jù)成員
這是因為所有這些數(shù)據(jù)成員被保證在構(gòu)造函數(shù)函數(shù)體開始執(zhí)行時已經(jīng)被完整的建立。
-----------------------------【不能】---------------------------------
構(gòu)造函數(shù)的函數(shù)體(或構(gòu)造函數(shù)所調(diào)用的函數(shù))【不能】向下調(diào)用:
●被派生類重定義的虛函數(shù)
這是因為在基類的構(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è)計強調(diào)“高聚合”,這樣會產(chǎn)生很多小的責任單一的對象(其實“單一責任原則”根本就是最基礎(chǔ)的OO原則)。
那么,小對象之間的協(xié)作就需要配置(其實“協(xié)作可配置”本身就是我們希望的靈活性所在):
●比如Observer模式中subject和observer的協(xié)作需要調(diào)subject.RegistorObserver(observer)來配置
●再比如多媒體框架DirectShow中filterGraph和videoWindow的協(xié)作需要調(diào)filterGraph.SetVideoWindow(videoWindow)來配置
而構(gòu)造函數(shù)是很典型的配置時機,舉例如下:
class CMyWindow : public CWnd
{
private:
CFilterGraph filterGraph;
public
CMyWindow() { filterGraph.SetVideoWindow(this); };
};
--------------------------附錄------------------------------------
順便總結(jié)基礎(chǔ)知識
|
表一
|
| who |
be called |
| 普通函數(shù) |
class::fun() |
| 構(gòu)造函數(shù) |
superclass::superclass() ==〉subclass::subclass() |
| 析構(gòu)函數(shù) |
subclass::~subclass() ==〉superclass::~superclass() |
|
表二
|
| who |
where |
be called |
| 非虛函數(shù) |
everywhere |
class::fun() |
| 虛函數(shù) |
普通函數(shù) |
obj.vfun() |
| 虛函數(shù) |
構(gòu)造函數(shù) |
class::vfun() |
| 虛函數(shù) |
析構(gòu)函數(shù) |
class::vfun() |
需要明了的是,【構(gòu)造/析構(gòu)/普通】和【虛/非虛】是完全獨立的分類方式:
●只要是“構(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()
這意味著當執(zhí)行delete super;時:
●是否是chaining式call呢?是。因為是析構(gòu)函數(shù)。
●那chaining call從哪里開始呢?從subclass::~subclass() ==〉superclass::~superclass(),
因為superclass * super的實際對象的類型是subclass。