【C++核心】C++内存分区模型分析

简介: 这篇文章详细解释了C++程序执行时内存的四个区域:代码区、全局区、栈区和堆区,以及如何在这些区域中分配和释放内存。

C++程序在执行时,将内存大方向划分为4个区域

  • 代码区:存放函数体的二进制代码,由操作系统进行管理的
  • 全局区:存放全局变量静态变量以及常量
  • 栈区:由编译器自动分配释放,存放函数的参数值,局部变量等
  • 堆区由程序员分配和释放,若程序员不释放,程序结束时由操作系统回收

内存四区意义: 不同区域存放的数据,赋予不同的生命周期, 给我们更大的灵活编程

1. 程序运行前

​ 在程序编译后,生成了exe可执行程序,未执行该程序前分为两个区域

代码区: 存放 CPU 执行的机器指令,

1、代码区是 共享 的,共享的目的是对于频繁被执行的程序,只需要在内存中有一份代码即可
2、代码区是只读的,使其只读的原因是防止程序意外地修改了它的指令

全局区: 全局变量和静态变量存放在此.

全局区还包含了常量区, 字符串常量和其他常量也存放在此。该区域的数据在程序结束后由操作系统释放.

示例:

#include<iostream>
using namespace std;

//全局变量
int g_a = 10;
int g_b = 10;

//全局常量
const int c_g_a = 10;
const int c_g_b = 10;

int main() {
   

    //局部变量
    int a = 10;
    int b = 10;

    //打印地址
    cout << "局部变量a地址为: " << &a << endl;
    cout << "局部变量b地址为: " << &b << endl;

    cout << "全局变量g_a地址为: " <<  &g_a << endl;
    cout << "全局变量g_b地址为: " <<  &g_b << endl;

    //静态变量
    static int s_a = 10;
    static int s_b = 10;

    cout << "静态变量s_a地址为: " << &s_a << endl;
    cout << "静态变量s_b地址为: " << &s_b << endl;

    cout << "字符串常量地址为: " << &"hello world" << endl;
    cout << "字符串常量地址为: " << &"hello world1" << endl;

    cout << "全局常量c_g_a地址为: " << &c_g_a << endl;
    cout << "全局常量c_g_b地址为: " << &c_g_b << endl;

    const int c_l_a = 10;
    const int c_l_b = 10;
    cout << "局部常量c_l_a地址为: " << &c_l_a << endl;
    cout << "局部常量c_l_b地址为: " << &c_l_b << endl;

    return 0;
}

执行结果为:

局部变量a地址为: 0x309764408
局部变量b地址为: 0x309764404
全局变量g_a地址为: 0x1029720c0
全局变量g_b地址为: 0x1029720c4
静态变量s_a地址为: 0x1029720c8
静态变量s_b地址为: 0x1029720cc
字符串常量地址为: 0x10296deb7
字符串常量地址为: 0x10296dec3
全局常量c_g_a地址为: 0x10296df4c
全局常量c_g_b地址为: 0x10296df50
局部常量c_l_a地址为: 0x309764400
局部常量c_l_b地址为: 0x3097643fc

总结:

  • C++中在程序运行前分为全局区和代码区
  • 代码区特点是共享和只读
  • 全局区中存放全局变量、静态变量、常量
  • 常量区中存放 const修饰的全局常量 和 字符串常量

2. 程序运行后

栈区: 由编译器自动分配释放, 存放函数的参数值,局部变量等

注意事项:不要返回局部变量的地址,栈区开辟的数据由编译器自动释放

示例:

#include<iostream>
using namespace std;

int * func()
{
   
    int a = 10;
    return &a;
}

int main() {
   

    int *p = func();

    cout << *p << endl;
    cout << *p << endl;

    return 0;
}

堆区: 由程序员分配释放,若程序员不释放,程序结束时由操作系统回收,在C++中主要利用new在堆区开辟内存。

示例:

#include<iostream>
using namespace std;

int* func()
{
   
    int* a = new int(10);
    return a;
}

int main() {
   
    int *p = func();

    cout << *p << endl;
    cout << *p << endl;

    return 0;
}

总结:

  • 堆区数据由程序员管理开辟和释放
  • 堆区数据利用new关键字进行开辟内存

3. new操作符

C++中利用new操作符在堆区开辟数据,堆区开辟的数据,由程序员手动开辟,手动释放,释放利用操作符 delete

​ 语法:new 数据类型

​ 利用new创建的数据,会返回该数据对应的类型的指针

案例1: 基本语法

#include<iostream>
using namespace std;

int* func()
{
   
    int* a = new int(10);
    return a;
}

int main() {
   
    int *p = func();

    cout << *p << endl;
    cout << *p << endl;

    //利用delete释放堆区数据
    delete p;

    //cout << *p << endl; //报错,释放的空间不可访问

    return 0;
}

案例2:开辟数组

#include<iostream>
using namespace std;

