关于默认构造函数

 本文总结:

  1)  并不是在任何情况下，编译器都会给class一个默认的构造函数

  2） 子类中和父类中的成员变量是不相同的，即使他们名字相同。

  3） 当基类中的构造函数有不可选的变量时， 子类的构造函数要加下基类的构造函数，例如

derived(int x,int y):base(x)

C++新手一般有两个常见的误解：
1）任何类如果没有定义默认构造函数，编译器就会合成出它来。
2）编译器合成出来的默认构造函数会明确设定“类中每一个数据成员的默认值”。

有四种情况，会导致“编译器必须为未声明构造函数的classes合成一个默认构造函数”。C++ 标准把那些合成物称

为隐含的有用默认构造函数。被合成出来的构造函数只能满足编译器(非程序)的需要。它之所以能够完成任务，是借

着“调用成员对象或基类的默认构造函数”或是“为每一个对象初始化其虚函数机制或虚基类机制”而完成的。至于

没有存在那四种情况而又没有声明构造函数的类，我们说它们拥有的是隐含的无用默认构造函数，实际上它们并不被

合成出来。

    在合成的默认构造函数中，只有基类子对象和成员对象会被初始化。所有其它的非静态数据成员，如整数、整数指

针、整数数组等等都不会被初始化。这些初始化操作对程序而言有需要，但对编译器而言则没必要。如果程序需要一

个“把某指针设为0”的默认构造函数，那么提供它的人应该是程序员。

一.注意：默认构造函数并不是一定会生成的
如：
class A
{
public:
int f() const {}
};

class B : public A
{
public:
int f() {}
};

A和B都没有生成默认构造函数，直接导致
const A a;
const B b;
出现如下错误：
uninitialized const `a'
uninitialized const `b'

总的来说，编译器只在它需要的时候才会合成一个默认构造函数，或者扩张所有已存在的构造函数。
一个类满足下列其中任何一个条件:
1.包含了一个类的对象，这个对象有一个构造函数(包括编译器合成的默认构造函数)
（在class A中增加一个string str即可）
2.如果继承自一些基类，其中某些基类有一个构造函数(包括编译器合成的默认构造函数)
(在class A中增加一个构造函数，B中就会自动生成默认构造函数）
3.有一个虚函数，或者继承到了虚函数
4.有虚基类
如果一个类不满足上面的4个条件，并且没有提供构造函数，编译器也不会为这个类提供默认的拷贝构造函数。
如果这个类有构造函数，编译器就会扩张所有构造函数，做以下事情
1.调用这个对象的构造函数
2.调用基类的构造函数
3.设置正确的虚函数表指针
4.设置指向虚基类对象的指针
补充1：对象内存的分配和构造函数没有关系，对象内存的分配是由编译器来完成的，构造函数的作用是对对象本身做初始化

补充2：如果不满足上面4个条件，编译器不会生成默认的构造函数。

            但是即使不满足上面4个条件，编译器还会生成默认的拷贝构造函数，采用浅拷贝方法。

二.在子类的构造函数中初始化基类的成员变量

因为有些类的默认函数不一定存在，所以在子类的构造函数中，有时需要对基类没有默认构造函数的的情况初始化基类的成员变量。

例如：class base
{
protected:
int i;
public:
base(int x){i = x;}
};
class derived:public base
{
private:
int i;
public:
derived(int x,int y):base(x)
{
  i = y;
}
void printtotal()
{
  int total = i + base::i;
}
};
为何在derived类中需要对基类的成员变量初始化？去掉:base(x)可以吗？

原因1：derived类中的成员变量i和base类中的成员变更i不是同一个变量，如果去掉，base类中的成员变更i就不能初始化了。
而且，base类也没有默认的构造函数base()。

原因2：不行。
因为基类的构造函数有参数，而且不是可选的，去掉就不能初始化了

转引自：http://hi.baidu.com/kuhntoria/blog/item/cc1ed80d67833a8e0a7b82a1.html