C++中的指针与引用的定义

发布时间:2021-09-16 18:10:13 作者:chen
来源:亿速云 阅读:148

本篇内容主要讲解“C++中的指针与引用的定义”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让小编来带大家学习“C++中的指针与引用的定义”吧!

1、指针和引用的定义

在深入介绍之前我们首先来看一下指针和引用的定义、指针和引用的区别,然后分别针对指针和引用展开讨论,深入细节为何有这些差异。

In a declaration T D where D has the form *  cv-qualifier-seqopt D1 And the type of the identifier in the declaration  T D1 is “derived-declarator-type-list T”, then the type of the  identifier of D is “derived-declarator-type-list cv-qualifier-seq  pointer to T”. The cv-qualifiers apply to the pointer and not to the  object pointer to.

——摘自《ANSI C++ Standard》

注:可能有些读者并不明白cv-qualifier-seq

CV-qualifiers(CV限定符)

CV-qualifiers有三种:const-qualifier(const限定符)、Volatile-qualifier(volatile限定符)、以及const-volatile-qualifier(const-volatile限定符)。

const类对象的非静态、非mutable、以及非引用数据成员是const-qualified;

volatile类对象的非静态、非引用数据成员是volatile-qualified;

const-volatile类对象的非静态、非引用数据成员是const-volatile-qualified。

当CV-qualifiers用于限定数组类型时,实际上是数组成员被该CV-qualifiers限定,而非该数组类型。

复合类型并不因其成员被CV-qualifier限定而被该CV-qualifier限定,也就是说,即使复合类型的成员有CV-qualifier限定,该复合类型也不是CV-qualified对象。

In a declaration T D where D has the form& D1 And the  type of the identifier in the declaration T D1 is  “derived-declarator-type-list T”, then the type of the identifier of D  is “derived-declarator-type-list cv-qualifier-seq reference to T”.  Cv-qualified references are ill-formed except when the cv-qualifiers are  introduced through the use of a typedef or a template type argument, in  which case the cv-qualifiers are ignored.

——摘自《ANSI C++ Standard》

上面这些定义初看有些难懂,如果是这样的话,那说明你对C++还不够熟悉,你还有很长的路要走。下面用通俗易懂的话来概述一下:

C++中的指针与引用的定义

C++中的指针与引用的定义

2、指针和引用的区别

首先,引用不可以为空,但指针可以为***面也说过了引用是对象的别名,引用为空——对象都不存在,怎么可能有别名!故定义一个引用的时候,必须初 始化。因此如果你有一个变量是用于指向另一个对象,但是它可能为空,这时你应该使用指针;如果变量总是指向一个对象,i.e.,你的设计不允许变量为空, 这时你应该使用引用。如下图中,如果定义一个引用变量,不初始化的话连编译都通不过(编译时错误):

C++中的指针与引用的定义

而声明指针是可以不指向任何对象,也正是因为这个原因,使用指针之前必须做判空操作,而引用就不必。

#include<iostream>  using namespace std;  int main(int argc,char** argv)  {      int i=10;      int& ref=i;      ref++;      cout<<"i="<<i<<endl;      cout<<"ref="<<ref<<endl;      int j=20;      ref=j;      ref++;      cout<<"i="<<i<<endl;      cout<<"ref="<<ref<<endl;      cout<<"j="<<j<<endl;      return 0;  }

对ref的++操作是直接反应到所指变量之上,对引用变量ref重新赋值”ref=j”,并不会改变ref的指向,它仍然指向的是i,而不是j。理所当然,这时对ref进行++操作不会影响到j。而这些换做是指针的话,情况大不相同,请自行实验。输出结果如下:

C++中的指针与引用的定义

C++中的指针与引用的定义

从上面也可以看出:引用比指针使用起来形式上更漂亮,使用引用指向的内容时可以之间用引用变量名,而不像指针一样要使用*;定义引用的时候也不用像指针一样使用&取址。

总而言之,言而总之&mdash;&mdash;它们的这些差别都可以归结为”指针指向一块内存,它的内容是所指内存的地址;而引用则是某块内存的别名,引用不改变指向。”

3、特别之处const

在这里我为什么要提到const关键字呢?因为const对指针和引用的限定是有差别的,下面听我一一到来。

常量指针:指向常量的指针,在指针定义语句的类型前加const,表示指向的对象是常量。

定义指向常量的指针只限制指针的间接访问操作,而不能规定指针指向的值本身的操作规定性。

