C++中構造函數調用構造函數

#include <stdlib.h>
#include <iostream>
using namespace std;

struct CLS
{
    int m_i;
    CLS( int i ) : m_i(i){}
    CLS()
    {
        CLS(0);
    }
};
int main()
{
    CLS obj;
    cout << obj.m_i << endl;

    system("PAUSE");
    return 0;
}

打印結果是不定的，不一定為0

代碼奇怪的地方在於構造函數中調用了自己的另一個構造函數

我們知道，當定義一個對象時，會按順序做2件事情：
1）分配好內存（非靜態數據成員是未初始化的）
2）調用構造函數（構造函數的本意就是初始化非靜態數據成員）

顯然上面代碼中，CLS obj；這里已經為obj分配了內存，然后調用默認構造函數，但是默認構造函數還未執行完，卻調用了另一個構造函數，這樣相當於產生了一個匿名的臨時CLS對象，它調用CLS(int)構造函數，將這個匿名臨時對象自己的數據成員m_i初始化為0；但是obj的數據成員並沒有得到初始化。於是obj的m_i是未初始化的，因此其值也是不確定的

從這里，我們歸納如下：
1）在c++里，由於構造函數允許有默認參數，使得這種構造函數調用構造函數來重用代碼的需求大為減少
2）如果僅僅為了一個構造函數重用另一個構造函數的代碼，那么完全可以把構造函數中的公共部分抽取出來定義一個成員函數(推薦為private),然后在每個需要這個代碼的構造函數中調用該函數即可
3）偶爾我們還是希望在類的構造函數里調用另一個構造函數，可以按下面方式做：
在構造函數里調用另一個構造函數的關鍵是讓第二個構造函數在第一次分配好的內存上執行，而不是分配新的內存，這個可以用標准庫的placement new做到：

先看看標准庫中placement new的定義

inline void *__cdecl operator new(size_t, void *_P)
{
    return (_P); 
} 

可見沒有分配新的內存。

正確的方式：

struct CLS
{
    int m_i;
    CLS( int i ) : m_i(i){}
    CLS()
    {
        new (this)CLS(0);
    }
};

另： 若構造函數調用自身，則會出現無限遞歸調用，是不允許的

 

轉自：

http://www.cnblogs.com/chio/archive/2007/10/20/931043.html