引用
C++中标识对象的三种方法
- 对象名称
- 指向对象的指针
- 引用
引用和指针的区别(三个)
- 空:不存在空引用。引用必须连接到一块合法的内存。
- 改变:一旦引用被初始化为一个对象,就不能被指向到另一个对象。指针可以在任何时候指向到另一个对象。
- 初始化:引用必须在创建时被初始化。指针可以在任何时间被初始化。
其他细节(哪些情况不能建立引用)
-
引用本身不是一种数据类型,因此引用本身不占存储单元,系统也不给引用分配存储单元
- 对引用求地址,就是对目标变量求地址。int a; int &ra=a;中&ra与&a相等
-
不能建立数组的引用:因为数组是一个由若干个元素所成的集合,所以无法建立一个数组的别名
-
不能建立引用的引用,不能建立指向引用的指针
-
因为引用不是一种数据类型,所以没有引用的引用,没有引用的指针
-
int &*p=n;是错误的
- 编译系统把"int &“看成一体,把” *p "看成一体,即建立了指向引用的指针,指针只能指向某种数据类型的变量
-
-
可以建立指针的引用
- int *p;int *&q=p;是正确的。编译系统把" int * “看成一体,把”&q"看成一体,即建立指针p的引用,亦即给指针p起别名q。
为什么要引入引用,指针不行吗
- 引用来代替指针,使得C++程序更容易阅读和维护
- 还有其他好处吗??可以从引用的两个具体用法上的好处来回答
用法
-
一、作为函数参数
C语言中参数的传递是值传递或者指针传递,值传递需要将数据压入栈中,所以大块数据的传递通常采用指针(比如数组),避免将大块数据压入栈中,提高程序效率;
C++中有:值传递,指针传递,引用传递
-
设置引用形参,调用函数时传递实参进来后,函数体中的形参就成为实参的别名
-
作用:可以在函数中对外部变量值进行更改(单纯值传递是做不到的)
-
好处:(传递引用和传递指针的效果是一样的,为什么还要用引用?)
-
1.效率:引用可以保证参数传递中不产生副本,提高传递的效率
在内存中并没有产生实参的副本,它是直接对实参操作;而使用一般变量传递函数的参数,当发生函数调用时,需要给形参分配存储单元,形参变量是实参变量的副本;如果传递的是对象,还将调用拷贝构造函数。指针作为参数时,被调函数中同样要给形参分配存储单元。
因此,当参数传递的数据较大时,用引用比用一般变量传递参数的效率和所占空间都好。
-
2.可读性:函数中需要重复使用"*指针变量名"的形式进行运算,调用函数的接口也需要传递值的地址,这很容易产生错误且程序的阅读性较差
-
3.安全性:可以通过常引用来保护数据,通过常引用传递给函数的数据不会在函数中被改变,保证传递的安全性
-
常引用
-
const 类型标识符 &引用名=目标变量名;
-
不能通过引用对目标变量的值进行修改,达到了引用的安全性
-
引用型参数应该在能被定义为const的情况下,尽量定义为const
-
例题
假设有如下函数声明:string foo( );void bar(string & s);
那么下面的表达式将是非法的:bar(foo( ));bar(“hello world”);原因:
foo( )和"hello world"串都会产生一个临时对象,而在C++中,这些临时对象都是const类型的。因此上面的表达式就是试图将一个const类型的对象转换为非const类型,这是非法的。所以引用型参数应该在能被定义为const的情况下,尽量定义为const 。
-
-
-
-
-
二、作为函数返回值
-
作用:当函数返回一个引用时,函数就可以放在赋值语句的左边
-
注意点:
-
可以返回数组元素的引用
-
不能返回局部变量的引用,可以返回静态变量的引用
当函数返回一个引用时,要注意被引用的对象不能超出作用域,局部变量会在函数返回后被销毁,因此被返回的引用就成为了"无所指"的引用,程序会进入未知状态,所以在函数中返回一个对局部变量的引用是不合法的。
-
不能返回函数内部new分配的内存的引用
虽然不存在局部变量的被动销毁问题,可对于这种情况被函数返回的引用只是作为一个临时变量出现,而没有被赋予一个实际的变量,那么这个引用所指向的空间(由new分配)就无法释放,造成memory leak(内存泄露)。
-
可以返回类成员的引用,但最好是const
方便sanity check
当对象的属性是与某种业务规则(business rule)相关联的时候,其赋值常常与某些其它属性或者对象的状态有关,因此有必要将赋值操作封装在一个业务规则当中。如果其它对象可以获得该属性的非常量引用(或指针),那么对该属性的单纯赋值就会破坏业务规则的完整性
-
±*/ 四则运算符不能返回引用
- 这四个操作符没有side effect(不会修改操作数),因此,它们必须构造一个对象作为返回值
-
-
好处:
-
在内存中不产生被返回值的副本
-
用于操作符的重载比如<< ,>>, == (可能是引入引用的关键原因,在这里引用无可替代)
- 操作符希望被连续使用,所以必须要返回引用
-
-
思维导图