C++中的指针与引用的定义

常量指针定义”const int* pointer=&a”告诉编译器,*pointer是常量,不能将*pointer作为左值进行操作。

常量引用:指向常量的引用,在引用定义语句的类型前加const,表示指向的对象是常量。也跟指针一样不能利用引用对指向的变量进行重新赋值操作。

C++中的指针与引用的定义

在指针定义语句的指针名前加const,表示指针本身是常量。在定义指针常量时必须初始化!而这是引用天生具来的属性,不用再引用指针定义语句的引用名前加const。

指针常量定义”int* const pointer=&b”告诉编译器,pointer是常量,不能作为左值进行操作,但是允许修改间接访问值,即*pointer可以修改。

C++中的指针与引用的定义

常量指针常量:指向常量的指针常量,可以定义一个指向常量的指针常量,它必须在定义时初始化。常量指针常量定义”const int* const pointer=&c”告诉编译器,pointer和*pointer都是常量,他们都不能作为左值进行操作。

而就不存在所谓的”常量引用常量”,因为跟上面讲的一样引用变量就是引用常量。C++不区分变量的const引用和const变量的引用。程序决不 能给引用本身重新赋值,使他指向另一个变量,因此引用总是const的。如果对引用应用关键字const,起作用就是使其目标称为const变量。即没 有:Const double const& a=1;只有const double& a=1;

总结:有一个规则可以很好的区分const是修饰指针,还是修饰指针指向的数据&mdash;&mdash;画一条垂直穿过指针声明的星号(*),如果const出现在线的左边,指针指向的数据为常量;如果const出现在右边,指针本身为常量。而引用本身与天俱来就是常量,即不可以改变指向。

4、指针和引用的实现

我们利用下面一段简单的代码来深入分析指针和引用:

#include<iostream>  using namespace std;  int main(int argc, char** argv)  {  int i=1;  int& ref=i;  int x=ref;  cout<<"x is "<<x<<endl;  ref=2;  int* p=&i;  cout<<"ref = "<<ref<<", i = "<<i<<endl;  }

上面的代码用g++ test.c编译之后,然后反汇编objdump -d a.out,得到main函数的一段汇编代码如下:

08048714 <main>:  8048714: 55push %ebp  8048715: 89 e5 mov %esp,%ebp  8048717: 83 e4 f0        and $0xfffffff0,%esp//为main函数的参数argc、argv保留位置  804871a: 56            push %esi  804871b: 53            push %ebx  804871c: 83 ec 28        sub $0x28,%esp  804871f: c7 44 24 1c 01 00 00 movl $0x1,0x1c(%esp) //将0x1存到esp寄存器中,即int i=1  8048726: 00  8048727: 8d 44 24 1c  lea 0x1c(%esp),%eax// esp寄存器里的变量i的地址传给eax  804872b: 89 44 24 18    mov %eax,0x18(%esp)//将寄存器eax中的内容(i的地址)传给寄存器中的变量ref,即int& ref=i  804872f: 8b 44 24 18        mov 0x18(%esp),%eax//将寄存器esp中的ref传给eax,即i的地址  8048733: 8b 00        mov (%eax),%eax//以寄存器eax中的值作为地址,取出值给eax 8048735: 89 44 24 14        mov %eax,0x14(%esp) //将寄存器eax中的值传给寄存器esp中的x,即x=ref  8048739: c7 44 24 04 00 89 04     movl $0x8048900,0x4(%esp)  8048740: 08  8048741: c7 04 24 40 a0 04 08    movl $0x804a040,(%esp)  8048748: e8 cb fe ff ff    call 8048618 <_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc@plt>  804874d: 8b 54 24 14    mov 0x14(%esp),%edx  8048751: 89 54 24 04        mov %edx,0x4(%esp)  8048755: 89 04 24        mov %eax,(%esp)  8048758: e8 5b fe ff ff    call 80485b8 <_ZNSolsEi@plt>  804875d: c7 44 24 04 38 86 04    movl $0x8048638,0x4(%esp)  8048764: 08  8048765: 89 04 24        mov %eax,(%esp)  8048768: e8 bb fe ff ff    call 8048628 <_ZNSolsEPFRSoS_E@plt>//从8048739~8048768这些行就是执行"cout<<"x is "<<x<<endl;"  804876d: 8b 44 24 18    mov 0x18(%esp),%eax//将寄存器esp中的ref传到eax中  8048771: c7 00 02 00 00 00    movl $0x2,(%eax) //将0x2存到eax寄存器中  8048777: 8d 44 24 1c        lea 0x1c(%esp),%eax// esp寄存器里的变量i的地址传给eax  804877b: 89 44 24 10    mov %eax,0x10(%esp) //将寄存器eax中的内容(即i的地址)传到寄存器esp中的p  804877f: 8b 5c 24 1c        mov 0x1c(%esp),%ebx  8048783: 8b 44 24 18    mov 0x18(%esp),%eax  8048787: 8b 30        mov (%eax),%esi  8048789: c7 44 24 04 06 89 04    movl $0x8048906,0x4(%esp)  8048790: 08  8048791: c7 04 24 40 a0 04 08    movl $0x804a040,(%esp)  8048798: e8 7b fe ff ff    call 8048618 <_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc@plt>  804879d: 89 74 24 04    mov %esi,0x4(%esp)  80487a1: 89 04 24        mov %eax,(%esp)  80487a4: e8 0f fe ff ff    call 80485b8 <_ZNSolsEi@plt>  80487a9: c7 44 24 04 0d 89 04    movl $0x804890d,0x4(%esp)  80487b0: 08  80487b1: 89 04 24        mov %eax,(%esp)  80487b4: e8 5f fe ff ff     call 8048618 <_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc@plt>  80487b9: 89 5c 24 04        mov %ebx,0x4(%esp)  80487bd: 89 04 24        mov %eax,(%esp)  80487c0: e8 f3 fd ff ff    call 80485b8 <_ZNSolsEi@plt>  80487c5: c7 44 24 04 38 86 04    movl $0x8048638,0x4(%esp)  80487cc: 08  80487cd: 89 04 24        mov %eax,(%esp)  80487d0: e8 53 fe ff ff    call 8048628 <_ZNSolsEPFRSoS_E@plt>//这些行就是执行"cout<<"ref = "<<ref<<", i = "<<i<<endl;"  80487d5: b8 00 00 00 00    mov $0x0,%eax  80487da: 83 c4 28        add $0x28,%esp  80487dd: 5b            pop %ebx  80487de: 5e            pop %esi  80487df: 89 ec        mov %ebp,%esp  80487e1: 5d            pop %ebp  80487e2: c3            ret

