C++ 类的内存布局

程序内存布局

 

------------------------------------------------------------------------------------------------------

new/delete表达式 • 在C语言中，用来申请堆空间的方式，使用malloc/free库函数 • 在C++中，用来做同样操作的就是new/delete表达式

 

 new/delete与malloc/free的区别？

• 面试常考点： 1) malloc/free是标准库函数，new/delete是表达式 2) malloc申请空间时需要自己指定字节数；而new表达式不需要指 定 3) malloc不能进行初始化，但new可以进行初始化。

------------------------------------------------------------------------------------------------------

class空类的时候是占有1个字节的，以此来区分不同的对象。

如：class S{}

S s1,s2;其中&s1与&s2的地址相差1。

------------------------------------------------------------------------------------------------------

class存在数据段，所有声明的对象其实共用的一个class。

对象可以在栈区也可以在堆区，this指针用于区分不同的对象，但是为什么this指针不占用对象的存储空间呢？因为this指针存在寄存器中。

------------------------------------------------------------------------------------------------------

类对象的大小只有数据成员有关，而成员函数是存放在代码区的，属于只读区。成员函数可以在类外部实现，但是需要加上类作用域。

------------------------------------------------------------------------------------------------------

拷贝构造函数参数不能去除const与&？

因为只有const引用能够绑定到临时对象，因此不能去掉 const关键字；去掉引用符号之后， 会导致拷贝构造函数 无穷递归调用自身， 没有出口，直到栈溢出。

------------------------------------------------------------------------------------------------------

主动调用析构函数并不能销毁对象，析构函数的用法是在对象结束生命周期时被动调用来回收数据成员的堆空间的。

------------------------------------------------------------------------------------------------------

class中赋值运算符函数与拷贝构造函数的区别？

拷贝构造函数是构造函数，用于初始化类对象的时候；而赋值运算符函数用于赋值时，此时对象已被声明。

------------------------------------------------------------------------------------------------------

三合成原则

如果发现某一个类需要显式定义以下函数中的某一个：

1. 析构函数 2. 拷贝（复制）构造函数 3. 赋值运算符函数

那么，另外的两个函数，也必须要显式定义。因为涉及到了堆空间的创建与销毁。

------------------------------------------------------------------------------------------------------

 operator new和operator delete函数的重载版本（以适用于类使用），其他数据类型的new和delete还是用的系统给的库函数。

void *operator new(size_t sz)

{

　　void *ret = malloc(sz);

　　return ret;

}

void operator delete(void *pointer)

{

　　free(pointer);

}

------------------------------------------------------------------------------------------------------

要求一个类只能创建堆对象：

解决方案：

1、析构函数私有化

2、定义一个成员函数回收对象

要求一个类只能创建栈对象：

解决方案：将operator new/delete 放在private区域即可。

 ------------------------------------------------------------------------------------------------------

单例模式：

第一步：构造函数私有化（如果是public的话会被外部无限调用，不符合要求）

第二步：定义一个私有的静态数据成员指针，指向单例对象

第三步：定义一个静态成员函数，返回值为类指针。