C/C++内存分配

解析主题

1. 运行时的内存布局
2. 分配与释放
3. 内存对齐
4. 内存溢出及解决

运行时的内存布局

---

  [Linux]C程序的运行内存布局

分配/释放

---

参考链接

1. C++内存分配方式详解——堆、栈、自由存储区、全局/静态存储区和常量存储区，链接

验证：C/C++内存分配方式——参考代码

//main.cpp   

int a = 0; 全局初始化区   

char *p1; 全局未初始化区   

main()   

{   

   int b; //栈   

   char s[] = "abc"; //栈   

   char *p2; //栈   

   char *p3 = "123456"; //123456在常量区，p3在栈上。   

   static int c =0;     //全局（静态）初始化区   

   p1 = (char *)malloc(10);   

   p2 = (char *)malloc(20);//分配得来得10和20字节的区域就在堆区。   

   strcpy(p1, "123456");   //123456放在常量区，编译器可能会将它与p3所指向的"123456"优化成一个地方。

}

根据注释并结合elf文件与进程内存的映射关系，即可理解全部。

C++自由存储区是否等价于堆？， 链接

验证：C++自由存储区与堆的关系（实际验证malloc与new的关系）——参考代码（已在win和linux平台验证）

main()

{

    char *p11 = (char*)malloc(sizeof(char));

    char *p22 = new char;

    cout << (int)p11 << "\n"

        << (int)p22 << "\n";

}

发现：p11与p22指针指向地址相邻为4字节，说明底层实现一直，地址映射结果是完全相邻的并且可以预见的。

结论：自由存储区 等于 堆

内存对齐

---

为什么要进行内存对齐？， 链接

1. 平台移植
2. 提升访问效率
3. 提高内存利用率

怎么修改内存对齐参数？

通过使用编译器提供的#pragma pack (value)时的指定对齐值value，一般有1/2/4/8几个值

但注意，对齐参数按照，如下公式：

对齐到的字节数 = min{当前指定的pack值，最大成员大小}

所以，如果默认为4字节对齐，而指定pack为8字节，依然按照4字节对齐

重点参考文章：

1. C语言字节对齐问题详解，链接
2. The Lost Art of C Structure Packing，链接（非常多例子，且有填充前后的示意图）

关注问题

1. 为什么需要对齐？
2. 结构体对齐/位域对齐
3. 栈对齐

总结

    结构体与位域，考虑变量本身和指定的对齐值；栈上，不考虑本身大小，全部统一对齐到4字节。

解决疑点

1. 为什么链表结构体，一定是指针，如果不是指针，在内存上就是无限嵌套，相当于定义了一个无限大内存的结构体，这是不允许的

内存溢出及解决

---