class a {}; class b{}; class c:public a{ virtual void fun()=0; }; class d:public b,public c{}; int main() { cout<<"sizeof(a)"<<sizeof(a)<<endl; cout<<"sizeof(b)"<<sizeof(b)<<endl; cout<<"sizeof(c)"<<sizeof(c)<<endl; cout<<"sizeof(d)"<<sizeof(d)<<endl; return 0; }
发布评论
评论(7)
默认构造函数,析构函数,复制构函数,赋值操作符
这个东西不需要记,也不需要回忆去想到底是哪几个。记了也没有意义。一个主体的宗旨只有一个,就是如果编译器需要,就会合成。不需要,就不会合成。例如对象实例化的时候要初始化,就会合成构造函数等等。。了解什么时候做了什么这个问题就迎刃而解了
这个问题问得太泛,考虑到如下代码:
在 VS2008 debug 模式下,类 A 都不会生成。
参考链接:下面一段C++关于类继承的代码为什么会编译通过
举一个极端例子,只是想说明下,语法特性最好是结合实际例子来讨论更有意义,单纯去记效果不好,也很容易搞混淆。
默认构造函数,析构函数,赋值操作符,复制构造函数,及this指针。
先说结论:对于空类,编译器不会生成任何的成员函数,只会生成1个字节的占位符。
有些人可能会以为编译器会为它生成默认构造函数等,但事实上是不会的,编译器只会在需要的时候生成默认构造函数,还包括拷贝构造函数、赋值运算符、析构函数,都是同样的情况。
默认构造函数、拷贝构造函数、赋值运算符、析构函数四种函数都会在下列四种情况下由编译器产生:
1. 类中有一个data member,这个data member所属的类有默认或是显式的上述四种函数。
2. 类的父类有默认或是显式的上述四种函数。
3. 有虚函数的类。
4. 有虚基类的类。
1、默认的构造函数、拷贝构造函数、析构函数
2、赋值函数
这些函数的作用是用户维自定义自己的函数时,调用默认的函数。
什么函数都不会生成!会生成1个字节的占位符。
看看一个例子:
#include<iostream.h>
class a {};
class b{};
class c:public a{
virtual void fun()=0;
};
class d:public b,public c{};
int main()
{
cout<<"sizeof(a)"<<sizeof(a)<<endl;
cout<<"sizeof(b)"<<sizeof(b)<<endl;
cout<<"sizeof(c)"<<sizeof(c)<<endl;
cout<<"sizeof(d)"<<sizeof(d)<<endl;
return 0;
}
程序执行的输出结果为:
sizeof(a) =1
sizeof(b)=1
sizeof(c)=4
sizeof(d)=8
为什么会出现这种结果呢?初学者肯定会很烦恼是吗?类a,b明明是空类,它的大小应该为为0,为什么编译器输出的结果为1呢?这就是我们刚才所说的实例化的原因(空类同样可以被实例化),每个实例在内存中都有一个独一无二的地址,为了达到这个目的,编译器往往会给一个空类隐含的加一个字节,这样空类在实例化后在内存得到了独一无二的地址.所以a,b的大小为1.
而类c是由类a派生而来,它里面有一个纯虚函数,由于有虚函数的原因,有一个指向虚函数的指针(vptr),在32位的系统分配给指针的大小为4个字节,所以最后得到c类的大小为4.
类d的大小更让初学者疑惑吧,类d是由类b,c派生迩来的,它的大小应该为二者之和5,为什么却是8呢?这是因为为了提高实例在内存中的存取效率.类的大小往往被调整到系统的整数倍.并采取就近的法则,里哪个最近的倍数,就是该类的大小,所以类d的大小为8个字节.
当然在不同的编译器上得到的结果可能不同,但是这个实验告诉我们初学者,不管类是否为空类,均可被实例化(空类也可被实例化),每个被实例都有一个独一无二的地址.