指针和引用

从概念上讲。指针从本质上讲就是存放变量地址的一个变量,在逻辑上是独立的,它可以被改变,包括其所指向的地址的改变和其指向的地址中所存放的数据的改变。
而引用是一个别名,它在逻辑上不是独立的,它的存在具有依附性,所以引用必须在一开始就被初始化,而且其引用的对象在其整个生命周期中是不能被改变的(自始至终只能依附于同一个变量)。
在C++中,指针和引用经常用于函数的参数传递,然而,指针传递参数和引用传递参数是有本质上的不同的:
指针传递参数本质上是值传递的方式,它所传递的是一个地址值。值传递过程中,被调函数的形式参数作为被调函数的局部变量处理,即在栈中开辟了内存空间以存放由主调函数放进来的实参的值,从而成为了实参的一个副本。值传递的特点是被调函数对形式参数的任何操作都是作为局部变量进行,不会影响主调函数的实参变量的值。
而在引用传递过程中,被调函数的形式参数虽然也作为局部变量在栈中开辟了内存空间,但是这时存放的是由主调函数放进来的实参变量的地址。被调函数对形参的任何操作都被处理成间接寻址,即通过栈中存放的地址访问主调函数中的实参变量。正因为如此,被调函数对形参做的任何操作都影响了主调函数中的实参变量。
引用传递和指针传递是不同的,虽然它们都是在被调函数栈空间上的一个局部变量,但是任何对于引用参数的处理都会通过一个间接寻址的方式操作到主调函数中的相关变量。而对于指针传递的参数,如果改变被调函数中的指针地址,它将影响不到主调函数的相关变量。如果想通过指针参数传递来改变主调函数中的相关变量,那就得使用指向指针的指针,或者指针引用。
为了进一步加深大家对指针和引用的区别,下面我从编译的角度来阐述它们之间的区别:
程序在编译时分别将指针和引用添加到符号表上,符号表上记录的是变量名及变量所对应地址。指针变量在符号表上对应的地址值为指针变量的地址值,而引用在符号表上对应的地址值为引用对象的地址值。符号表生成后就不会再改,因此指针可以改变其指向的对象(指针变量中的值可以改),而引用对象则不能修改。
最后,总结一下指针和引用的相同点和不同点:
★相同点:
●都是地址的概念;
指针指向一块内存,它的内容是所指内存的地址;而引用则是某块内存的别名。
★不同点:
●指针是一个实体,而引用仅是个别名;
●引用只能在定义时被初始化一次,之后不可变;指针可变;引用“从一而终”,指针可以“见异思迁”;
●引用没有const,指针有const,const的指针不可变;
●引用不能为空,指针可以为空;
●“sizeof 引用”得到的是所指向的变量(对象)的大小,而“sizeof 指针”得到的是指针本身的大小;
●指针和引用的自增(++)运算意义不一样;
●引用是类型安全的,而指针不是 (引用比指针多了类型检查
<think>嗯,用户想了解指针引用的区别,特别是在编程语言中的比较。首先,我需要回忆一下自己学过的知识,可能涉及C++、Go等语言。记得指针是一个变量,存储的是另一个变量的内存地址,而引用是别名,必须初始化后不能改变目标。不过不同语言可能有差异,比如在C++Go中的处理可能不同。 根据提供的引用内容,引用[1][4]提到指针可以重新赋值,可以为空,而引用必须初始化且不能改变。引用[2]提到汇编层面引用类似指针,但语法上更安全。引用[3]则讨论了Go中的指针内存管理,还提到newmake的区别。需要整合这些信息,分点说明区别。 用户可能想知道不同语言的情况,比如C++Go的区别。需要比较初始化、空值、操作方式、内存管理等方面。另外,用户的问题可能隐含实际应用中的选择,比如何时用指针,何时用引用。需要结合例子说明,比如在C++中传递参数时,引用更安全,而指针更灵活。 要注意用户提到的不可见指令,比如数学公式要用$...$,但这里可能不太涉及。回答结构要清晰,分点列出区别,可能用表格更直观。然后给出使用场景,帮助用户理解何时选择哪种。最后生成相关问题,引导进一步学习。 需要确认引用标注是否正确,每个区别点对应相应的引用来源。比如初始化部分引用[4],底层实现引用[2]。同时注意语法正确,比如代码示例用反引号包裹,单独成段。可能还需要指出不同编程语言中的差异,比如Go的指针C++引用有何不同。 总结下来,需要从定义、初始化、空值、操作、内存、多级、参数传递等方面展开,每个点对比指针引用,并给出示例代码,最后总结使用场景相关问题。</think>### 指针引用的区别详解 #### 一、核心差异对比 | 特性 | 指针 (Pointer) | 引用 (Reference) | |---------------------|----------------------------------------|---------------------------------------| | **定义与本质** | 存储变量内存地址的独立变量[^1] | 变量的别名,不占用独立存储空间[^4] | | **初始化要求** | 可以声明后不初始化(危险操作) | 必须声明时初始化且不可更改绑定对象[^4] | | **空值合法性** | 允许赋值为`nullptr`或`NULL`[^4] | 不能绑定空值 | | **操作方式** | 需使用`*`解引用操作符访问目标 | 直接操作目标变量,无额外符号[^2] | | **内存管理** | 可参与动态内存分配(如`new/delete`) | 仅关联已存在的变量 | | **多级间接访问** | 支持多级指针(如`int** pp`) | 仅单层引用 | | **参数传递语义** | 显式传递地址(需`&`取地址符) | 隐式传递对象本身(语法更简洁)[^1] | #### 二、底层实现与语言差异 1. **汇编层面** 引用在底层通过指针实现,但编译器会添加语法限制(如不可重新绑定)[^2]。 例如以下C++代码: ```cpp int a = 10; int& ref = a; // 编译后等效于 int* const ref = &a; ref = 20; // 编译后等效于 *ref = 20; ``` 2. **Go语言的特殊性** - Go指针无算术运算能力,更安全[^3] - Go引用类型(如`slice/map/channel`)必须用`make`初始化[^3] ```go // Go指针示例 var p *int a := 10 p = &a // 合法 p++ // 非法:Go禁止指针算术运算 ``` #### 三、使用场景建议 1. **优先使用引用** - 函数参数传递需要修改原对象时(避免空指针风险) - 运算符重载实现(如`operator=`) ```cpp void swap(int& a, int& b) { // 安全且直观的参数传递 int tmp = a; a = b; b = tmp; } ``` 2. **必须使用指针** - 需要动态内存分配(如链表节点) - 需要表示可选参数(允许`nullptr`) - 需要多级间接访问 ```cpp TreeNode* CreateTree() { TreeNode* node = new TreeNode(); // 动态内存分配 return node; } ``` #### 四、经典易错示例 ```cpp int* p; // 危险:未初始化的野指针 int& ref; // 错误:引用必须初始化 int* p = nullptr; *p = 10; // 运行时错误:空指针引用 int& ref = *p; // 错误:绑定到空指针目标 ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值