-------------------------------原理-------------------------------

某些人認為不應該在構造函數中使用this指針,因為這時this對象還沒有完全形成。

但是,只要小心,是可以在構造函數中使用this指針的:

●在函數體中

●初始化列表中

因為“對象還沒有完全形成”不意味著“什么都沒有”。

在進入構造函數(及其chaining)之前,Compiler會:

●給class的instance分配內存

●建立運行時刻系統所需的信息(如vtbl等)

●##缺省地## 構造所有類成員

-----------------------------【能】---------------------------------

構造函數的函數體(或構造函數所調用的函數)【能】可靠地訪問:

●基類中聲明的數據成員

●構造函數所屬類聲明的數據成員

這是因為所有這些數據成員被保證在構造函數函數體開始執行時已經被完整的建立。

-----------------------------【不能】---------------------------------

構造函數的函數體(或構造函數所調用的函數)【不能】向下調用:

●被派生類重定義的虛函數

這是因為在基類的構造函數執行期間,“對象還不是一個派生類的對象”。

---------------------------【有時】-----------------------------------

以下是【有時】可行的:

●傳遞 this 對象的任何一個數據成員給另一個數據成員的初始化程序

你必須確保該數據成員已經被初始化。好消息是你能使用一些不依賴于你所使用的編譯器的顯著的語言規則,來確定那個數據成員是否已經(或者還沒有)被初始化。壞消息是你必須知道這些語言規則(例如,基類子對象首先被初始化(如果有多重和/或虛繼承,則查詢這個次序!),然后類中定義的數據成員根據在類中聲明的次序被初始化)。如果你不知道這些規則,則不要從this對象傳遞任何數據成員(不論是否顯式的使用了this關鍵字)給任何其他數據成員的初始化程序!如果你知道這些規則,則需要小心。

----------------------------用途----------------------------------

好的OO設計強調“高聚合”,這樣會產生很多小的責任單一的對象(其實“單一責任原則”根本就是最基礎的OO原則)。

那么,小對象之間的協作就需要配置(其實“協作可配置”本身就是我們希望的靈活性所在):

●比如Observer模式中subject和observer的協作需要調subject.RegistorObserver(observer)來配置

●再比如多媒體框架DirectShow中filterGraph和videoWindow的協作需要調filterGraph.SetVideoWindow(videoWindow)來配置

而構造函數是很典型的配置時機,舉例如下:


class CMyWindow : public CWnd
{
private:
CFilterGraph filterGraph;
public
CMyWindow() { filterGraph.SetVideoWindow(this); };
};
--------------------------附錄------------------------------------

需要明了的是,【構造/析構/普通】和【虛/非虛】是完全獨立的分類方式:
●只要是“構造/析構”就“串聯(chaining)”
●只要是“虛函數”就“可能obj.vfun()”

它們可以“一起生效”但“不互相干擾”,比如虛析構函數的情況,看下面的例子:

class superclass 
{
   virtual ~superclass()
   {
      println("superclass::~superclass()");
   }
};
class subclass : public superclass
{
   virtual ~subclass()
   {
      println("subclass::~subclass()");
   }
};
執行
superclass * super = new subclass(); 
delete super;
的結果是打印出
subclass::~subclass() 
superclass::~superclass()
這意味著當執行delete super;時:
●是否是chaining式call呢?是。因為是析構函數。
●那chaining call從哪里開始呢?從subclass::~subclass() ==〉superclass::~superclass(),
因為superclass * super的實際對象的類型是subclass。