目录
情况一:A类中调用了B类构造函数,若A类无构造函数,则默认合成
情形说明:
传统观念之下,如果我们没有自己定义构造函数,那么系统就会默认分配一个隐式的构造函数,但是这是不正确的。编译器比我们想的要更聪明一些,因为只有在此类必须要用构造函数时,才会隐式定义一个默认的构造函数。我们程这种构造函数为“合成的默认构造函数”。
那什么是必要情形的构造函数呢?以下就说明了必要情形。
情况一:A类中调用了B类构造函数,若A类无构造函数,则默认合成
class M0TX
{
public:
M0TX() //默认构造函数
{
cout << "wodeceshi" << endl;
}
};
class MATX
{
public:
MATX() //默认构造函数
{
cout << "goodHAHAHAHA" << endl;
}
};
class MBTX
{
public:
int m_i;
int m_j;
M0TX m0; //类类型成员变量
MATX ma; //类类型成员变量
void funct()
{
cout << "IAmVeryGood" << endl;
}
};
int main(){
MBTX myb;
}
在上面代码中定义了MBTX类的对象,而MBTX类中又定义了MATX和M0TX的对象,而MATX和M0TX类中都有构造函数,那么想要调用这两个类的构造函数,必须自己要有构造函数,那么系统就会生成默认的构造函数,用来对M0TX和MATX类的构造函数做支撑。
其合成的目的是为了调用M0TX和MATX里的默认构造函数。换句话说:编译器合成了默认的MBTX构造函数,并且在其中安插代码,调用MATX的缺省构造函数。
其中:调用M0TX和MATX构造函数的顺序是由MBTX里定义M0TX和MATX对象的顺序决定的。
情形二:父类带缺省构造函数,子类无构造函数
class C
{
public:
C()
{
int aa;
aa = 1;
}
};
class A :public C{
}
int main(){
A aa;
return 1;
}
父类带有无参构造函数,子类没有任何构造函数,那因为父类这个缺省的构造函数要被调用,所以编译器会为这个子类合成出一个默认构造函数。合成的目的是为了调用这个父类的构造函数。换句话说,编译器合成了默认的构造函数,并在其中安插代码,调用其父类的缺省构造函数。
情形三:类中存在虚函数
class A{
int m_i;
void func1()
{
cout << "IAmVeryGood" << endl;
}
virtual void mvirfunc()
{
cout << "mvirfunc" << endl;
}
};
int main()
{
A aa;
return 1;
}
编译给我们合成了一个构造函数,并且在其中安插代码: 把类的虚函数表地址赋给类对象的虚函数表指针 (赋值语句/代码);生成了类MBTX的虚函数表。当我们有自己的默认构造函数时,编译器会根据需要扩充我们自己写的构造函数代码,比如调用父类构造函数,给对象的虚函数表指针赋值。编译器干了很多事,没默认构造函数时必要情况下帮助我们合成默认构造函数,如果我们有默认构造函数,编译器会根据需要扩充默认构造函数里边的代码。
情形四:类中带有虚基类
class Grand //爷爷类
{
public:
};
class A : virtual public Grand
{
public:
};
class A2 : virtual public Grand
{
public:
};
class C :public A, public A2 //这里不需要virtual
{
public:
C()
{
int aa;
aa = 1;
}
};
int main(){
C cc;
return 1;
}
通过两个直接基类继承同一个基类。所以一般是三层 ,有爷爷Grand,有两个爹A,A2,有孙子C。虚基类结构,编译器为子类和父类都产生了“合成的默认构造函数”。
两个父亲和儿子都有构造函数,其中虚基类结构中,构造函数具有虚基类表(vbtable)。
Q:为什么虚基类(两父类)中要合成默认构造函数?
A:
Q2:为什么要合成虚基类表,虚基类表中含有什么内容?
A2: