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:对象内存的分配和构造函数没有关系,对象内存的分配是由编译器来完成的,构造函数的作用是对对象本身做初始化
{
public:
int f() {}
};
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:对象内存的分配和构造函数没有关系,对象内存的分配是由编译器来完成的,构造函数的作用是对对象本身做初始化