C++值传递、指针传递、引用传递

1、指针和数组的相关知识

    指针变量用于存放内存地址，指针变量的大小是固定的，与系统字长相对应，在32位系统中，指针变量通常占用4个字节，在64位系统中，指针变量通常占用8个字节。
    一维数组的数组名就是首元素的地址，arr与&arr[0]等价。但是有两个特例，
    (1)、&arr表示取整个数组的地址；
    (2)、sizeof(arr)表示取整个数组的大小。

int arr[5] = {1,2,3,4,5};

cout << sizeof(arr[0]) << endl;		//输出arr[0]的大小
cout << sizeof(arr) << endl;    	//输出整个数组的大小
cout << &arr[0] << endl;        	//arr[0]的地址
cout << &arr <<endl;            	//输出整个数组的地址
cout << &arr + 1 <<endl;			

    输出结果为

4
20
0x61fe00
0x61fe00
0x61fe14	//0x61fe00基础上加了20个字节，即一个数组的大小

2、值传递

    在值传递中，形参是实参的拷贝，改变形参的值并不会影响外部实参的值。从被调用函数的角度来说，值传递是单向的（实参->形参），参数的值只能传入，不能传出。

void myprint(vector<int> nums){
	for(int i = 0; i < nums.size(); i++){
    	nums[i]++;
    	cout << nums[i] << " ";
	}
}

int main(){

	vector<int> arr = {1,2,3,4,5};

	cout << "myprint: " << endl;
	myprint(arr);

	cout << endl <<"No myprint: " << endl;
	for(int i = 0; i < arr.size(); i++){ 
    	cout << arr[i] << " ";
	}

	return 0;
}

输出结果为

myprint: 
2 3 4 5 6
No myprint:
1 2 3 4 5

    在C++中，函数参数通过值来传递，当函数被调用时，函数的参数值被拷贝到一个新的内存位置，即栈帧中的参数区。栈帧是每个函数在运行时所拥有的用于存储局部变量和函数调用信息的内存区域。

    对于基本数据类型（如整数、浮点数等），拷贝是直接的，将参数的值复制到函数栈帧中的参数区。对于较大的复杂数据结构（如数组、对象、结构体等），通常会在栈中创建一个副本，并将副本的内容初始化为与原始对象相同。

    栈上的内存通常是临时的，当函数返回时，栈上的内存会自动被释放，包括函数参数的拷贝副本。

    因此，即使在函数内部对参数进行修改，不会影响原始的参数值。

3、指针传递

    当将一个指针作为参数传递给函数时，实际上传递的是指向数据的地址。当对形参的指向操作时，就相当于对实参本身进行的操作。

void myprint(vector<int>* nums){
	for(int i = 0; i < nums->size(); i++){
    	(*nums)[i]++;   //nums[i]自增1
    	cout << (*nums)[i] << " ";
	}
}
int main(){

	vector<int> arr = {1,2,3,4,5};

	cout << "myprint: " << endl;
	myprint(&arr);

	cout << endl <<"No myprint: " << endl;
	for(int i = 0; i < arr.size(); i++){ 
    	cout << arr[i] << " ";
	}

	return 0;
}

    输出结果为

myprint: 
2 3 4 5 6
No myprint:
2 3 4 5 6

    同样的，函数传递参数为指针时，进程会在栈中创建指针副本nums，拷贝指针参数arr的地址存储在nums中，但nums指向的数据可能存储在堆上或者栈上，取决于数据是如何创建的。如果指针指向的是在函数外部创建的数据（如全局变量、动态分配的内存等），那么数据通常存储在堆上。如果指针指向的是在函数内部创建的局部变量，那么数据存储在栈上。

    由于nums中存储的是地址，在函数体内对nums的地址操作，就是对arr的地址操作，二者之间没有区别，同样会影响原始的数据。并且，当myprint函数返回时，进程同样会释放nums。

4、引用传递

4.1、什么是引用？

    “&”在C语言中是取地址符，通过"&a"可以获得变量a的地址，然而在C++中，"&"除了可以用作取地址符，还有另一个用途——引用。

    引用是一种特殊的类型，它提供了对已存在对象的别名，操作一个变量的引用也就相当于操作变量本身。在 C++ 中，引用的底层实现主要是通过指针来完成的，可以将引用看作是对指针的一种封装。在编译时，编译器会根据一些内部方法对引用进行转化，这种转化可以理解为，在代码中对引用的操作会被转换为对被引用变量的内存单元数据的直接操作。因此，可以认为引用是不占用存储单元的，因为对引用的操作，就是对被引用变量的直接操作。

4.2、引用的使用方法

    虽然引用的底层是指针，但是经过了层层封装和转化，引用在语法上与指针有很大区别。

    引用的声明方法：[类型标识符] &[引用名]=[目标变量名]

int a; int &ra=a; //定义引用ra,它是变量a的引用，即别名

引用在声明时就必须对它进行初始化。

int val_1 = 7, val_2 = 10;
int &refval_1 = val_1, &refval_2 = val_2;
refval_1 = 10;
cout << val_1 << " " << val_2 << endl;

这段代码的输出为"10 10"，这是因为对引用refval_1的操作即是对val_1本身的操作，所以val_1的值发生了改变。

在以上代码中，可以对refval_1进行重新赋值，对val_1的数据进行修改，但是"refval_1 = refval_2"则不行，这在C++中是非法的，因为引用一旦进行初始化之后，不能再改变其指向。

4.3、引用传递

    当将一个引用作为参数传递给函数时，对引用进行操作时，就相当于直接对被引用对象的内存数据进行操作。

void myprint(vector<int>& nums){
	for(int i = 0; i < nums.size(); i++){
    	nums[i]++;   //nums[i]自增1
    	cout << nums[i] << " ";
	}
}
int main(){
	
	vector<int> arr = {1,2,3,4,5};

	cout << "myprint: " << endl;
	myprint(arr);

	cout << endl <<"No myprint: " << endl;
	for(int i = 0; i < arr.size(); i++){ 
    	cout << arr[i] << " ";
	}

	return 0;
}

    输出结果为

myprint: 
2 3 4 5 6
No myprint:
2 3 4 5 6

可以观察到，myprint函数内对引用nums的操作是对被引用变量arr的直接操作，而且是对arr的内存直接进行操作，因此在myprint函数体内，nums不会占用栈的存储空间。