struct的初始化及其构造函数

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>

结果为：0,0；0,0

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;}

编译不出错，但在运行时会报错，显示s和c没有被初始化；

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）

一个类哪怕只定义一个构造函数，编译器也不会再生成默认构造函数。

合成的默认构造函数使用与变量初始化相同的规则来初始化成员。具有类类型的成员通过运行各自的默认构造函数来进行初始化。内置类型和复合类型的成员，如指针和数组，只能定义在全局作用域中的对象才初始化。当对象定义在局部作用域中时，内置或复合类型的成员不进行初始化。

如果类包含内置类型或复合类型的成员，则该类不应该依赖于合成的默认构造函数，而应该定义自己的构造函数来初始化这些成员。

每个构造函数应该为每个内置或复合类型的成员提供初始化。没有初始化内置或复合类型成员的构造函数，将使那些成员处于未定义的状态。除了作为赋值的目标之外，以任何方式使用一个未定义的成员都是错误的。