http://blog.csdn.net/niuox/article/details/7253374

今天看資料結構時，突然看到一個用建構函式進行初始化的struct結構體，這個比較新鮮，因為以前從來沒有看到過，於是想了想struct到底有沒有建構函式以及struct如何初始化，上網查了一些資料，供大家參考！

結構體例項（包括共用體）和類例項的初始化方法完全相同，二者都可以應用於繼承層次中。不同點是結構體（包括共用體）預設成員為public，而類預設成員是private型的。
一、若類和結構體所有資料成員均為public型，可採取如下帶花括號形式進行初始化。
注意：
① 不論值的個數多少，都必須使用花括號定界
② 未指定值的資料成員編譯器會自動初始化為預設值
③ 這種初始化物件方式，要求所有資料成員必須為public型
④ 這種初始化物件方式，要求類中不能編寫任何建構函式
struct S {  //class S 效果一樣
    int            x;
    unsigned short y;
};
S testS1={100,123};
S testS2={200};//未指定值的資料成員初始化為預設值,這裡os2.y=0;
S TestS[4]={ {100,10},
             {200,20},
             {300} };//未指定值的初始化為預設值,os[2].y,os[3].x,os[3].y。

《windows核心程式設計》中我們會遇到：STARTUPINFO si = { sizeof(si) } ，就是對si結構體的初始化。

二、若資料成員有private或protected型，或是提供了建構函式，必須使用建構函式來進行初始化。
struct S { //class S可自行試驗，結果相同
    private:
        int x;
    public:
        double y;
        S(void){}
        S(int idemo,double ddemo) {x=idemo;y=ddemo;}
        void show(void) {cout<<x<<''\t''<<y<<endl;}
};
S os1;//將呼叫預設建構函式(無參建構函式)
S os2(1000,2.345);
S os3=S(2000,4.567);
S os[4]={S(10,1.234),S(20,2.234)};//未初始化的將呼叫預設建構函式。如此時沒有預設建構函式會出錯。
重要提示:
①在S os3=S(2000,4.567);語句中，因是宣告並初始化os3物件，所以將呼叫S(int,double)建構函式對os3進行初始化。
②S os3(2000,4.567); 等價於 S os3=S(2000,4.567);
③但如果os3已經存在了，S os3(100,1.234);os3=S(2000,4.567)，則表示用一個臨時物件賦值給os3，將呼叫operator=，然後系統再釋放這個臨時產生的物件。系統預設的=運算是將源物件的資料成員的值複製到目標物件中的資料成員中。
三、接受一個引數的建構函式允許使用賦值句法初始化物件。
說明程式碼如下：
#include <iostream>
using namespace std;
class C {
    private:
        int x;
    public:
        C(int idemo) {x=idemo;}
        void show(void) {cout<<x<<endl;}
};
struct S {
    private:
        int x;
    public:
        S(int idemo) {x=idemo;}
        void show(void) {cout<<x<<endl;}
};
int main(int argc, char *argv[]){
    C oc=1000;//不能企圖加花括號
    oc.show();
    S os=2000;//不能企圖加花括號
    os.show();
    return EXIT_SUCCESS;
}

個人補充：

1、struct裡面如果只有public型別的資料，則可以通過{}直接複製，沒有複製的資料預設為0：

<span style="font-size:14px;">class CL
{
public:
	int a;
	int b;
};
struct ST
{
	int a;
	int b;
};
int main()
{
	ST s={};
	CL c={};
	cout<<s.a<<" "<<s.b<<endl;
	cout<<c.a<<" "<<c.b<<endl;
	return 0;
}</span>
 

2.沒有自己顯示定義建構函式時

class CL
{
public:
	int a;
	int b;
};
struct ST
{
	int a;
	int b;
};
int main()
{
	ST s;
	CL c;
	cout<<s.a<<" "<<s.b<<endl;
	cout<<c.a<<" "<<c.b<<endl;
	return 0;
}

3.如果要用 ST s;CL c;或者ST c=ST(); CL c=CL();這樣的形式，則必須給struct和class裡面新增預設建構函式

class CL
{
public:
	CL(){}
	int a;
	int b;
};
struct ST
{
	ST(){}
	int a;
	int b;
};
int main()
{
	ST s;
	CL c;
	cout<<s.a<<" "<<s.b<<endl;
	cout<<c.a<<" "<<c.b<<endl;
	return 0;
}

此時的執行結果是：

不會報錯，由於預設建構函式沒有賦值，所以是暫存器原來的資料。

原因：（見c++ primer P392）

一個類哪怕只定義一個建構函式，編譯器也不會再生成預設建構函式。

合成的預設建構函式使用與變數初始化相同的規則來初始化成員。具有類型別的成員通過執行各自的預設建構函式來進行初始化。內建型別和複合型別的成員，如指標和陣列，只能定義在全域性作用域中的物件才初始化。當物件定義在區域性作用域中時，內建或複合型別的成員不進行初始化。

如果類包含內建型別或複合型別的成員，則該類不應該依賴於合成的預設建構函式，而應該定義自己的建構函式來初始化這些成員。

每個建構函式應該為每個內建或複合型別的成員提供初始化。沒有初始化內建或複合型別成員的建構函式，將使那些成員處於未定義的狀態。除了作為賦值的目標之外，以任何方式使用一個未定義的成員都是錯誤的。