解析主题
- 运行时的内存布局
- 分配与释放
- 内存对齐
- 内存溢出及解决
运行时的内存布局
分配/释放
参考链接
- 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字节,说明底层实现一直,地址映射结果是完全相邻的并且可以预见的。
结论:自由存储区 等于 堆
内存对齐
为什么要进行内存对齐?,
链接
- 平台移植
- 提升访问效率
- 提高内存利用率
怎么修改内存对齐参数?
通过使用编译器提供的#pragma pack (value)时的指定对齐值value,一般有1/2/4/8几个值
但注意,对齐参数按照,如下公式:
对齐到的字节数 = min{当前指定的pack值,最大成员大小}
所以,如果默认为4字节对齐,而指定pack为8字节,依然按照4字节对齐
重点参考文章:
关注问题
- 为什么需要对齐?
- 结构体对齐/位域对齐
- 栈对齐
总结
结构体与位域,考虑变量本身和指定的对齐值;栈上,不考虑本身大小,全部统一对齐到4字节。
解决疑点
- 为什么链表结构体,一定是指针,如果不是指针,在内存上就是无限嵌套,相当于定义了一个无限大内存的结构体,这是不允许的
内存溢出及解决