396-C++内存管理（1-10）

1、类的对象存储空间？

• 非静态成员的数据类型大小之和；
• 编译器加入的额外成员变量（如指向虚函数表的指针）；
• 为了边缘对齐优化加入的padding；

空类(无非静态数据成员)的对象的size为1, 当作为基类时, size为0。

2、简要说明C++的内存分区

C++中的内存分区，分别是堆、栈、自由存储区、全局/静态存储区、常量存储区和代码区。

如下图所示：

栈： 在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限

堆： 就是那些由 new分配的内存块，他们的释放编译器不去管，由我们的应用程序去控制，一般一个new就要对应一个 delete。如果程序员没有释放掉，那么在程序结束后，操作系统会自动回收

自由存储区： 如果说堆是操作系统维护的一块内存，那么自由存储区就是C++中通过new和delete动态分配和释放对象的抽象概念。需要注意的是，自由存储区和堆比较像，但不等价。

全局/静态存储区： 全局变量和静态变量被分配到同一块内存中，在以前的C语言中，全局变量和静态变量又分为初始化的和未初始化的，在C++里面没有这个区分了，它们共同占用同一块内存区，在该区定义的变量若没有初始化，则会被自动初始化，例如int型变量自动初始为0。

常量存储区： 这是一块比较特殊的存储区，这里面存放的是常量，不允许修改。

代码区： 存放函数体的二进制代码。

3、可以说一下你了解的C++得内存管理吗？

在C++中，内存分成5个区，他们分别是堆、栈、全局/静态存储区和常量存储区和代码区。

• 栈，在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限。
• 堆，就是那些由new分配的内存块，他们的释放编译器不去管，由我们的应用程序去控制，一般一个new就要对应一个delete。如果程序员没有释放掉，那么在程序结束后，操作系统会自动回收。
• 全局/静态存储区，内存在程序编译的时候就已经分配好，这块内存在程序的整个运行期间都存在。它主要存放静态数据（局部static变量，全局static变量）、全局变量和常量。
• 常量存储区，这是一块比较特殊的存储区，他们里面存放的是常量字符串，不允许修改。
• 代码区，存放程序的二进制代码

4、C++中类的数据成员和成员函数内存分布情况

C++类是由结构体发展得来的，所以他们的成员变量（C语言的结构体只有成员变量）的内存分配机制是一样的。

下面我们以类来说明问题，如果类的问题通了，结构体也也就没问题啦。 类分为成员变量和成员函数，我们先来讨论成员变量。

一个类对象的地址就是类所包含的这一片内存空间的首地址，这个首地址也就对应具体某一个成员变量的地址。（在定义类对象的同时这些成员变量也就被定义了）

举个例子：

#include <iostream>
using namespace std;

class Person
{
public:
    Person()
    {
        this->age = 23;
    }
    void printAge()
    {
        cout << this->age <<endl;
    }
    ~Person(){}
public:
    int age;
};

int main()
{
    Person p;
    cout << "对象地址："<< &p <<endl;
    cout << "age地址："<< &(p.age) <<endl;
    cout << "对象大小："<< sizeof(p) <<endl;
    cout << "age大小："<< sizeof(p.age) <<endl;
    return 0;
}
//输出结果
//对象地址：0x7fffec0f15a8
//age地址：0x7fffec0f15a8
//对象大小：4
//age大小：4

从代码运行结果来看，对象的大小和对象中数据成员的大小是一致的；

也就是说，成员函数不占用对象的内存。这是因为所有的函数都是存放在代码区的，不管是全局函数，还是成员函数。

静态成员函数的存放问题：

静态成员函数与一般成员函数的唯一区别就是没有this指针，因此不能访问非静态数据成员。

所有函数都存放在代码区，静态函数也不例外。

5、关于this指针你知道什么？全说出来

• this指针是类的指针，指向对象的首地址。
• this指针只能在成员函数中使用，在全局函数、静态成员函数中都不能用this。
• this指针只有在成员函数中才有定义，且存储位置会因编译器不同有不同存储位置。

this指针的用处：

• 一个对象的this指针并不是对象本身的一部分，不会影响 sizeof(对象) 的结果。
• this作用域是在类内部，当在类的非静态成员函数中访问类的非静态成员的时候（全局函数，静态函数中不能使用this指针），编译器会自动将对象本身的地址作为一个隐含参数传递给函数。

this指针的使用：

• 在类的非静态成员函数中返回类对象本身的时候，直接使用 return *this；
• 当形参名与成员变量名相同时用于区分，如this->n = n （不能写成n = n）\

类的this指针有以下特点：

• this只能在成员函数中使用，全局函数、静态函数都不能使用this。实际上，传入参数为当前对象地址，成员函数第一个参数为为T * const this

例如：

class A{public:	int func(int p){}};

其中，func的原型在编译器看来应该是：

int func(A * const this,int p);

• 由此可见，this在成员函数的开始前构造，在成员函数的结束后清除。这个生命周期同任何一个函数的参数是一样的，没有任何区别。

