C++中引用解说(C++ Primer笔记)
第一部分:参数传递
1. 传递引用参数
对于引用的操作,实际上是作用在引用所引的对象上。
引用形参的行为与之类似,通过使用引用形参,允许参数改变一个或者多个实参的值。
2. 使用引用避免拷贝
拷贝大的类类型对象或者容器对象比较低效,甚至有的类类型(包括IO类型在内)根本就不支持拷贝操作。当某种类型不支持拷贝类型操作时,函数只能通过引用形参(或者指针)访问该类型的对象。
注:如果函数无须改变引用形参的值,最好将其声明为常量引用,使用const关键字。
QStringList
split(const QString &sep, QString::SplitBehavior behavior = KeepEmptyParts, Qt::CaseSensitivity cs = Qt::CaseSensitive) const
3. 使用引用形参返回额外信息(函数需要多个返回值)
一个函数只能返回一个值,然后有时函数需要同时返回多个值,引用形参为我们一次返回多个结果提供了有效途径。比如:
string::size_type find_char(const string &s, char c, string::size_type &occurs);
函数有一个直接返回值string::size_type类型的,同时对于形参的引用(非const属性),可以返回occurs参数,这样函数就可以有两个返回值,一个是函数体返回值,一个是形参返回值。
4. const形参和实参
尽量使用常量引用
注意:不要返回局部对象的引用或者指针。 切记***
函数完成后,它所占用的存储空间也随之被释放掉。因此,函数终止意味着局部变量的引用(或指针)将指向不再有效的内存区域。
//严重错误:这个函数试图返回局部对象的引用
const string &manip()
{
string ret;
//以某种方式改变一下ret
if(!ret.empty())
return ret; //错误:返回局部对象的引用
else
return "Empty"; //错误:"Empty"是一个局部临时(常量类型的)变量。
}
要想确保返回值安全,我们不妨提问:引用所引的是在函数之前已经存在的哪个对象?
如前所述,返回局部对象的引用是错误的;同样,返回局部对象的指针也是错误的。一旦函数完成,局部对象被释放,指针将指向一个不存在的对象(内存地址)。
第二部分:转载一
引用是C++引入的新语言特性,是C++常用的一个重要内容之一,正确、灵活地使用引用,可以使程序简洁、高效。
一、引用简介
引用就是某一变量(目标)的一个别名,对引用的操作与对变量直接操作完全一样。
引用的声明方法:类型标识符 &引用名=目标变量名;
【例1】:int a; int &ra=a; //定义引用ra,它是变量a的引用,即别名
说明:
(1)&在此不是求地址运算,而是起标识作用。
(2)类型标识符是指目标变量的类型。
(3)声明引用时,必须同时对其进行初始化。
(4)引用声明完毕后,相当于目标变量名有两个名称,即该目标原名称和引用名,且不能再把该引用名作为其他变量名的别名。
ra=1; 等价于 a=1;
(5)声明一个引用,不是新定义了一个变量,它只表示该引用名是目标变量名的一个别名,它本身不是一种数据类型,因此引用本身不占存储单元,系统也不给引用分配存储单元。故:对引用求地址,就是对目标变量求地址。&ra与&a相等。
(6)不能建立数组的引用。因为数组是一个由若干个元素所组成的集合,所以无法建立一个数组的别名。
二、引用应用
1、引用作为参数
引用的一个重要作用就是作为函数的参数。以前的C语言中函数参数传递是值传递,如果有大块数据作为参数传递的时候,采用的方案往往是指针,因为 这样可以避免将整块数据全部压栈,可以提高程序的效率。但是现在(C++中)又增加了一种同样有效率的选择(在某些特殊情况下又是必须的选择),就是引 用。
(1)传递引用给函数与传递指针的效果是一样的。这时,被调函数的形参就成为原来主调函数中的实参变量或对象的一个别名来使用,所以在被调函数中对形参变量的操作就是对其相应的目标对象(在主调函数中)的操作。
(2)使用引用传递函数的参数,在内存中并没有产生实参的副本,它是直接对实参操作;而使用一般变量传递函数的参数,当发生函数调用时,需要给 形参分配存储单元,形参变量是实参变量的副本;如果传递的是对象,还将调用拷贝构造函数。因此,当参数传递的数据较大时,用引用比用一般变量传递参数的效 率和所占空间都好。
(3)使用指针作为函数的参数虽然也能达到与使用引用的效果,但是,在被调函数中同样要给形参分配存储单元,且需要重复使用"*指针变量名"的 形式进行运算,这很容易产生错误且程序的阅读性较差;另一方面,在主调函数的调用点处,必须用变量的地址作为实参。而引用更容易使用,更清晰。
如果既要利用引用提高程序的效率,又要保护传递给函数的数据不在函数中被改变,就应使用常引用。
2、常引用
常引用声明方式:const 类型标识符 &引用名=目标变量名;
用这种方式声明的引用,不能通过引用对目标变量的值进行修改,从而使引用的目标成为const,达到了引用的安全性。
3、引用作为返回值
要以引用返回函数值,则函数定义时要按以下格式:
类型标识符 &函数名(形参列表及类型说明)
{函数体}
说明:
(1)以引用返回函数值,定义函数时需要在函数名前加&
(2)用引用返回一个函数值的最大好处是,在内存中不产生被返回值的副本。
引用作为返回值,必须遵守以下规则:
(1)不能返回局部变量的引用。这条可以参照Effective C++[1]的Item 31。主要原因是局部变量会在函数返回后被销毁,因此被返回的引用就成为了"无所指"的引用,程序会进入未知状态。
(2)不能返回函数内部new分配的内存的引用。这条可以参照Effective C++[1]的Item 31。虽然不存在局部变量的被动销毁问题,可对于这种情况(返回函数内部new分配内存的引用),又面临其它尴尬局面。例如,被函数返回的引用只是作为一 个临时变量出现,而没有被赋予一个实际的变量,那么这个引用所指向的空间(由new分配)就无法释放,造成memory leak。
(3)可以返回类成员的引用,但最好是const。这条原则可以参照Effective C++[1]的Item 30。主要原因是当对象的属性是与某种业务规则(business rule)相关联的时候,其赋值常常与某些其它属性或者对象的状态有关,因此有必要将赋值操作封装在一个业务规则当中。如果其它对象可以获得该属性的非常 量引用(或指针),那么对该属性的单纯赋值就会破坏业务规则的完整性。
(4)引用与一些操作符的重载:
流操作符<<和>>,这两个操作符常常希望被连续使用,例如:cout << “hello” << endl; 因此这两个操作符的返回值应该是一个仍然支持这两个操作符的流引用。可选的其它方案包括:返回一个流对象和返回一个流对象指针。但是对于返回 一个流对象,程序必须重新(拷贝)构造一个新的流对象,也就是说,连续的两个<<操作符实际上是针对不同对象的!这无法让人接受。对于返回一 个流指针则不能连续使用<<操作符。因此,返回一个流对象引用是惟一选择。这个唯一选择很关键,它说明了引用的重要性以及无可替代性,也许这 就是C++语言中引入引用这个概念的原因吧。 赋值操作符=。这个操作符象流操作符一样,是可以连续使用的,例如:x = j = 10;或者(x=10)=100;赋值操作符的返回值必须是一个左值,以便可以被继续赋值。因此引用成了这个操作符的惟一返回值选择。
三、引用总结
(1)在引用的使用中,单纯给某个变量取个别名是毫无意义的,引用的目的主要用于在函数参数传递中,解决大块数据或对象的传递效率和空间不如意的问题。
(2)用引用传递函数的参数,能保证参数传递中不产生副本,提高传递的效率,且通过const的使用,保证了引用传递的安全性。
(3)引用与指针的区别是,指针通过某个指针变量指向一个对象后,对它所指向的变量间接操作。程序中使用指针,程序的可读性差;而引用本身就是目标变量的别名,对引用的操作就是对目标变量的操作。
(4)使用引用的时机。流操作符<<和>>、赋值操作符=的返回值、拷贝构造函数的参数、赋值操作符=的参数、其它情况都推荐使用引用。
第三部分:转载二
1 引用的出现纯粹是为了优化指针的使用,而提出的语法层面的处理。
2 引用实现原理上完全等价于指针。
3 引用对于传递对象参数有非常大的优化和好处。
4 引用有其局限性,与指针相比,有时候可能与面向对象的设计有冲突。
引用实现原理上完全等价于指针
如果引用参数实现原理与指针不完全等价,那么必然会导致函数调用出现问题
但结果却很有趣,我发现两种方式,效果完全相同,没有任何差异。
既然它在实现层面上完全等价于指针,那为什么还会有引用?
这就要回到我前面提出的第一个观点:引用的出现纯粹是为了优化指针的使用,而提出的语法层面的处理
如果这里使用指针,就会非常麻烦!
首先,如果函数的参数是指针,开发人员就必须要要验证指针!这个几乎是无法避免的情况!
否则指针一旦为空,整个程序必然崩溃。
但是引用就避免了这个麻烦——通过语法层面上的干预——使得用户无法显式的传递空指针到函数中去
如果有空指针或者野指针,崩溃只会发生在函数外部,而非内部。
其次,输入.比输入->更加让开发人员开心一些,不论是长度还是安全性上,指针式的成员函数调用,总让人心惊胆颤
因此,引用完全是一种语法层面的处理,就是C++中的私有成员变量一样,只是从语法上阻止用户去显式访问——实际上可以利用指针,强制从内存中读写该变量!
当然引用不仅仅只是这样,之所以面向对象要加入引用,另外一个作用还在于:
如果参数纯粹是一个对象,那么意味着程序需要频繁的在栈上面构造和析构对象。
而引用成功的解决了这个问题,可以让开发人员决定要不要在栈上面构造对象并自动析构它。
这样导致效率极大的提升了——很多复杂的对象,其构造函数和复制构造函数可能异常复杂和耗时。
同时,另外一些对象可能并不希望调用者使用它们的构造函数,比如单例对象!
而引用很好的解决了这个矛盾。
引用有没有限制?答案是有!
限制在哪里?我们知道,面向对象设计中有接口这个概念,而C++与之关联的是虚函数。
我们经常会持有一个父类的指针,而在其中填入各种子类的对象,然后通过虚函数去调用对应的子类接口实现。
但是这里使用引用却有限制,只能在声明为父类引用的时候,使用子类,而无法在声明为子类引用的时候使用父类。
指针却可以不受此限制,进行自由的转化(当然这是有风险的!)
这样的限制要求开发者在设计的时候就必须非常细致,事先想好接口的统一性。否则后面代码就有的改了
当然,这样也有好处,可以避免一些问题。比如空指针或者对象不匹配异常(将一个非mytest或者其子类的对象指针强制转化过来,此时调用必然崩溃。)