写在最前面:本文主要内容转自:C++引用传递与指针传递的区别
再次向大佬致敬!
C++中引用传递与指针传递的区别
**
在交换两个变值的swap函数中,实现两个实参值的改变
既可以用引用
来实现,又可以用指针传递
来实现,二者的区别,将在本文中进行讨论。
先说结论,简单概括如下:
指针传递:变量
(形参本身),独立,可变,可空,替身,无类型检查;
引用传递:别名
(形参本身),依赖,不变,非空,本体,有类型检查;
具体介绍如下:
1. 概念
指针从本质上讲是一个变量,变量的值是另一个变量的地址,指针
在逻辑上是独立的,它可以被改变的,包括指针变量的值(所指向的地址)和指针变量的值对应的内存中的数据(所指向地址中所存放的数据)
。
引用
从本质上讲是一个别名
,是另一个变量的同义词
,它在逻辑上不是独立的,它的存在具有依附性
,所以引用必须
在一开始就被初始化(先有这个变量,这个实物,这个实物才能有别名),而且其引用的对象在其整个生命周期中不能被改变(指的是其依附的对象不能改变,并不是指原对象的值不可以改变
),即自始至终只能依附于同一个变量
(初始化的时候代表的是谁的别名,就一直是谁的别名,不能变)。
2. C++中的指针参数传递和引用参数传递
指针参数
传递本质上是值传递
(传值方式
),它所传递的是一个地址值
。值传递过程中,被调函数的形式参数作为被调函数的局部变量处理,会在栈中开辟内存空间以存放由主调函数传递进来的实参值,从而形成了实参的一个副本(替身)
。值传递的特点是,被调函数对形式参数的任何操作都是作为局部变量
进行的,不会影响主调函数的实参变量的值(注意!这里说的值是指实参指针自身的地址不变,但是该指针指向的内容有可能会发生改变(解引用操作时对形参指针的操作会引起实参指针所指向的内容发生改变
))。
指针传递的例子如下:
void f( int*p){
printf("\n%x",&p);//保存变量p内容的内存单元的地址
printf("\n%x",p);//变量p的内容
printf("\n%x\n",*p);//变量p内容(一个地址)所指向的内存单元的内容
#解引用操作。
*p=0xff;
}
void main()
{
int a=0x10;
printf("\n%x",&a);
printf("\n%x\n",a);
f(&a);
printf("\n%x\n",a);
}
运行结果如下:
整个转化过程的原理示意如下图所示:
引用传递的例子如下:
void f( int & p){
printf("\n%x",&p);
printf("\n%x",p);
p=0xff;
}
void main()
{
int a=0x10;
printf("\n%x",&a);
printf("\n%x\n",a);
f(a);
printf("\n%x\n",a);
}
运行结果如下:
整个转化过程的原理示意如下图所示:
引用参数
传递过程中,被调函数的形式参数也作为局部变量在栈中开辟了内存空间,但是这时存放的是由主调函数放进来的实参变量的地址
(传址方式
)。被调函数对形参(本体)的任何操作都被处理成间接寻址,即通过栈中存放的地址访问主调函数中的实参变量(根据别名找到主调函数中的本体)。因此,被调函数对形参的任何操作都会影响主调函数中的实参变量
。
引用传递和指针传递是不同的,虽然他们都是在被调函数栈空间
上的一个局部变量
,但是任何对于引用参数的处理都会通过一个间接寻址的方式操作到主调函数中的相关变量
。而对于指针传递的参数,如果改变被调函数中的指针地址
,它将应用不到主调函数的相关变量。如果想通过指针参数传递来改变主调函数中的相关变量(地址
),那就得使用指向指针的指针或者指针引用。
从编译的角度来讲,程序在编译时分别将指针和引用添加到符号表上,符号表
中记录的是变量名
及变量所对应地址
。指针变量在符号表上对应的地址值为指针变量的地址值(指针自身的地址),而引用在符号表上对应的地址值为引用对象的地址值(与实参名字不同,地址相同)。符号表生成之后就不会再改,因此指针可以改变其指向的对象(指针变量中的值可以改),而引用对象则不能修改。
3. 总结
相同点:
都是地址的概念
不同点:
指针是一个实体(替身);引用只是一个别名(本体的另一个名字)。
引用只能在定义时被初始化一次,之后不可改变(不能再作为其他实体的别名),即“从一而终”
;指针可以修改(指向其他实体
),即“见异思迁”;
引用不能为空(有本体,才有别名);指针可以为空;
sizeof 引用
,得到的是所指向变量
的大小;sizeof 指针,得到的是指针
的大小;
指针 ++,是指指针的地址自增;引用++是指所指变量自增;
引用是类型安全的,引用过程会进行类型检查;指针不会进行安全检查;