当调用一个类的成员函数时，编译器将类的指针作为函数的this参数传递进去。如：

A a;a.func(10);//此处，编译器将会编译成：A::func(&a,10);

看起来和静态函数没差别，对吗？不过，区别还是有的。编译器通常会对this指针做一些优化，因此，this指针的传递效率比较高，例如VC通常是通过ecx（计数寄存器）传递this参数的。

6、几个this指针的易混问题

6.1、 this指针是什么时候创建的？

this在成员函数的开始执行前构造，在成员的执行结束后清除。

6.2、this指针存放在何处？堆、栈、全局变量，还是其他？

• this指针会因编译器不同而有不同的放置位置。

• 可能是栈，也可能是寄存器，甚至全局变量。

• 在汇编级别里面，一个值只会以3种形式出现：立即数、寄存器值和内存变量值。不是存放在寄存器就是存放在内存中，它们并不是和高级语言变量对应的。

6.3、this指针是如何传递类中的函数的？绑定？还是在函数参数的首参数就是this指针？

大多数编译器通过ecx（寄数寄存器）寄存器传递this指针。

在call之前，编译器会把对应的对象地址放到eax中。this是通过函数参数的首参来传递的。

this指针在调用之前生成。

类在实例化时，只分配类中的变量空间，并没有为函数分配空间。

6.4、this指针是如何访问类中的变量的？

this指针指向对象内存模型的首地址，指针偏移访问！

6.5、我们只有获得一个对象后，才能通过对象使用this指针。如果我们知道一个对象this指针的位置，可以直接使用吗？

• this指针只有在成员函数中才有定义。

• 因此，你获得一个对象后，也不能通过对象使用this指针。

• 所以，我们无法知道一个对象的this指针的位置（只有在成员函数里才有this指针的位置）。当然，在成员函数里，你是可以知道this指针的位置的（可以通过&this获得），也可以直接使用它。

6.5、每个类编译后，是否创建一个类中函数表保存函数指针，以便用来调用函数？

• 普通的类函数（不论是成员函数，还是静态函数）都不会创建一个函数表来保存函数指针。
• 只有虚函数才会被放到函数表中。
• 即使是虚函数，如果编译期就能明确知道调用的是哪个函数，编译器就不会通过函数表中的指针来间接调用，而是会直接调用该函数。
• 正是由于this指针的存在，用来指向不同的对象，从而确保不同对象之间调用相同的函数可以互不干扰。

7、内存泄漏的后果？如何监测？解决方法？

内存泄漏：

• 内存泄漏是指由于疏忽或错误造成了程序未能释放掉不再使用的内存的情况。
• 内存泄漏并非指内存在物理上消失，而是应用程序分配某段内存后，由于设计错误，失去了对该段内存的控制；

后果：

• 只发生一次小的内存泄漏可能不被注意，但泄漏大量内存的程序将会出现各种证照：性能下降到内存逐渐用完，导致另一个程序失败；

如何排除：

• 使用工具软件BoundsChecker，BoundsChecker是一个运行时错误检测工具，它主要定位程序运行时期发生的各种错误；
• 调试运行DEBUG版程序，运用以下技术：CRT(C run-time libraries)、运行时函数调用堆栈、内存泄漏时提示的内存分配序号(集成开发环境OUTPUT窗口)，综合分析内存泄漏的原因，排除内存泄漏。

解决方法：

• 智能指针。

8、在成员函数中调用delete this会出现什么问题？对象还可以使用吗？

• 在类对象的内存空间中，只有数据成员和虚函数表指针，并不包含代码内容，类的成员函数单独放在代码段中。
• 在调用成员函数时，隐含传递一个this指针，让成员函数知道当前是哪个对象在调用它。
• 当调用delete this时，类对象的内存空间被释放。
• 在delete this之后进行的其他任何函数调用，只要不涉及到this指针的内容，都能够正常运行。
• 一旦涉及到this指针，如操作数据成员，调用虚函数等，就会出现不可预期的问题。

10、为什么是不可预期的问题？

• delete this之后释放了类对象的内存空间，这段内存应该已经还给系统，不再属于这个进程。
• delete this释放了类对象的内存空间，但是内存空间却并不是马上被回收到系统中，可能是缓冲或者其他什么原因，导致这段内存空间暂时并没有被系统收回。
• 此时这段内存是可以访问的，你可以加上100，加上200，但是其中的值却是不确定的。
• 当你获取数据成员，可能得到的是一串很长的未初始化的随机数；访问虚函数表，指针无效的可能性非常高，造成系统崩溃。

10、如果在类的析构函数中调用delete this，会发生什么？

会导致堆栈溢出。

• delete的本质是“为将被释放的内存调用一个或多个析构函数，然后，释放内存”。
• delete this会去调用本对象的析构函数，而析构函数中又调用delete this，形成无限递归，造成堆栈溢出，系统崩溃。