关于引用不能为空的问题

强迫症专用头像 2011-07-22 09:40:41
引用与指针最主要的三个区别：
1、引用必须初始化
2、引用不能为空
3、引用指向一个变量后，他指向的对象不会再发生改变

举例如下：
1
int& a;//错误，必须初始化
int n;
int& b = n;//正确

2
char* p = NULL;
char& q = *p;//错误，引用不能为空

3
int a;
int b;
int& m = a;
m = b;//此时m仍然指向a，m = b相当于a = b，a的值被修改

1、3两点能够理解，但是关于第二点，因为p为NULL，所以取值*p会有问题，感觉这是指针的特性，不是引用的特性啊，更神奇的是char* p = NULL;char& q = *p;这两句在vs2005下编译运行都能通过，char* p = NULL;char& q = *p;char r = *p;这三句在vs2005下能编译通过，运行时在char r = *p处崩溃。给我的感觉是引用能够为空，牛人来解释下？
...全文
1236 16 打赏 收藏 转发到动态 举报
写回复
用AI写文章
16 条回复
切换为时间正序
请发表友善的回复…
发表回复
强迫症专用头像 2011-07-22
  • 打赏
  • 举报
 回复
[Quote=引用 13 楼 sdupoplar 的回复:]
引用其实在汇编层就是一个指针，直接用和作为函数参数都是如此，但是指针以后可以改值，引用改不了，引用为空了后，使用的话，和使用空指针一样。我反汇编了下，VC6下，release版优化了，不好看，debug版汇编代码如下：
C源码如下：

C/C++ code

#include <stdio.h>

