C++构造函数语义学(一)(基于C++对象模型）

如果一个类没有自己的构造函数，编译器会在需要的时候为其合成一个出来，俗称:合成默认构造函数。但是请注意是在需要的时候，并不是所有情况。

请看下面代码：

#include<iostream>
using namespace std;
class Foo {
public:
    int val;
    Foo *pnext;
};

void foo_bar()
{
    Foo bar;
    if (bar.val || bar.pnext)
    {
        cout << "数据被编译器初始化了" << endl;
    }
}
int main()
{
    foo_bar();
    while (1);
    return 0;
}

输出会报错：

 分析：对于上述情况，编译器并不会认为是需要的，因为初始化数据成员应该是程序员的职责，而并非是编译器的职责。所以必须自己写一个构造函数出来为其数据成员进行初始化。

假设编译器认为需要的时候到了，这时候为其合成了一个默认构造函数出来，也不会对该类的数据成员进行初始化，因为这并不是编译器的职责。比如下面代码：

#include<iostream>
using namespace std;
class Foo {
public:
    Foo(){
        cout << "默认构造函数被调用" << endl;
    };
};

class Bar {
public:
    Foo foo;
    char *str;
};
void foo_bar()
{
    Bar bar;
    if (bar.str)
    {
        cout << "类Bar的数据成员被编译器初始化了" << endl;
    }
}
int main()
{
    foo_bar();
    while (1);
    return 0;
}

输出：

 和第一种情况比，这时候的编译器没有报错，但是编译器还是没有为数据成员进行初始化。 

上面的代码引出第一种编译器会自动合成默认构造函数的情况：如果一个类中包含另一个类，对于后者，有自己定义的默认构造函数。而前者没有，那么此时编译器会为其合成一个出来，但是合成的目的仅仅只是为了调用后者的默认构造函数，对于自己类的数据成员，必须由程序员自己初始化。

 

所以合理的应该是这样的：

#include<iostream>
using namespace std;
class Foo {
public:
Foo() {
    cout << "默认构造函数被调用" << endl;
};

};

class Bar {
public:
Foo foo;
char *str;
Bar()
{
    //编译器自动安插代码段foo.Foo::Foo();
    str = new char;//程序员为自己的数据成员赋值。
}

};
void foo_bar()
{
Bar bar;
if (bar.str)
{
    cout << "类Bar的数据成员被编译器初始化了" << endl;
}
}
int main()
{
foo_bar();
while (1);
return 0;
}

输出：

 分析：

对于类Bar,现在有了自己的构造函数，虽然没有显示的定义类Foo的，编译器还是为其合成了一个出来，因为编译器认为这是需要的时候，这种需要仅仅是需要调用类Foo的默认构造函数，但是对于自己的数据成员，它依然置之不顾。

如果一个类包含有多个类成员，这些类成员都有自己的构造函数（假设默认的不带参数和带参数的构造函数都存在），但是包含了多个类成员的类并没有定义自己的构造函数，编译器此时就会为其合成一个出来，为的就是调用其类成员，且调用顺序按照类成员定义的顺序来依次调用，比如以下情况：

#include<iostream>
using namespace std;
class Dopey {
public:
    Dopey() {
        cout << "默认构造函数Dopey()被调用" << endl;
    }
};
class Sneezy {
public:
    Sneezy(int) {
    cout << "构造函数Sneezy(int)被调用" << endl;
    }
    Sneezy(){
        cout << "默认构造函数Sneezy()被调用" << endl;
    }
};
class Bashful {
public:
    Bashful() {
        cout << "默认构造函数Bashful()被调用" << endl;
    }
};
class Snow_White
{
public:
    Dopey dopey;
    Sneezy sneezy;
    Bashful bashful;
private:
    int mumble;
};
int main()
{

    Snow_White s;
    while (1);
    return 0;
}

输出：

 如果该类为自己的数据成员定义了自己的构造函数来初始化它们，如果不明确调用父类的构造函数，编译器依旧会在该构造函数中安插代码，为了调用父类的默认构造函数（编译器调用的都是默认的版本，也就是父类中定义的都是不带参的构造函数或者带了默认参数的构造函数，其他情况则需要程序员自己显示调用），如下情况：

#include<iostream>
using namespace std;
class Dopey {
public:
    Dopey() {
        cout << "默认构造函数Dopey()被调用" << endl;
    }
};
class Sneezy {
public:
    Sneezy(int) {
    cout << "构造函数Sneezy(int)被调用" << endl;
    }
    Sneezy(){
        cout << "默认构造函数Sneezy()被调用" << endl;
    }
};
class Bashful {
public:
    Bashful() {
        cout << "默认构造函数Bashful()被调用" << endl;
    }
};
class Snow_White
{
public:
    Dopey dopey;
    Sneezy sneezy;
    Bashful bashful;
    Snow_White() :sneezy(1024)
    {
        /*
        编译器安插:
        dopey.Dopey::Dopey();
        sneey.Sneey::Sneey(1024);
        bashful.Bashful::bashful();
        */
        mumble = 2048;
    }
private:
    int mumble;
};
int main()
{
    Snow_White s;
    while (1);
    return 0;
}

输出：

上述是类中含有类成员的情况，继承的情况和它类似，如果一个类继承了另外一个类，但是前者没有自己的构造函数，而后者有自己的默认构造函数，那么对于前者，编译器会在需要的时候合成一个出来,目的仅仅是为了调用后者的默认构造函数，前者的数据成员仍然需要程序源自己初始化，对于多继承同样如此，下面举出多继承的例子：

#include<iostream>
using namespace std;
class Dopey {
public:
    Dopey() {
        cout << "默认构造函数Dopey()被调用" << endl;
    }
};
class Sneezy {
public:
    Sneezy(int) {
    cout << "构造函数Sneezy(int)被调用" << endl;
    }
    Sneezy(){
        cout << "默认构造函数Sneezy()被调用" << endl;
    }
};
class Bashful {
public:
    Bashful(int x = 2) {
        cout << "默认构造函数Bashful()被调用" << endl;
    }
};
class Snow_White:public Dopey,public Sneezy,public Bashful
{
public:
    Snow_White() :Sneezy(1024)
    {
        /*
        编译器安插:
        Dopey dopey;
        dopey.Dopey::Dopey();
        Sneezy sneezy;
        sneezy.Sneey::Sneey(1024);
        Bashful bashful;
        bashful.Bashful::bashful();
        */
        mumble = 2048;
    }
private:
    int mumble;
};
int main()
{
    Snow_White s;
    while (1);
    return 0;
}

输出：