c++内存分区、创建变量开辟内存

本文详细介绍了编程中代码区、常量区、静态区和堆栈区的区别,以及变量在各区域的存储与生命周期。通过实例演示和内存分区特点验证,帮助理解内存管理的关键概念和操作技巧。

一、代码区、全局区(静态区,常量区)、堆区

  • 代码区:存放函数体的二进制代码,由操作系统进行管理的

  • 全局区:存放全局变量和静态变量以及常量

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

  • 堆区:由程序员分配和释放,若程序员不释放,程序结束时由操作系统回收

内存四区意义:

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

二、代码区、常量区、静态区(全局区)、堆区、栈区

代码区:

存放程序的代码,即CPU执行的机器指令,并且是只读的。


常量区:

存放常量(程序在运行的期间不能够被改变的量,例如: 10,字符串常量”abcde”, 数组的名字等)


静态区(全局区):

静态变量和全局变量的存储区域是一起的,一旦静态区的内存被分配, 静态区的内存直到程序全部结束之后才会被释放


堆区:

由程序员调用malloc()函数来主动申请的,需使用free()函数来释放内存,若申请了堆区内存,之后忘记释放内存,很容易造成内存泄漏


栈区:

存放函数内的局部变量,形参和函数返回值。栈区之中的数据的作用范围过了之后,系统就会回收自动管理栈区的内存(分配内存 , 回收内存),不需要开发人员来手动管理。栈区就像是一家客栈,里面有很多房间,客人来了之后自动分配房间,房间里的客人可以变动,是一种动态的数据变动。

在栈上创建数组时,不能使用含有变量的表达式,如:int a[x+2];错误

原因:在栈上创建数组时编译器编译的时候就需要在栈上分配内存,可是有了变量以后,编译器就无法知道该分配多大的内存空间,故编译器会报错。但是定义一般变量如:int a;编译器会自动识别 int 占多大内存分配给他。

对比:如果是动态创建数组时(也就是在堆上创建数组时)可以出现变量如:new a [x+1];正确;
原因:在堆上创建数组时,编译器不会在编译的时候为它分配内存,而是在程序运行的时候为它分配内存,我们可以知道,程序运行时变量的值就会明确是多少,故动态创建数组时可以出现变量;

堆里的是动态数组,是程序运行过程中动态加载的,而栈不一样,申请数组必须要是确定大小的的数字,在编译时就要确定下来,如果你const int x=7就不会报错
参考链接:https://www.jianshu.com/p/a447e9d1b14f
 

三、图解

 个人理解:

1.执行程序的时候,先将代码放到代码区,然后一步一步的执行。

2.遇到变量,看看变量数据什么类型,就在对象的区域开辟内存,存入数据。

3.每个区域都有各自的特点,需要向什么样的内存里存储就向什么区里存储。

四、创建变量

int a = 10;
int * b = &a;

1.创建整型变量,先开辟4个字节的空间,存储 10。

2.变量对照表 对应位置保存地址。(使用变量的话,根据地址找到对应的值)

3.创建指针类型的变量,先开辟4个字节的空间,存储 地址使用,存的是a变量里的地址。

4.变量对照表 对应位置保存地址。

变量对照表(虚拟出来的,便于理解)

五、代码演示

#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地址为: " << (int)&a << endl;
	cout << "局部变量b地址为: " << (int)&b << endl;

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

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

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

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

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

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

	system("pause");

	return 0;
}

 六、内存分区特点验证

1.栈内存里的数据,比如函数内的局部变量,函数执行完,变量地址就不能再调用

#include <iostream>

using namespace std;

int * test01(){
	int a = 10;
	int * b = &a;
	return b;
	
} 
int main() {
	int *c = test01();
	cout <<"输出函数内的内存地址:"<< *c <<endl;
	cout <<"输出函数内的内存地址:"<< *c <<endl;
	return 0;
}

 2.堆内存的数据,需要手动创建,手动删除

#include <iostream>

using namespace std;

int * test01(){
	//int a = 10;
	//int a = new int(10);
	int * b = new int(10);//堆内存创建整数 
	return b;
	
}

int main() {
	int *c = test01();
	cout <<"输出函数内的内存地址:"<< *c <<endl;
	cout <<"输出函数内的内存地址:"<< *c <<endl;
	delete c;//删除堆内存的数据 
	cout <<"输出函数内的内存地址:"<< *c <<endl;
	return 0;
}

注意:

使用new创建的数据,返回的是对象地址,应该用指针接收。