int main()
{
char* p = NULL;
……
[/Quote]
你的例子相当好啊，精彩之极，追加一些分数给你吧。
总结引用与指针区别如下：
1、引用必须初始化
2、不能引用空指针指向的值//可以引用空指针，但是请慎用，详见10楼
3、引用总是指向在初始化时被指定的对象

结贴
强迫症专用头像 2011-07-22
  • 打赏
  • 举报
 回复
[Quote=引用 12 楼 yucarl 的回复:]
编译时能通过 不代表运行时不崩溃！
[/Quote]
兄弟要认证看帖啊
CrySleeper 2011-07-22
  • 打赏
  • 举报
 回复


[Quote=引用 3 楼 pengzhixi 的回复:]

标准说这样做的行为未定义
甚至 char*p=NULL; char*&ref=p;都是不好的代码。
[/Quote]
这个代码哪里不好?
sdupoplar 2011-07-22
  • 打赏
  • 举报
 回复
引用其实在汇编层就是一个指针，直接用和作为函数参数都是如此，但是指针以后可以改值，引用改不了，引用为空了后，使用的话，和使用空指针一样。我反汇编了下，VC6下，release版优化了，不好看，debug版汇编代码如下：
C源码如下：


#include <stdio.h>



int main()

{

	char* p = NULL;	

	char& q = *p;



	p = new char;

	*p = 'c';

	

	printf("%c\n", q);





	//char r = *p;



	return 0;

}


对应汇编如下：


_TEXT	SEGMENT

_p$ = -4

_q$ = -8

$T587 = -12

_main	PROC NEAR					; COMDAT



; 4    : {



	push	ebp

	mov	ebp, esp

	sub	esp, 76					; 0000004cH

	push	ebx

	push	esi

	push	edi

	lea	edi, DWORD PTR [ebp-76]

	mov	ecx, 19					; 00000013H

	mov	eax, -858993460				; ccccccccH

	rep stosd



; 5    : 	char* p = NULL;	



	mov	DWORD PTR _p$[ebp], 0



; 6    : 	char& q = *p;



	mov	eax, DWORD PTR _p$[ebp]

	mov	DWORD PTR _q$[ebp], eax



; 7    : 

; 8    : 	p = new char;



	push	1

	call	??2@YAPAXI@Z				; operator new

	add	esp, 4

	mov	DWORD PTR $T587[ebp], eax

	mov	ecx, DWORD PTR $T587[ebp]

	mov	DWORD PTR _p$[ebp], ecx



; 9    : 	*p = 'c';



	mov	edx, DWORD PTR _p$[ebp]

	mov	BYTE PTR [edx], 99			; 00000063H



; 10   : 	

; 11   : 	printf("%c\n", q);



	mov	eax, DWORD PTR _q$[ebp]

	movsx	ecx, BYTE PTR [eax]

	push	ecx

	push	OFFSET FLAT:??_C@_03BNAH@?$CFc?6?$AA@	; `string'

	call	_printf

	add	esp, 8



; 12   : 

; 13   : 

; 14   : 	//char r = *p;

; 15   : 

; 16   : 	return 0;



	xor	eax, eax



; 17   : }



	pop	edi

	pop	esi

	pop	ebx

	add	esp, 76					; 0000004cH

	cmp	ebp, esp

	call	__chkesp

	mov	esp, ebp

	pop	ebp

	ret	0

_main	ENDP


C代码如下：


#include <stdio.h>



int main()

{

	char* p = NULL;		



	p = new char;

	*p = 'c';



	char& q = *p;

	printf("%c\n", q);





	//char r = *p;



	return 0;

}


对应汇编如下：


_TEXT	SEGMENT

_p$ = -4

_q$ = -8

$T587 = -12

_main	PROC NEAR					; COMDAT



; 4    : {



	push	ebp

	mov	ebp, esp

	sub	esp, 76					; 0000004cH

	push	ebx

	push	esi

	push	edi

	lea	edi, DWORD PTR [ebp-76]

	mov	ecx, 19					; 00000013H

	mov	eax, -858993460				; ccccccccH

	rep stosd



; 5    : 	char* p = NULL;	



	mov	DWORD PTR _p$[ebp], 0



; 6    : 

; 7    : 	p = new char;



	push	1

	call	??2@YAPAXI@Z				; operator new

	add	esp, 4

	mov	DWORD PTR $T587[ebp], eax

	mov	eax, DWORD PTR $T587[ebp]

	mov	DWORD PTR _p$[ebp], eax



; 8    : 	*p = 'c';



	mov	ecx, DWORD PTR _p$[ebp]

	mov	BYTE PTR [ecx], 99			; 00000063H



; 9    : 

; 10   : 	char& q = *p;



	mov	edx, DWORD PTR _p$[ebp]

	mov	DWORD PTR _q$[ebp], edx



; 11   : 	printf("%c\n", q);



	mov	eax, DWORD PTR _q$[ebp]

	movsx	ecx, BYTE PTR [eax]

	push	ecx

	push	OFFSET FLAT:??_C@_03BNAH@?$CFc?6?$AA@	; `string'

	call	_printf

	add	esp, 8



; 12   : 

; 13   : 

; 14   : 	//char r = *p;

; 15   : 

; 16   : 	return 0;



	xor	eax, eax



; 17   : }



	pop	edi

	pop	esi

	pop	ebx

	add	esp, 76					; 0000004cH

	cmp	ebp, esp

	call	__chkesp

	mov	esp, ebp

	pop	ebp

	ret	0

_main	ENDP
Ace丶双鱼 2011-07-22
  • 打赏
  • 举报
 回复
编译时能通过 不代表运行时不崩溃！
强迫症专用头像 2011-07-22
  • 打赏
  • 举报
 回复
[Quote=引用 5 楼 bdmh 的回复:]
null指针不能被解引用为一个对象，所以不能被引用
[/Quote]
这句说得也有歧义，null指针是可以引用的，null指针指向的值是不能引用的
pengzhixi 2011-07-22
  • 打赏
  • 举报
 回复
我担心的是
char*p=NULL;
char*&h=p;
*h='b';
这样写代码。
强迫症专用头像 2011-07-22
  • 打赏
  • 举报
 回复
[Quote=引用 7 楼 afreet2006 的回复:]
char* p = NULL;　//没有创建对象 其指向的地址为　0x00000000 　至少在VS2005上是这样
char& q = *p;//错误，引用不能为空 //引用应该指向一个确定的地址空间

个人理解
[/Quote]
这里q是char不是char*，“引用应该指向一个确定的地址空间“这句话我感觉挺别扭，你看char*p=NULL; char*&ref=p;虽然是不好的代码，但它能很好的运行：
char* p = NULL;
char& q = *p;
//char r = *p;
char* &h = p;//h == NULL
h = "123";
至善者善之敌 2011-07-22
  • 打赏
  • 举报
 回复
[Quote=引用 4 楼 wzx19840423 的回复:]
引用 1 楼 pengzhixi 的回复:
in particular, a null reference cannot exist in a well-defined program, because the only way to create such a reference would be to bind it to the “object” obtained by dereferen……
[/Quote]

哈哈
afreet2006 2011-07-22
  • 打赏
  • 举报
 回复
char* p = NULL;　//没有创建对象 其指向的地址为　0x00000000 　至少在VS2005上是这样
char& q = *p;//错误，引用不能为空 //引用应该指向一个确定的地址空间

个人理解

强迫症专用头像 2011-07-22
  • 打赏
  • 举报
 回复
那我是不是能这样理解：
不能引用NULL指针指向的值，因为NULL指针指向的值标准未定义？感觉引用不能为空这句话太含糊了，似乎应该说“不能引用空指针指向的值”
bdmh 2011-07-22
  • 打赏
  • 举报
 回复
null指针不能被解引用为一个对象，所以不能被引用
强迫症专用头像 2011-07-22
  • 打赏
  • 举报
 回复
[Quote=引用 1 楼 pengzhixi 的回复:]
in particular, a null reference cannot exist in a well-defined program, because the only way to create such a reference would be to bind it to the “object” obtained by dereferencing a null pointer,whi……
[/Quote]
一个空引用，尤其是不能存在于一个明确的计划，因为只有这样，才能创造出这样一个参考，将其绑定到解引用一个空指针的“对象”，这将导致未定义的行为。

你看google翻译多龊。。。
pengzhixi 2011-07-22
  • 打赏
  • 举报
 回复
标准说这样做的行为未定义
甚至 char*p=NULL; char*&ref=p;都是不好的代码。
强迫症专用头像 2011-07-22
  • 打赏
  • 举报
 回复
[Quote=引用 1 楼 pengzhixi 的回复:]
in particular, a null reference cannot exist in a well-defined program, because the only way to create such a reference would be to bind it to the “object” obtained by dereferencing a null pointer,whi……
[/Quote]
牛哥，说中文吧
pengzhixi 2011-07-22
  • 打赏
  • 举报
 回复
in particular, a null reference cannot exist in a well-defined program, because the only way to create such a reference would be to bind it to the “object” obtained by dereferencing a null pointer,which causes undefined behavior.
Java对象与对象引用高级知识精讲
1、学习本课程，同学们将接触到以下知识点：  a、JVM中和对象结果、对象存储相关的知识。  b、Java中的CAS、AQS、JUC相关集合的使用案例、JVM中的常量池  c、如果使用图形化或者非图形化工具，监控JVM的运行情况，并干预JVM的运行  d、如何监控JVM中有多少明细的对象信息，原本抽象的JVM堆内存结构在本课程介绍的监控程序中将被具体化  e、实战讲解不同对象引用类型的适用场景，本课程还将纠正网络上，针对对象引用场景的错误描述。2、总的来说本课程围绕Java中对象这一关键要素，讲述其机构远离、创建过程、工作环境，以及如何进行监控。虽然本节课涉及的单一知识点都可以在网络找到相关资料，但是将这些知识点串联起来，并进行因果关系的讲述，在全网是找不到相似课程的。3、理解JVM监控工具方式、理解JVM对象结构和引用方式，包括扩展理解本课程中关于CAS、AQS、JUC的知识点，是同学们能正确进行Java高并发场景下编程的根基，至少同学们不会再犯“在局部变量使用JUC集合”这样的错误。4、本课程导师会针对课程中的知识点，进行实时答疑。同学们可以采用直接在课程下留言等方式，提出问题并等待解答。留言的付费同学，还可以不定期参加导师的赠书活动。
解决VS2019取消对空指针的引用问题，以及空指针报错问题
解决VS2019取消对空指针的引用的警告问题，以及空指针报错问题 取消对空指针的引用警告 这个警告一般是在我们动态开辟了一块内存，并用指针指向这块新开辟的内存时出现，目前我遇到的都是这样，解决办法是在后面加一个判断，如果这个这个指针指向空，就退出这个函数，即return掉。代码像下面这样： ...... p=(struct LNode *)malloc(sizeof(struct LNode));//p是一个指针 if(p==NULL)//加入这个判断，警告会消失 return NULL; ......
C++ 中“空引用”与“空指针”的区别
网络上有很多讨论C++ 的“引用”与“指针“的区别的文章，谈到区别，其中有一条：“引用不能为空（NULL），引用必须与合法的存储单元关联，指针则可以是NULL）”，但在实际应用中，有时候为了保持一致性，我们会抛开这个规则，人为创造出一个“空引用”。 很多情况下，“空引用”确实可以工作，以致于“引用不能为空”的忠告，被嘲笑为形式主义，仅仅是标准制定者的耸人听闻。一个“空引用”的例子是： int
【合作】总是弹出"不能为空"的提示
在做组合查询时，不同的条件下，要判断不同的框"不能为空"，在上一篇博客中说了如何判读文本框和组合框不能为空的问题，感觉这下就简单了，直接定义不能为空的控件数组，再调用方法就OK啦，可以省去很多MessageBox的使用。但是想的越简单越是出问题，具体如下：         【知识点】         组合查询中如何判读文本框和组合框是否为空，引用判读是否为空的方法确实简单，根据不同的条件，判读
空指针引用故障（空指针解引用）
C语言中的指针机制使得它灵活高效，但由于指针操作不当产生的动态内存错误也有很多，比如内存泄漏(Memory Leakage)、内存的重复释放、空指针解引用(NullPointer Dereference)。 其中空指针引用故障，也叫空指针解引用是一类普遍存在的内存故障，是程序设计语言中一类常见的动态内存错误。指针变量可以指向堆地址、静态变量和空地址单元 。当指针指向无效内存地址时对其引用,有可能...
C++ 语言

64,639

社区成员

250,578

社区内容

发帖
与我相关
我的任务
社区描述
C++ 语言相关问题讨论，技术干货分享，前沿动态等
c++ 技术论坛（原bbs）
社区管理员
  • C++ 语言社区
  • encoderlee
  • paschen
加入社区
  • 近7日
  • 近30日
  • 至今

加载中

查看更多榜单
社区公告
  1. 请不要发布与C++技术无关的贴子
  2. 请不要发布与技术无关的招聘、广告的帖子
  3. 请尽可能的描述清楚你的问题，如果涉及到代码请尽可能的格式化一下

试试用AI创作助手写篇文章吧

+ 用AI写文章