C++程序在执行时,将内存大方向划分为4个区域
-
代码区:存放函数体的二进制代码,由操作系统进行管理的
-
全局区:存放全局变量和静态变量以及常量
-
栈区:由编译器自动分配释放, 存放函数的参数值,局部变量等
-
堆区:由程序员分配和释放,若程序员不释放,程序结束时由操作系统回收
在程序编译后,生成了exe可执行程序,未执行该程序前分为两个区域
代码区:
存放 CPU 执行的机器指令
代码区是共享的,共享的目的是对于频繁被执行的程序,只需要在内存中有一份代码即可
代码区是只读的,使其只读的原因是防止程序意外地修改了它的指令
全局区:
全局变量和静态变量存放在此.
全局区还包含了常量区, 字符串常量和其他常量也存放在此.
这里的其他常量指const修饰的全局变量不包含const修饰的局部变量
该区域的数据在程序结束后由操作系统释放.
程序运行后分为栈区和堆区
栈区:
由编译器自动分配释放, 存放函数的参数值,局部变量等
注意事项:不要返回局部变量的地址,栈区开辟的数据由编译器自动释放,释放后,返回的地址存放的东西不确定。
堆区:
由程序员分配释放,若程序员不释放,程序结束时由操作系统回收
程序员手动释放堆区数据时使用delete关键字
在C++中主要利用new在堆区开辟内存
因此上述局部变量的地址开辟在栈区时,被自动释放后不能作操作,但若将其用new关键字存放在堆区,则程序运行期间不会被自动释放,可以对其操作。
存放在栈区,两次cout输出不一致
int * func()
{
int a = 10;
return &a;
}
int main() {
int *p = func();
cout << *p << endl;
cout << *p << endl;
system("pause");
return 0;
}
存放在堆区,两次输出结果一致
int* func()
{
int* a = new int(10);
return a;
}
int main() {
int *p = func();
cout << *p << endl;
cout << *p << endl;
system("pause");
return 0;
}
引用
值传递不会改变外部实参,地址传递和引用传递都可以改变外部实参。
//1. 值传递
void mySwap01(int a, int b)
值传递相当于复制了一份另外的外部实参a和b送入到函数内部。
//2. 地址传递
void mySwap02(int* a, int* b)
//3. 引用传递
void mySwap03(int& a, int& b)
注意事项
这里同样不能返回局部变量的引用,普通局部变量存放在堆区,在使用完后就自动释放了。
引用的本质是一个指针常量(即初始化后,指向不能改变,指向的内容可以改变)
int a = 10;
//自动转换为 int* const ref = &a; 指针常量是指针指向不可改,也说明为什么引用不可更改
int& ref = a;
ref = 20; //内部发现ref是引用,自动帮我们转换为: *ref = 20;
常量引用,即在原始引用的基础上加const修饰,此时引用相当于常量指针常量,其指向和指向的内容都不可修改,其使用场景常常用来限制函数的形参不能改变实参,如:
//引用使用的场景,通常用来修饰形参
void showValue(const int& v) {
//v += 10;//v不可改变
cout << v << endl;
}