<think> 我们正在讨论C++开辟内存的方法和相关知识。 根据引用[2]和引用[3],C++中动态内存开辟通常使用new和delete操作符,它们比C语言的malloc、calloc、realloc等更适用于C++,因为它们能够自动调用构造函数和析构函数。 引用[4]则说明了静态变量内存开辟是在数据段(静态区),与普通的局部变量在栈区不同。 用户之前的问题是关于静态变量,现在转向动态内存开辟。因此,我们需要将两者联系起来,并详细说明C++内存开辟的方式。 主要内容包括: 1. C++内存分区:栈、堆、数据段(静态区)等。 2. 静态变量和全局变量内存开辟(在数据段)。 3. 动态内存开辟:使用new和delete,以及它们在堆上的操作。 4. 与C语言动态内存函数的对比。 根据引用,我们需要强调: - 引用[4]:静态变量存放在数据段(静态区),生命周期直到程序结束。 - 引用[2]:C++中new和delete的优势在于对自定义类型的处理(自动调用构造和析构函数)。 - 引用[3]:展示了使用new和delete[]分配和释放数组内存的示例。 因此,回答结构如下: 一、C++内存布局概述 二、静态内存开辟(静态变量和全局变量) 三、动态内存开辟(new/delete) 1. 基本类型 2. 数组类型 3. 自定义类型 四、与C语言动态内存函数的比较 五、注意事项(内存泄漏、匹配使用等) 最后生成相关问题。 注意:按照要求,数学公式用$...$或$$...$$,引用标记[^x]。 </think> ### C++ 内存开辟详解 C++ 内存开辟包含 **静态内存分配**(编译时)和 **动态内存分配**(运行时)两类核心机制,存储位置和行为特征如下: #### 一、内存分区与特性 | 分区 | 存储内容 | 生命周期 | 特点 | |--------------|-----------------------|----------------------|--------------------------| | **栈区** | 局部变量、函数参数 | 作用域结束自动释放 | 高效但容量有限 | | **堆区** | `new/malloc` 动态分配 | 需手动释放 | 大容量、灵活但需管理[^2] | | **数据段** | 全局/静态变量 | 程序结束释放 | 含`.data`(已初始化)和`.bss`(未初始化)[^4] | | **代码段** | 程序指令 | 程序结束释放 | 只读 | ```mermaid graph LR A[内存布局] --> B[栈区: 自动管理] A --> C[堆区: new/malloc开辟] A --> D[数据段: 全局/静态变量] A --> E[代码段: 程序指令] ``` --- #### 二、静态内存分配(编译时) 通过变量声明自动分配,无需手动释放: 1. **全局变量** ```cpp int globalVar; // .bss段(未初始化) const int kSize = 10; // .data段(已初始化) ``` 2. **静态变量** ```cpp void func() { static int count = 0; // 数据段分配,程序结束销毁[^4] count++; } ``` --- #### 三、动态内存分配(运行时) 需显式申请和释放,使用 `new/delete`(C++)或 `malloc/free`(C): ##### 1. C++ 风格:`new/delete` - **基本类型** ```cpp int* p = new int(42); // 分配并初始化为42 delete p; // 释放单对象 ``` - **数组类型** ```cpp int* arr = new int[10]{0}; // 分配10个int的数组并初始化为0 delete[] arr; // 释放数组[^3] ``` - **自定义类型** ```cpp class MyClass {...}; MyClass* obj = new MyClass(); // 调用构造函数 delete obj; // 调用析构函数 ``` ##### 2. C 风格:`malloc/free` ```cpp int* p = (int*)malloc(sizeof(int)*10); // 分配40字节 free(p); // 释放但不调用析构函数[^1] ``` ##### 3. 关键对比 | 特性 | `new/delete` | `malloc/free` | |--------------|---------------------------|----------------------| | 初始化 | 调用构造函数 | 仅分配原始内存 | | 类型安全 | 是 | 需强制类型转换 | | 内存不足 | 抛出`std::bad_alloc` | 返回`NULL` | | 重载支持 | 可重载操作符 | 不可重载 | --- #### 四、核心技术细节 1. **定位 new** 在指定内存位置构造对象: ```cpp char buffer[100]; MyClass* obj = new (buffer) MyClass(); // 在buffer上构造 obj->~MyClass(); // 显式调用析构函数 ``` 2. **智能指针(C++11+)** 自动管理堆内存: ```cpp #include <memory> std::unique_ptr<int> p1(new int(10)); // 独占所有权 std::shared_ptr<int> p2 = std::make_shared<int>(20); // 共享所有权 ``` 3. **内存泄漏检测** - Valgrind 工具 - 重载 `new/delete` 跟踪分配 --- #### 五、最佳实践与风险 1. **匹配使用原则** - `new` → `delete` - `new[]` → `delete[]` - `malloc` → `free` 2. **常见错误** ```cpp // 错误示例:混合使用导致未定义行为 int* p = new int[10]; free(p); // 错误!应使用 delete[] // 错误示例:二次释放 delete p; delete p; // 程序崩溃 ``` 3. **线程安全** 动态内存分配需同步机制: ```cpp std::mutex mtx; void alloc() { std::lock_guard<std::mutex> lock(mtx); int* p = new int(100); delete p; } ``` ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值