//堆区开辟数组
int main() {
   

    int* arr = new int[10];

    for (int i = 0; i < 10; i++)
    {
   
        arr[i] = i + 100;
    }

    for (int i = 0; i < 10; i++)
    {
   
        cout << arr[i] << endl;
    }
    //释放数组 delete 后加 []
    delete[] arr;

    return 0;
}
相关文章
|
11月前
|
存储 弹性计算 缓存
阿里云服务器ECS经济型、通用算力、计算型、通用和内存型选购指南及使用场景分析
本文详细解析阿里云ECS服务器的经济型、通用算力型、计算型、通用型和内存型实例的区别及适用场景,涵盖性能特点、配置比例与实际应用,助你根据业务需求精准选型,提升资源利用率并降低成本。
649 3
|
7月前
|
Java 大数据 Go
从混沌到秩序:Java共享内存模型如何通过显式约束驯服并发?
并发编程旨在混乱中建立秩序。本文对比Java共享内存模型与Golang消息传递模型,剖析显式同步与隐式因果的哲学差异,揭示happens-before等机制如何保障内存可见性与数据一致性,展现两大范式的深层分野。(238字)
205 4
|
7月前
|
设计模式 缓存 Java
【JUC】(4)从JMM内存模型的角度来分析CAS并发性问题
本篇文章将从JMM内存模型的角度来分析CAS并发性问题; 内容包含:介绍JMM、CAS、balking犹豫模式、二次检查锁、指令重排问题
193 1
|
10月前
|
存储 人工智能 自然语言处理
AI代理内存消耗过大?9种优化策略对比分析
在AI代理系统中,多代理协作虽能提升整体准确性,但真正决定性能的关键因素之一是**内存管理**。随着对话深度和长度的增加,内存消耗呈指数级增长,主要源于历史上下文、工具调用记录、数据库查询结果等组件的持续积累。本文深入探讨了从基础到高级的九种内存优化技术,涵盖顺序存储、滑动窗口、摘要型内存、基于检索的系统、内存增强变换器、分层优化、图形化记忆网络、压缩整合策略以及类操作系统内存管理。通过统一框架下的代码实现与性能评估,分析了每种技术的适用场景与局限性,为构建高效、可扩展的AI代理系统提供了系统性的优化路径和技术参考。
675 4
AI代理内存消耗过大?9种优化策略对比分析
|
10月前
|
安全 C语言 C++
比较C++的内存分配与管理方式new/delete与C语言中的malloc/realloc/calloc/free。
在实用性方面,C++的内存管理方式提供了面向对象的特性,它是处理构造和析构、需要类型安全和异常处理的首选方案。而C语言的内存管理函数适用于简单的内存分配,例如分配原始内存块或复杂性较低的数据结构,没有构造和析构的要求。当从C迁移到C++,或在C++中使用C代码时,了解两种内存管理方式的差异非常重要。
338 26
|
9月前
|
人工智能 边缘计算 自然语言处理
普通电脑也能跑AI:10个8GB内存的小型本地LLM模型推荐
随着模型量化技术的发展,大语言模型(LLM)如今可在低配置设备上高效运行。本文介绍本地部署LLM的核心技术、主流工具及十大轻量级模型,探讨如何在8GB内存环境下实现高性能AI推理,涵盖数据隐私、成本控制与部署灵活性等优势。
8550 0
普通电脑也能跑AI:10个8GB内存的小型本地LLM模型推荐
|
11月前
|
C语言 C++
c与c++的内存管理
再比如还有这样的分组: 这种分组是最正确的给出内存四个分区名字:栈区、堆区、全局区(俗话也叫静态变量区)、代码区(也叫代码段)(代码段又分很多种,比如常量区)当然也会看到别的定义如:两者都正确,记那个都选,我选择的是第一个。再比如还有这样的分组: 这种分组是最正确的答案分别是 C C C A A A A A D A B。
193 1
|
存储 人工智能 编解码
TripoSF:3D建模内存暴降80%!VAST AI新一代模型细节狂飙82%
TripoSF 是 VAST AI 推出的新一代 3D 基础模型,采用创新的 SparseFlex 表示方法,支持 1024³ 高分辨率建模,内存占用降低 82%,在细节捕捉和复杂结构处理上表现优异。
484 10
TripoSF:3D建模内存暴降80%!VAST AI新一代模型细节狂飙82%
|
存储 Linux C语言
C++/C的内存管理
本文主要讲解C++/C中的程序区域划分与内存管理方式。首先介绍程序区域,包括栈(存储局部变量等,向下增长)、堆(动态内存分配,向上分配)、数据段(存储静态和全局变量)及代码段(存放可执行代码)。接着探讨C++内存管理,new/delete操作符相比C语言的malloc/free更强大,支持对象构造与析构。还深入解析了new/delete的实现原理、定位new表达式以及二者与malloc/free的区别。最后附上一句鸡汤激励大家行动缓解焦虑。
|
存储 Java
课时4:对象内存分析
接下来对对象实例化操作展开初步分析。在整个课程学习中,对象使用环节往往是最棘手的问题所在。
136 4