从汇编代码可以看出实际上指针和引用在编译器中的实现是一样的:

8048727: 8d 44 24 1c lea 0x1c(%esp),%eax// esp寄存器里的变量i的地址传给eax

804872b: 89 44 24 18 mov %eax,0&times;18(%esp)//将寄存器eax中的内容(i的地址)传给寄存器中的变量ref,即int& ref=i

8048777: 8d 44 24 1c lea 0x1c(%esp),%eax// esp寄存器里的变量i的地址传给eax

804877b: 89 44 24 10 mov %eax,0&times;10(%esp) //将寄存器eax中的内容(即i的地址)传到寄存器esp中的p

虽然指针和引用最终在编译中的实现是一样的,但是引用的形式大大方便了使用也更安全。有人说:”引用只是一个别名,不会占内存空间?”通过这个事实我们可以揭穿这个谎言!实际上引用也是占内存空间的。

5、指针传递和引用传递

为了更好的理解指针和引用,我们下面来介绍一下指针传递和引用传递。当指针和引用作为函数的函数是如何传值的呢?(下面这一段引用了C++中引用传递与指针传递区别(进一步整理))

引用传递和指针传递是不同的,虽然它们都是在被调函数栈空间上的一个局部变量,但是任何对于引用参数的处理都会通过一个间接寻址的方式操作到主调函 数中的相关变量。而对于指针传递的参数,如果改变被调函数中的指针地址,它将影响不到主调函数的相关变量。如果想通过指针参数传递来改变主调函数中的相关 变量,那就得使用指向指针的指针,或者指针引用。

到此,相信大家对“C++中的指针与引用的定义”有了更深的了解,不妨来实际操作一番吧!这里是亿速云网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!

推荐阅读:
  1. 引用与指针的区别
  2. C++ 中的引用 和指针的区别

免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:is@yisu.com进行举报,并提供相关证据,一经查实,将立刻删除涉嫌侵权内容。

c++

上一篇:java中命名管道跨进程通讯的示例分析

下一篇:HTML结构的语义化是什么意思

相关阅读

您好,登录后才能下订单哦!

密码登录
登录注册
其他方式登录
点击 登录注册 即表示同意《亿速云用户服务条款》