【C++基础编程(一)】内存分区、引用、函数重载

C++学习：核心编程

1 内存分区模型

C++执行时，内存大致分为4个区域：

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

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

• 栈区：由编译器自动分配释放，存放函数的参数值、局部变量等

• 堆区：由程序员分配和释放，若程序员不释放，则程序结束时由操作系统释放

内存四区的意义：

不同区域存放的数据拥有不同的生命周期，使编程更为灵活

1.1 程序运行前

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

1. 代码区：

   存放CPU执行的机器指令；

   代码区是共享的，共享的目的是对于频繁被执行的程序，只需要在内存中有一份代码即可；

   代码区是只读的，使其只读的原因是防止程序意外地修改了它的指令

2. 全局区：

   全局变量和静态变量存放在此；

   全局区还包含了常量区，字符串常量和其他常量(包括由const修饰的变量)也都存放在此；

   该区域的数据在程序结束后由操作系统释放；

   //全局区存放全局变量、字符串常量和其他常量
   
   //创建全局变量
   int global_a = 10;
   
   //const修饰的全局变量（全局常量）
   const int c_g_a;
   
   int main(){
   	//创建普通局部变量
   	int local_a = 10;
   	
   	//创建静态变量 在普通变量前加static即可
   	static int static_a = 10;
   	
   	//常量
   	//1. 字符串常量
   	cout<<"字符串常量的地址为"<<(int)&"Hello world"<<endl;
   	//2. const修饰的变量
   	//const修饰的全局变量、const修饰的局部变量(局部常量)
   	const int c_l_a;
   	
   }
   
   

   1、不在全局区

   局部变量

   局部常量

   2、全局区

   变量区

   全局变量

   静态变量

   常量区

   字符串常量

   全局常量

总结：

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

1.2 程序运行后

栈(Stack)区：

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

不要返回局部变量的地址，栈区的数据由编译器自动管理开辟、在函数执行后自动释放

堆(Heap)区：

由程序员分配释放，若程序员不释放，程序结束时由操作系统回收

在C++中主要使用new在堆区开辟内存

指针本质是局部变量，其本身存放在栈上，其所指向的数据存放在堆区

1.3 new操作符

C++中使用new操作符在堆区开辟数据

堆区开辟的数据由程序员手动开辟、手动释放，释放使用操作符delete

语法：

开辟一个数据：

数据类型 * 指针名 = new 数据类型(数据)

释放语法：delete 指针名

开辟一个数组：

数据类型 * 指针名 = new 数据类型[数组长度]

new返回的是该数据的指针

释放语法：delete[] 指针名

2 引用

2.1 引用的基本使用

作用：给变量起别名

语法：数据类型 &别名 = 原名

• 引用必须初始化

  int &b;//错误写法

• 引用在初始化之后不可以更改引用(可以通过赋值改变值)

  int &b = a; //初始化

  int&b = c;//错误，初始化后不能更改引用

2.2 引用做函数参数(引用传递)

作用：函数传参时，可以用引用的方法让形参修饰实参

优点：简化指针修改实参

2.3 引用做函数返回值

• 不要返回局部变量(栈区)引用，但是可以返回静态局部变量(全局区)的引用

用法：函数返回值可以调用为左值(进行赋值)

2.4 引用的本质

引用在C++内部其实是通过一个指针常量(指向不可改、但值可以改)来实现的

//发现是引用 转换为int * const ref = &a;
void func(int & ref){
	ref = 100;//ref是引用，转换成*ref = 100;
}
int main(){
	int a = 10;
	//自动转化为int * const ref = &a;指针常量
	int& ref = a;
	ref = 20;//内部发现ref是引用，自动转化为 *ref = 20;
	func(a);
	return 0;
}

C++中更推荐引用技术，因为语法方便，引用本质是指针常量，但是所有的指针操作都由编译器代替程序员完成

2.5 常量引用

它把它所指向的对象看作是常量（不一定是常量），因此不可以通过该引用来修改它所指向的对象的值。

使用场景：修饰形参防止误操作

int a = 10;
int & ref = a; //合法
int & ref = 10;//非法,引用必须引一块合法的内存空间

const int & ref = 10;//合法，加上const之后，编译器将代码修改成以下形式：int temp = 10; const int &ref = temp;(常指针常量)
//相当于常量引用会为传入变量提供一份临时的内存空间

ref = 20;//非法，加入const之后ref变为只读，不可修改

• 引用常量对象时需要使用常量引用，而非普通的引用
• 常量引用可以指向一个非常量对象，但是不允许通过该引用修改非常量对象的值（常量引用仅对引用可参与的操作做出了限定，对于引用的对象本身是不是常量则并没有做出限定）
• • 引用：引用的类型必须和所引用对象的类型严格匹配，且不能与某个字面值或表达式的计算结果绑定在一起(不允许普通引用指向一个临时变量)；
  • 常量引用：只要所引用的类型可以被转换成常量引用的类型即可引用，e.g: double dval = 3.14; const int &ref = dval;是合法的，这种情况下编译器会自动创建临时变量来完成操作，意味着引用的地址和原dval并不相同。允许为一个常量引用绑定一个非常量的对象、字面值或一般表达式。

3 函数

3.1 函数默认参数

C++中，函数的形参列表中的形参是可以有默认值的，如果自行传入数据，那么就使用传入的实参，否则使用默认的参数

语法：返回值类型 函数名 (参数 = 默认值) {}

注意：

1. 如果某个位置已经有默认参数，则这个位置后面的位置(从左往右)都必须有默认参数
2. 如果函数的声明有默认参数，函数的实现就不能有默认参数

3.2 函数占位参数

C++中函数的形参列表里可以有用于做占位的占位参数，调用函数时必须填补该位置

语法：返回值类型 函数名 (数据类型){}

//函数占位参数，占位参数也可以有默认参数
void func(int a, int){
//void func(int a, int = 10){     //占位参数有默认参数
	cout<<"this is func"<<endl;
}
int main(){
	func(10, 10);//调用时占位参数必须被填补
	//func(10);占位参数有默认参数
	
	system("pause");
}

3.3 函数重载

**作用：**函数名可以相同，提高复用性

函数重载满足的条件：

• 在同一个作用域(如 全局作用域)下
• 函数名称相同
• 函数参数类型不同，或者个数不同或者顺序不同

函数的返回值不可以作为函数重载的条件(重载函数的返回值类型必须相同)

函数重载的注意事项：

• 引用作为重载条件

  //正常的引用和常量引用可以看作是两种不同的参数类型
  void func(int &a){}
  void func(const int &a){}
  
  //调用int &a为参数的函数
  int a = 10;
  func(a);
  
  //调用const int &a为参数的函数（指向普通引用不能作用的对象上）
  func(10);
  

• 函数重载碰到默认参数

  此时容易出现二义性报错，只能尽量避免这种情况

  void func(int a, int b = 10){}
  void func(int a){}
  
  func(10, 20) //合法，调用第一个函数
  func(10)//非法，二义性