运行栈与函数调用的执行
运行栈工作原理
1.局部变量只有在调用它所在的函数时才会生效,一旦函数返回后就会失效。如果为每个局部变量分配不同的空间,则空间的利用率就会降低
2.当发生递归第哦啊用是,会存在一个函数尚未返回,对他的另一次调用又发生的情况,这些值必须同时保存在内存当中,而且不能相互影响,因此必然有不同的地址。
函数形参的情形,与局部变量非常相似,而需要存在一种特别的结构中,就是栈。
栈:一种数据结构,能够容纳很多数据的容器。
数据只能从栈的一端存入(压入栈),同一段取出(弹出栈),这一端叫做栈顶,另一端叫做栈底。栈中的数据的添加和删除具有“先进后出”的特性。
函数的形参和局部变量,可以用栈来存储,这种栈叫做运行栈。
内存大方向化为4个区域
- 代码区:存放函数体的二进制代码,由操作系统进行管理
- 全局区:存放全局变量、静态变量及常量
- 栈区:由编译器自动分配释放,存放函数的参数值、局部变量
- 堆区:由程序员分配和释放,若程序员不释放,程序结束时由操作系统回收
程序运行前
代码区:1.存放CPU执行的机器指令 2.代码区是共享的(节约内存)3.代码区是只读的(防止意外修改指令)
全局区:1.全局变量和静态变量均存放于此 2.全局区还包括常量区、字符串常量及其他常量 3.该区域数据在程序结束后由操作系统释放
#include<iostream>
using namespace std;
//全局变量
int g_a = 10;
int g_b = 20;
//const修饰的全局变量
const int c_g_a = 10;
const int c_g_b = 10;
int main()
{
//全局区:全局变量、静态变量、常量(字符串常量、全局常量)
//创建普通局部变量
int a = 10;
int b = 20;
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;
//const修饰的变量
cout << "全局常量c_g_a的地址为: " << (int)&c_g_a << endl;
//const 修饰的局部变量
const int c_l_a = 10;//c-const g-global l-local
cout << "局部常量c_l_a的地址为: " << (int)&c_l_a << endl;
system("pause");
}
运行结果:
程序运行后
栈区 1.由编译器自动分配释放,存放函数的参数值,局部变量等
*notes:*不要返回局部变量的地址,栈区开辟的数据由编译器自动释放
#include<iostream>
using namespace std;
//栈区数据注意事项——不要返回局部变量的地址
int* func(int b)//形参也会放在栈区
{
int b=100;
int a = 10;//局部变量(存放在栈区,栈区的数据在函数执行完后自动释放)
return &a;//返回局部变量的地址
}
int main()
{
int * p = func();//接受func函数的返回值
cout << *p << endl;//第一次可以打印正确的数值,是因为编译器做了保留
cout << *p << endl;//第二次数据不再保留
system("pause");
}
运行结果
堆区:1.由程序员分配和释放,若程序员不释放,程序结束时由操作系统回收 2.在C++中主要利用new在堆区开辟内存
#include<iostream>
using namespace std;
int* func()
{
//利用new关键字,可以将数据开辟到堆区
//指针 本质也是局部变量,放在栈上,指针保存的的数据是放在堆区
int *p=new int(10);
return p;
}
int main()
{
//在堆区开辟数据
int* p = func();
cout << *p << endl;
cout << *p << endl;
system("pause");
}
运行结果
**
new操作符
**
c++利用new操作符在堆区开辟数据
堆区开辟的数据,由程序员手动开辟,手动释放,释放利用操作符delete
语法: new 数据类型
利用new创建的数据,会返回对该数据对应的类型的指针
#include<iostream>
using namespace std;
//1.new的基本语法
int* func()
{
//在堆区创建整形数据
//new返回的是该数据类型的指针
int* p = new int(10);
return p;
}
void test01()
{
int* p = func();
cout << *p << endl;
cout << *p << endl;//堆区的数据由程序员管理开辟及释放
//如果想释放堆区的数据,利用关键字delete
delete p;
cout << *p << endl;//内存以及被释放,再次访问即为非法操作
}
//2.在堆区利用new开辟数组
void test02()
{
int* arr = new int[10];//10代表数组有10个元素
for (int i = 0; i < 10; i++)
{
arr[i] = 100 + i;
}
for (int i = 0; i < 10; i++)
{
cout << arr[i] << endl;
}
//释放堆区数组(要加[])
delete[] arr;
}
int main()
{
test01();
test02();
system("pause");
}
运行结果